Submission #34038


Source Code Expand

Copy
import Control.Arrow
import Data.List
import Data.Maybe

main :: IO ()
main = interact $ lines >>> tail >>> map read >>> foldl add [] >>> length >>> show >>> (++"\n")

add :: [Int] -> Int -> [Int]
add xs x = case foldl (\a y -> maybe (if y >= x then Just y else Nothing) (\b -> if y < b && y >= x then Just y else Just b) a) Nothing xs of
  Nothing -> x:xs
  Just p  -> x:delete p xs

Submission Info

Submission Time
Task C - 積み重ね
User phi16
Language Haskell (GHC 7.4.1)
Score 100
Code Size 393 Byte
Status AC
Exec Time 60 ms
Memory 1828 KB

Judge Result

Set Name All
Score / Max Score 100 / 100
Status
AC × 44
Set Name Test Cases
All 00_min.txt, 00_sample_01.txt, 00_sample_02.txt, 00_sample_03.txt, 00_sample_04.txt, 00_sample_05.txt, 01_rnd_00.txt, 01_rnd_01.txt, 01_rnd_02.txt, 01_rnd_03.txt, 01_rnd_04.txt, 01_rnd_05.txt, 01_rnd_06.txt, 01_rnd_07.txt, 01_rnd_08.txt, 01_rnd_09.txt, 02_maxrnd_00.txt, 02_maxrnd_01.txt, 02_maxrnd_02.txt, 02_maxrnd_03.txt, 02_maxrnd_04.txt, 02_maxrnd_05.txt, 02_maxrnd_06.txt, 02_maxrnd_07.txt, 02_maxrnd_08.txt, 02_maxrnd_09.txt, 02_maxrnd_10.txt, 02_maxrnd_11.txt, 02_maxrnd_12.txt, 02_maxrnd_13.txt, 02_maxrnd_14.txt, 02_maxrnd_15.txt, 02_maxrnd_16.txt, 02_maxrnd_17.txt, 02_maxrnd_18.txt, 02_maxrnd_19.txt, 03_increase_00.txt, 03_increase_01.txt, 03_increase_02.txt, 04_decrease_00.txt, 04_decrease_01.txt, 04_decrease_02.txt, 05_same_00.txt, 05_same_01.txt
Case Name Status Exec Time Memory
00_min.txt AC 60 ms 1204 KB
00_sample_01.txt AC 25 ms 1352 KB
00_sample_02.txt AC 26 ms 1344 KB
00_sample_03.txt AC 25 ms 1336 KB
00_sample_04.txt AC 25 ms 1432 KB
00_sample_05.txt AC 26 ms 1400 KB
01_rnd_00.txt AC 24 ms 1556 KB
01_rnd_01.txt AC 25 ms 1396 KB
01_rnd_02.txt AC 32 ms 1468 KB
01_rnd_03.txt AC 24 ms 1360 KB
01_rnd_04.txt AC 26 ms 1596 KB
01_rnd_05.txt AC 25 ms 1612 KB
01_rnd_06.txt AC 25 ms 1344 KB
01_rnd_07.txt AC 26 ms 1804 KB
01_rnd_08.txt AC 26 ms 1596 KB
01_rnd_09.txt AC 26 ms 1716 KB
02_maxrnd_00.txt AC 26 ms 1720 KB
02_maxrnd_01.txt AC 27 ms 1784 KB
02_maxrnd_02.txt AC 26 ms 1720 KB
02_maxrnd_03.txt AC 26 ms 1780 KB
02_maxrnd_04.txt AC 26 ms 1816 KB
02_maxrnd_05.txt AC 26 ms 1728 KB
02_maxrnd_06.txt AC 27 ms 1784 KB
02_maxrnd_07.txt AC 26 ms 1712 KB
02_maxrnd_08.txt AC 26 ms 1784 KB
02_maxrnd_09.txt AC 26 ms 1724 KB
02_maxrnd_10.txt AC 26 ms 1728 KB
02_maxrnd_11.txt AC 26 ms 1828 KB
02_maxrnd_12.txt AC 27 ms 1812 KB
02_maxrnd_13.txt AC 27 ms 1804 KB
02_maxrnd_14.txt AC 26 ms 1720 KB
02_maxrnd_15.txt AC 26 ms 1716 KB
02_maxrnd_16.txt AC 27 ms 1748 KB
02_maxrnd_17.txt AC 26 ms 1724 KB
02_maxrnd_18.txt AC 27 ms 1720 KB
02_maxrnd_19.txt AC 26 ms 1808 KB
03_increase_00.txt AC 26 ms 1724 KB
03_increase_01.txt AC 26 ms 1724 KB
03_increase_02.txt AC 26 ms 1804 KB
04_decrease_00.txt AC 26 ms 1720 KB
04_decrease_01.txt AC 27 ms 1720 KB
04_decrease_02.txt AC 28 ms 1804 KB
05_same_00.txt AC 26 ms 1728 KB
05_same_01.txt AC 25 ms 1812 KB