結果
| 問題 | No.112 ややこしい鶴亀算 |
| コンテスト | |
| ユーザー |
aimy
|
| 提出日時 | 2017-07-13 14:13:35 |
| 言語 | Haskell (9.14.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 339 bytes |
| 記録 | |
| コンパイル時間 | 1,340 ms |
| コンパイル使用メモリ | 198,804 KB |
| 実行使用メモリ | 7,976 KB |
| 最終ジャッジ日時 | 2026-04-24 06:55:16 |
| 合計ジャッジ時間 | 1,685 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge1_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 WA * 1 |
| other | AC * 2 WA * 21 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main ( Main.hs, Main.o )
Main.hs:15:35: warning: [GHC-63394] [-Wx-partial]
In the use of ‘tail’
(imported from Data.List, but defined in GHC.Internal.List):
"This is a partial function, it throws an error on empty lists. Replace it with 'drop' 1, or use pattern matching or 'GHC.Internal.Data.List.uncons' instead. Consider refactoring to use "Data.List.NonEmpty"."
|
15 | equiv xs = and $ zipWith (==) xs (tail xs)
| ^^^^
[2 of 2] Linking a.out
ソースコード
import Data.List main = do n <- readLn as <- map read . words <$> getLine putStrLn $ unwords $ map show $ tsurukame n as tsurukame n as@(a:_) | equiv as && a+2 == sumf = [0,n] | equiv as && a+4 == sumf = [n,0] | otherwise = map length $ group $ sort as where sumf = div (sum as) (n-1) equiv xs = and $ zipWith (==) xs (tail xs)
aimy