結果
問題 | No.1032 数数え |
ユーザー | こまる |
提出日時 | 2020-11-20 23:50:55 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 52 ms / 2,000 ms |
コード長 | 1,145 bytes |
コンパイル時間 | 1,785 ms |
コンパイル使用メモリ | 234,288 KB |
実行使用メモリ | 15,696 KB |
最終ジャッジ日時 | 2023-09-30 20:12:32 |
合計ジャッジ時間 | 2,536 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge14 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
7,668 KB |
testcase_01 | AC | 2 ms
7,688 KB |
testcase_02 | AC | 3 ms
7,712 KB |
testcase_03 | AC | 3 ms
7,720 KB |
testcase_04 | AC | 2 ms
7,752 KB |
testcase_05 | AC | 3 ms
7,752 KB |
testcase_06 | AC | 2 ms
7,688 KB |
testcase_07 | AC | 52 ms
15,696 KB |
testcase_08 | AC | 3 ms
7,728 KB |
testcase_09 | AC | 7 ms
11,832 KB |
testcase_10 | AC | 3 ms
7,784 KB |
testcase_11 | AC | 2 ms
7,620 KB |
testcase_12 | AC | 52 ms
14,720 KB |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TupleSections #-} import Control.Monad.State import Data.Char import Data.Coerce import System.IO import qualified Data.ByteString.Builder as BSB import qualified Data.ByteString.Char8 as BSC8 import qualified Data.Vector.Unboxed as VU main :: IO () main = do [n, m] <- map (read :: String -> Int) . words <$> getLine ls <- seqInput n let xs = VU.tail . VU.indexed . VU.unsafeAccumulate (+) (VU.replicate (m + 1) 0) . VU.map (, 1 :: Int) $ ls VU.forM_ xs $ \(a, b) -> putBuilder $ BSB.intDec a <> BSB.byteString " " <> BSB.intDec b <> BSB.byteString "\n" type CParser a = StateT BSC8.ByteString Maybe a runCParser :: CParser a -> BSC8.ByteString -> Maybe (a, BSC8.ByteString) runCParser = runStateT {-# INLINE runCParser #-} int :: CParser Int int = coerce $ BSC8.readInt . BSC8.dropWhile isSpace {-# INLINE int #-} seqInput :: Int -> IO (VU.Vector Int) seqInput n = VU.unfoldrN n (runCParser int) <$> BSC8.getLine {-# INLINE seqInput #-} putBuilder :: BSB.Builder -> IO () putBuilder = BSB.hPutBuilder stdout {-# INLINE putBuilder #-}