結果
問題 | No.313 π |
ユーザー | こまる |
提出日時 | 2020-11-08 00:42:11 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 12 ms / 5,000 ms |
コード長 | 1,793 bytes |
コンパイル時間 | 1,389 ms |
コンパイル使用メモリ | 232,268 KB |
実行使用メモリ | 11,488 KB |
最終ジャッジ日時 | 2023-09-29 21:04:10 |
合計ジャッジ時間 | 3,251 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 12 ms
11,344 KB |
testcase_01 | AC | 12 ms
11,364 KB |
testcase_02 | AC | 12 ms
11,336 KB |
testcase_03 | AC | 12 ms
11,420 KB |
testcase_04 | AC | 12 ms
11,488 KB |
testcase_05 | AC | 12 ms
11,368 KB |
testcase_06 | AC | 12 ms
11,392 KB |
testcase_07 | AC | 12 ms
11,384 KB |
testcase_08 | AC | 12 ms
11,384 KB |
testcase_09 | AC | 12 ms
11,416 KB |
testcase_10 | AC | 8 ms
11,484 KB |
testcase_11 | AC | 12 ms
11,440 KB |
testcase_12 | AC | 12 ms
11,364 KB |
testcase_13 | AC | 12 ms
11,348 KB |
testcase_14 | AC | 12 ms
11,380 KB |
testcase_15 | AC | 12 ms
11,364 KB |
testcase_16 | AC | 12 ms
11,444 KB |
testcase_17 | AC | 12 ms
11,424 KB |
testcase_18 | AC | 12 ms
11,332 KB |
testcase_19 | AC | 12 ms
11,348 KB |
testcase_20 | AC | 12 ms
11,404 KB |
testcase_21 | AC | 12 ms
11,344 KB |
testcase_22 | AC | 12 ms
11,364 KB |
testcase_23 | AC | 12 ms
11,420 KB |
testcase_24 | AC | 12 ms
11,364 KB |
testcase_25 | AC | 12 ms
11,412 KB |
testcase_26 | AC | 7 ms
11,424 KB |
testcase_27 | AC | 12 ms
11,404 KB |
testcase_28 | AC | 12 ms
11,408 KB |
testcase_29 | AC | 12 ms
11,376 KB |
testcase_30 | AC | 12 ms
11,324 KB |
testcase_31 | AC | 7 ms
11,380 KB |
testcase_32 | AC | 12 ms
11,436 KB |
testcase_33 | AC | 12 ms
11,336 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 BangPatterns #-} {-# LANGUAGE OverloadedLists #-} import Control.Monad import Control.Monad.State import Data.Coerce import Data.Maybe import Data.Word import Unsafe.Coerce import qualified Data.ByteString as BS import qualified Data.ByteString.Char8 as BSC8 import qualified Data.Vector.Fusion.Stream.Monadic as VFSM import qualified Data.Vector.Unboxed as VU import qualified Data.Vector.Unboxed.Mutable as VUM piDist :: VU.Vector Int piDist = [20104, 20063, 19892, 20011, 19874, 20199, 19898, 20163, 19956, 19841] {-# INLINE piDist #-} stream :: Monad m => Int -> Int -> VFSM.Stream m Int stream !l !r = VFSM.Stream step l where step x | x < r = return $ VFSM.Yield x (x + 1) | otherwise = return $ VFSM.Done {-# INLINE [0] step #-} {-# INLINE [1] stream #-} rep :: Monad m => Int -> (Int -> m ()) -> m () rep n = flip VFSM.mapM_ (stream 0 n) {-# INLINE rep #-} main :: IO () main = do bs <- (VU.map (subtract (48 :: Word8))) <$> seqInput 200002 dp <- VUM.replicate 10 (0 :: Int) rep 200002 $ \i -> when (bs VU.! i /= 254) $ VUM.unsafeModify dp succ (unsafeCoerce $ bs VU.! i) xs <- VU.unsafeFreeze dp let ys = VU.zipWith (-) piDist xs a = fromJust $ VU.findIndex (< 0) ys b = fromJust $ VU.findIndex (> 0) ys putStrLn $ show a <> " " <> show b type CParser a = StateT BSC8.ByteString Maybe a runCParser :: CParser a -> BSC8.ByteString -> Maybe (a, BSC8.ByteString) runCParser = runStateT {-# INLINE runCParser #-} byte :: CParser Word8 byte = coerce BS.uncons {-# INLINE byte #-} seqInput :: Int -> IO (VU.Vector Word8) seqInput n = VU.unfoldrN n (runCParser byte) <$> BSC8.getLine {-# INLINE seqInput #-}