結果

問題 No.406 鴨等間隔の法則
ユーザー はむ吉🐹はむ吉🐹
提出日時 2016-07-18 20:22:08
言語 Haskell
(9.8.2)
結果
AC  
実行時間 193 ms / 2,000 ms
コード長 1,146 bytes
コンパイル時間 1,301 ms
コンパイル使用メモリ 161,872 KB
実行使用メモリ 25,604 KB
最終ジャッジ日時 2023-09-21 17:38:54
合計ジャッジ時間 5,946 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 72 ms
16,340 KB
testcase_01 AC 3 ms
7,388 KB
testcase_02 AC 2 ms
7,452 KB
testcase_03 AC 3 ms
7,388 KB
testcase_04 AC 172 ms
23,548 KB
testcase_05 AC 52 ms
15,100 KB
testcase_06 AC 62 ms
15,404 KB
testcase_07 AC 62 ms
15,284 KB
testcase_08 AC 172 ms
23,632 KB
testcase_09 AC 193 ms
25,480 KB
testcase_10 AC 72 ms
16,356 KB
testcase_11 AC 142 ms
22,984 KB
testcase_12 AC 82 ms
17,984 KB
testcase_13 AC 82 ms
17,376 KB
testcase_14 AC 143 ms
22,932 KB
testcase_15 AC 6 ms
10,952 KB
testcase_16 AC 12 ms
12,072 KB
testcase_17 AC 12 ms
11,676 KB
testcase_18 AC 7 ms
11,852 KB
testcase_19 AC 12 ms
12,488 KB
testcase_20 AC 22 ms
12,556 KB
testcase_21 AC 22 ms
12,704 KB
testcase_22 AC 32 ms
14,168 KB
testcase_23 AC 92 ms
18,916 KB
testcase_24 AC 122 ms
20,448 KB
testcase_25 AC 192 ms
25,604 KB
testcase_26 AC 172 ms
25,060 KB
testcase_27 AC 42 ms
20,524 KB
testcase_28 AC 52 ms
20,388 KB
testcase_29 AC 172 ms
25,076 KB
testcase_30 AC 173 ms
25,120 KB
testcase_31 AC 172 ms
24,136 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

ソースコード

diff # 

-- #101409よりも高速であるはずのHaskell解

import Control.Applicative ((<$>))
import qualified Data.IntSet as S
import qualified Data.ByteString.Lazy.Char8 as C
import Data.List (sort)
import Data.Maybe (fromJust)

-- 与えられた数列の階差数列を求める関数
-- WriterによるPython解と同様の考え方による
diff :: Num a => [a] -> [a]
diff xs = zipWith (-) (tail xs) (init xs)

-- 与えられた数列が二条件を同時に満たすかを判定する関数
isKamo :: [Int] -> Bool
isKamo = f . S.fromList . diff . sort
    where f s = S.size s == 1 && S.notMember 0 s

-- 遅延ByteStringからIntを読み取る関数
unsafeReadInt :: C.ByteString -> Int
unsafeReadInt = fst . fromJust . C.readInt

main :: IO ()
main = do
    -- 入力全体を読み取り、単語ごとに分割してそれぞれ整数に変換する
    -- 最初の要素であるNは使わないので、tailで捨てる
    -- Stringではなく遅延ByteStringで入力を受け取り、高速化を図る
    xs <- fmap unsafeReadInt . tail . C.words <$> C.getContents :: IO [Int]
    putStrLn $ if isKamo xs then "YES" else "NO"
0