結果
| 問題 | No.478 一般門松列列 |
| コンテスト | |
| ユーザー |
atuk721
|
| 提出日時 | 2017-02-06 06:38:16 |
| 言語 | Haskell (9.10.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 336 bytes |
| 記録 | |
| コンパイル時間 | 4,594 ms |
| コンパイル使用メモリ | 172,416 KB |
| 実行使用メモリ | 8,448 KB |
| 最終ジャッジ日時 | 2024-12-24 10:27:13 |
| 合計ジャッジ時間 | 10,992 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | WA * 34 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/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