Submission #188227


Source Code Expand

module Main where

solve i ngs count
  | i == 0 = True
  | i < 0 = False
  | count == 0 = False
  | otherwise = if any (\x -> i-3 == x) ngs
                then if any (\x -> i-2 == x) ngs
                     then if any (\x -> i-1 == x) ngs
                          then False
                          else solve (i-1) ngs (count-1)
                     else solve (i-2) ngs (count-1)
                else solve (i-3) ngs (count-1)
                          
main = do
  n <- readLn
  ng1 <- readLn
  ng2 <- readLn
  ng3 <- readLn
  putStrLn $ if solve n [ng1, ng2, ng3] 100 then "YES" else "NO"

Submission Info

Submission Time
Task C - 123引き算
User yasuyuky
Language Haskell (GHC 7.4.1)
Score 0
Code Size 620 Byte
Status WA
Exec Time 31 ms
Memory 1560 KB

Judge Result

Set Name All
Score / Max Score 0 / 100
Status
AC × 20
WA × 8
Set Name Test Cases
All test_143_142_141_140.txt, test_1_1_2_3.txt, test_1_2_3_4.txt, test_200_200_2_3.txt, test_231_77_78_80.txt, test_235_124_126_125.txt, test_253_45_47_48.txt, test_297_223_224_225.txt, test_297_294_292_290.txt, test_297_297_30_83.txt, test_297_3_43_72.txt, test_298_125_123_124.txt, test_298_293_295_291.txt, test_298_298_4_8.txt, test_298_36_72_98.txt, test_298_55_3_43.txt, test_298_92_91_295.txt, test_299_200_151_65.txt, test_299_240_35_154.txt, test_299_300_299_298.txt, test_299_33_242_151.txt, test_299_56_57_58.txt, test_299_66_132_198.txt, test_300_271_44_68.txt, test_300_299_298_296.txt, test_300_30_99_183.txt, test_300_4_5_6.txt, test_84_34_64_36.txt
Case Name Status Exec Time Memory
sample_01.txt WA 27 ms 1308 KB
sample_02.txt AC 31 ms 1308 KB
sample_03.txt AC 27 ms 1436 KB
test_143_142_141_140.txt AC 27 ms 1308 KB
test_1_1_2_3.txt AC 26 ms 1368 KB
test_1_2_3_4.txt WA 27 ms 1392 KB
test_200_200_2_3.txt AC 27 ms 1432 KB
test_231_77_78_80.txt WA 27 ms 1432 KB
test_235_124_126_125.txt AC 27 ms 1436 KB
test_253_45_47_48.txt WA 26 ms 1504 KB
test_297_223_224_225.txt AC 27 ms 1556 KB
test_297_294_292_290.txt AC 27 ms 1432 KB
test_297_297_30_83.txt AC 26 ms 1368 KB
test_297_3_43_72.txt WA 27 ms 1560 KB
test_298_125_123_124.txt AC 27 ms 1436 KB
test_298_293_295_291.txt AC 27 ms 1436 KB
test_298_298_4_8.txt AC 28 ms 1440 KB
test_298_36_72_98.txt WA 27 ms 1432 KB
test_298_55_3_43.txt WA 26 ms 1516 KB
test_298_92_91_295.txt AC 27 ms 1432 KB
test_299_200_151_65.txt AC 27 ms 1436 KB
test_299_240_35_154.txt AC 27 ms 1436 KB
test_299_300_299_298.txt AC 27 ms 1440 KB
test_299_33_242_151.txt AC 27 ms 1436 KB
test_299_56_57_58.txt AC 28 ms 1452 KB
test_299_66_132_198.txt WA 27 ms 1440 KB
test_300_271_44_68.txt AC 27 ms 1432 KB
test_300_299_298_296.txt AC 27 ms 1440 KB
test_300_30_99_183.txt AC 27 ms 1504 KB
test_300_4_5_6.txt AC 28 ms 1436 KB
test_84_34_64_36.txt WA 27 ms 1432 KB