結果

問題 No.482 あなたの名は
コンテスト
ユーザー くれちー
提出日時 2017-02-10 23:18:46
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 549 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,517 ms
コンパイル使用メモリ 194,176 KB
実行使用メモリ 72,960 KB
最終ジャッジ日時 2026-06-03 00:39:04
合計ジャッジ時間 8,728 ms
ジャッジサーバーID
（参考情報） 		judge1_1 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 9 WA * 3 TLE * 1 -- * 15
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

import Data.List
import Control.Applicative

swap :: (a, b) -> (b, a)
swap (x, y) = (y, x)

eq :: Eq a => (a, a) -> (a, a) -> Bool
eq x y = x == y || swap x == y

solve :: Integral a => a -> a -> [a] -> String
solve n k ds
    | t2 < 0          = "NO"
    | t2 `mod` 2 == 0 = "YES"
    | otherwise       = "NO"
    where
        t1 = length $ filter (\(x, y) -> x /= y) $ nubBy eq $ zip ds [1..]
        t2 = k - fromIntegral t1

main = do
    [n, k] <- map read . words <$> getLine
    ds <- map read . words <$> getLine
    putStrLn $ solve n k ds
0