結果

問題 No.607 開通777年記念
ユーザー kuwakuwa
提出日時 2017-12-10 19:12:05
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 1,381 bytes
コンパイル時間 560 ms
コンパイル使用メモリ 160,896 KB
最終ジャッジ日時 2024-11-30 11:22:17
合計ジャッジ時間 1,075 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、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:45:24: error: [GHC-87543]
    Ambiguous occurrence ‘BC.getLine’.
    It could refer to
       either ‘BC.getLine’,
              imported qualified from ‘Data.ByteString’ at Main.hs:8:1-38,
           or ‘BC.getLine’,
              imported qualified from ‘Data.ByteString.Char8’ at Main.hs:7:1-44.
   |
45 | readInt = parseInt <$> BC.getLine
   |                        ^^^^^^^^^^

Main.hs:48:26: error: [GHC-87543]
    Ambiguous occurrence ‘BC.getLine’.
    It could refer to
       either ‘BC.getLine’,
              imported qualified from ‘Data.ByteString’ at Main.hs:8:1-38,
           or ‘BC.getLine’,
              imported qualified from ‘Data.ByteString.Char8’ at Main.hs:7:1-44.
   |
48 | readInts = parseInts <$> BC.getLine
   |                          ^^^^^^^^^^

ソースコード

diff # 

module Main where
import Control.Monad
import Control.Applicative
import Data.Maybe
import Data.List
import qualified Text.Printf
import qualified Data.ByteString.Char8 as BC
import qualified Data.ByteString as BC

import           Data.Array.Unboxed (UArray, (!), listArray)
import qualified Data.Array.Unboxed as UArray

------------------------------------------

main :: IO ()
main = do
  [n, m] <- readInts
  rawStats <- replicateM m $ readInts
  let stat0 = replicate n 0
      stats = map (listArray (0, n-1)) $ scanl' (zipWith (+)) stat0 rawStats
      res = any (check777 n) stats
  putStrLn $ if res then "YES" else "NO"

check777 :: Int -> UArray Int Int -> Bool
check777 ub stat = f 0 0 0
  where
    f l r acc
      | r == ub && l == ub = False
      | acc == 777         = True
      | r == ub            = f (l+1) r (acc - (stat ! l))
      | acc < 777          = f l (r+1) (acc + (stat ! r))
      | otherwise          = f (l+1) r (acc - (stat ! l))

------------------------------------------

{- Int input -}

parseInt :: BC.ByteString -> Int
parseInt = fst . fromJust . BC.readInt

parseInts :: BC.ByteString -> [Int]
parseInts = map parseInt <$> BC.words

readInt :: IO Int
readInt = parseInt <$> BC.getLine

readInts :: IO [Int]
readInts = parseInts <$> BC.getLine

{- Double Formatting -}

doubleFmt :: Double -> String
doubleFmt = Text.Printf.printf "%.12f"
0