結果
問題 | No.185 和風 |
ユーザー | momen999 |
提出日時 | 2017-04-13 13:32:57 |
言語 | Haskell (9.6.2) |
結果 |
AC
|
実行時間 | 12 ms / 1,000 ms |
コード長 | 432 bytes |
コンパイル時間 | 1,761 ms |
コンパイル使用メモリ | 161,932 KB |
実行使用メモリ | 11,560 KB |
最終ジャッジ日時 | 2023-09-25 16:24:51 |
合計ジャッジ時間 | 1,874 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge11 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 6 ms
11,024 KB |
testcase_01 | AC | 12 ms
11,512 KB |
testcase_02 | AC | 3 ms
7,884 KB |
testcase_03 | AC | 4 ms
7,856 KB |
testcase_04 | AC | 12 ms
11,560 KB |
testcase_05 | AC | 4 ms
8,476 KB |
testcase_06 | AC | 10 ms
11,372 KB |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
import Control.Monad wafuu :: [[Int]] -> Int wafuu (x:xs) | wafuu' a xs && a > 0 = a | otherwise = (-1) where a = foldr (-) 0 $ reverse x wafuu' :: Int -> [[Int]] -> Bool wafuu' n [] = True wafuu' n (y:ys) = n == (foldr (-) 0 $ reverse y) && wafuu' n ys main = do n <- readLn str <- replicateM n getLine let xs = map (map read . words) str :: [[Int]] print $ wafuu xs