結果

問題 No.464 PPAP
コンテスト
ユーザー Hirotaka Ohkubo
提出日時 2017-03-02 16:18:05
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 658 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,085 ms
コンパイル使用メモリ 190,464 KB
実行使用メモリ 11,776 KB
最終ジャッジ日時 2026-07-26 08:14:08
合計ジャッジ時間 6,701 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3 WA * 1
other AC * 2 WA * 1 TLE * 1 -- * 18
権限があれば一括ダウンロードができます
コンパイルメッセージ
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

ソースコード

diff #
raw source code 

-- q0 = q00
trans (1,st) c = [(1,c:st), (2,st), (2,c:st)]
-- q1
trans (2,s:st) c = [(2,st) | s == c]
trans (2,[]) c = [(3,[c]),(4,[]),(4,[c])]
-- q2
trans (3,st) c = [(3,c:st), (4,st), (4,c:st)]
-- q3
trans (4,s:st) c = [(4,st) | s == c]
trans (4,[]) c = [(5,[]),(6,[])]
-- q5
trans (5,[]) c = [(5,[]),(6,[])]
-- q6
trans (6,st) c = [(6,c:st), (7,st), (7,c:st)]
-- q7
trans (7,s:st) c = [(7,st) | s == c]
trans (7,[]) c = [] -- 早すぎ。入力終了でぴったりここに止まったものだけが成功。

transall = foldr (concatMap.flip trans) [(1,[])]
compute = length . filter ((7,[]) ==) . transall

main = do
  l <- getLine
  print $ compute l
0