結果

問題 No.406 鴨等間隔の法則
ユーザー はむ吉🐹はむ吉🐹
提出日時 2016-07-03 23:23:28
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 664 bytes
コンパイル時間 4,311 ms
コンパイル使用メモリ 150,368 KB
最終ジャッジ日時 2024-07-07 11:15:26
合計ジャッジ時間 4,995 ms
ジャッジサーバーID
(参考情報)
judge2 / judge1
このコードへのチャレンジ
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、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:2:1: error: [GHC-87110]
    Could not load module ‘Data.IntSet’.
    It is a member of the hidden package ‘containers-0.6.8’.
    Use -v to see a list of the files searched for.
  |
2 | import qualified Data.IntSet as S
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff #

import Control.Applicative ((<$>))
import qualified Data.IntSet as S
import Data.List (sort)

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

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

main :: IO ()
main = do
    -- Nは使わないので読み捨てる
    _ <- getLine
    xs <- fmap read . words <$> getLine :: IO [Int]
    putStrLn $ if isKamo xs then "YES" else "NO"
0