結果

問題 No.154 市バス
ユーザー aimyaimy
提出日時 2017-08-31 21:54:43
言語 Haskell
(9.8.2)
結果
WA  
実行時間 -
コード長 675 bytes
コンパイル時間 1,475 ms
コンパイル使用メモリ 175,488 KB
実行使用メモリ 8,064 KB
最終ジャッジ日時 2024-10-13 09:10:31
合計ジャッジ時間 4,316 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 338 ms
7,808 KB
testcase_01 AC 334 ms
7,808 KB
testcase_02 AC 335 ms
7,936 KB
testcase_03 AC 265 ms
7,936 KB
testcase_04 WA -
testcase_05 AC 1 ms
5,248 KB
testcase_06 AC 1 ms
5,248 KB
testcase_07 AC 307 ms
8,064 KB
testcase_08 AC 2 ms
5,248 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
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

ソースコード

diff # 

import Data.Bool
import Data.List

last' s = if null s then "" else last s

main = getLine >> interact (unlines . map (bool "impossible" "possible" . citybus) . lines)

citybus s = and [num, restR, restG, pairGR]
  where
    num = let [g,r,w] = map (pred.length) (group (sort ("WGR"++s))) in g == r && w >= g
    restR = (=="R") $ last' $ filter (\(b:_) -> b=='R') $ delete [] $ tails s
    restG = (notElem 'W') $ last' $ filter (\(b:_) -> b=='G') $ delete [] $ tails s
    pairGR = foldr pairGRgo (Just 0) s == Just 0

pairGRgo _ Nothing = Nothing
pairGRgo 'R' (Just n) = Just (n + 1)
pairGRgo 'G' (Just n)
  | n == 0 = Nothing
  | otherwise = Just (n - 1)
pairGRgo _ m = m
0