結果
| 問題 | No.478 一般門松列列 |
| コンテスト | |
| ユーザー |
atuk721
|
| 提出日時 | 2017-02-06 06:38:16 |
| 言語 | Haskell (9.14.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 336 bytes |
| 記録 | |
| コンパイル時間 | 1,123 ms |
| コンパイル使用メモリ | 193,280 KB |
| 実行使用メモリ | 10,496 KB |
| 最終ジャッジ日時 | 2026-05-30 06:42:48 |
| 合計ジャッジ時間 | 5,998 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | WA * 34 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
import qualified Data.Char as C
main :: IO ()
main = do
[n, k] <- fmap (map read . words) getLine :: IO [Int]
let ix = take (n-k) $ cycle [1, 3, 0, 2]
ix' = last . take n $ iterate (\a -> 1 : a) ix
putStrLn $ if length ix' == 0
then "-1"
else foldr (\b a -> C.intToDigit b : ' ' : a) [] ix'
atuk721