結果
問題 | No.998 Four Integers |
ユーザー | こまる |
提出日時 | 2020-10-31 11:12:53 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 3 ms / 1,000 ms |
コード長 | 1,561 bytes |
コンパイル時間 | 2,249 ms |
コンパイル使用メモリ | 234,756 KB |
実行使用メモリ | 7,264 KB |
最終ジャッジ日時 | 2023-09-29 10:14:23 |
合計ジャッジ時間 | 3,668 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge11 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
7,112 KB |
testcase_01 | AC | 2 ms
7,156 KB |
testcase_02 | AC | 3 ms
7,264 KB |
testcase_03 | AC | 2 ms
7,264 KB |
testcase_04 | AC | 3 ms
7,128 KB |
testcase_05 | AC | 2 ms
7,096 KB |
testcase_06 | AC | 2 ms
7,096 KB |
testcase_07 | AC | 2 ms
7,144 KB |
testcase_08 | AC | 3 ms
7,192 KB |
testcase_09 | AC | 3 ms
7,188 KB |
testcase_10 | AC | 2 ms
7,128 KB |
testcase_11 | AC | 2 ms
7,112 KB |
testcase_12 | AC | 3 ms
7,152 KB |
testcase_13 | AC | 3 ms
7,128 KB |
testcase_14 | AC | 2 ms
7,100 KB |
testcase_15 | AC | 3 ms
7,092 KB |
testcase_16 | AC | 3 ms
7,096 KB |
testcase_17 | AC | 3 ms
7,120 KB |
testcase_18 | AC | 3 ms
7,156 KB |
testcase_19 | AC | 3 ms
7,260 KB |
testcase_20 | AC | 3 ms
7,152 KB |
testcase_21 | AC | 3 ms
7,144 KB |
testcase_22 | AC | 2 ms
7,140 KB |
testcase_23 | AC | 3 ms
7,100 KB |
testcase_24 | AC | 3 ms
7,152 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 TupleSections #-} module Main where import Control.Monad import Control.Monad.ST import Control.Monad.State import Data.Bits import Data.Bool import Data.Char import Data.Coerce import Data.Word import Unsafe.Coerce import qualified Data.ByteString.Char8 as BSC8 import qualified Data.Vector.Fusion.Stream.Monadic as VFSM import qualified Data.Vector.Generic as VG import qualified Data.Vector.Generic.Mutable as VGM import qualified Data.Vector.Unboxed as VU main :: IO () main = do xs <- seqInput 4 putStrLn $ bool "No" "Yes" (solve xs) solve :: VU.Vector Int -> Bool solve xs = runST $ do let ys = bucketSort 100 xs a = ys VU.! 0 b = ys VU.! 1 c = ys VU.! 2 d = ys VU.! 3 return ((a + 1 == b) && (b + 1 == c) && (c + 1 == d)) 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 #-} bucketSort :: Int -> VU.Vector Int -> VU.Vector Int bucketSort bucketSize = VU.concatMap (uncurry $ flip VU.replicate) . VU.indexed . VU.unsafeAccumulate (+) (VU.replicate bucketSize 0) . VU.map (,1) {-# INLINE bucketSort #-}