結果

問題 No.674 n連勤
ユーザー konsin_tokagekonsin_tokage
提出日時 2018-04-15 19:03:30
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 589 bytes
コンパイル時間 410 ms
コンパイル使用メモリ 149,376 KB
最終ジャッジ日時 2024-06-27 00:04:48
合計ジャッジ時間 928 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )

Main.hs:2:1: error: [GHC-87110]
    Could not load module ‘Data.Map.Strict’.
    It is a member of the hidden package ‘containers-0.6.8’.
    Use -v to see a list of the files searched for.
  |
2 | import qualified Data.Map.Strict as M
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff #

import Control.Monad
import qualified Data.Map.Strict as M
extendS s m
  | Just (k,v) <- M.lookupLT s m, v >= s-1 = k
  | otherwise = s
extendE e m
  | Just (k,v) <- M.lookupLE (e+1) m, v > e = v
  | otherwise = e
deleteR s e m
  | Just (k,v) <- M.lookupGE s m, v <= e = deleteR s e (M.delete k m)
  | otherwise = m
solve (x,m) [a,b] = (max x (e-s+1), M.insert s e $ deleteR s e m)
  where s = extendS a m
        e = extendE b m
main = do
  [d,q] <- map read . words <$> getLine
  qs <- replicateM q $ map read . words <$> getLine
  mapM_ (print . fst) $ tail $ scanl solve (0,M.empty) qs
0