結果

問題 No.482 あなたの名は
ユーザー atuk721atuk721
提出日時 2017-02-18 06:37:06
言語 Haskell
(9.8.2)
結果
AC  
実行時間 250 ms / 2,000 ms
コード長 856 bytes
コンパイル時間 4,666 ms
コンパイル使用メモリ 202,368 KB
実行使用メモリ 12,928 KB
最終ジャッジ日時 2024-05-08 08:21:39
合計ジャッジ時間 10,549 ms
ジャッジサーバーID
(参考情報)
judge4 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 5 ms
7,936 KB
testcase_08 AC 4 ms
6,272 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 4 ms
6,272 KB
testcase_11 AC 5 ms
7,168 KB
testcase_12 AC 5 ms
7,552 KB
testcase_13 AC 4 ms
6,272 KB
testcase_14 AC 3 ms
5,888 KB
testcase_15 AC 242 ms
12,544 KB
testcase_16 AC 242 ms
12,544 KB
testcase_17 AC 244 ms
12,544 KB
testcase_18 AC 242 ms
12,544 KB
testcase_19 AC 244 ms
12,800 KB
testcase_20 AC 234 ms
12,672 KB
testcase_21 AC 236 ms
12,672 KB
testcase_22 AC 229 ms
12,672 KB
testcase_23 AC 236 ms
12,800 KB
testcase_24 AC 250 ms
12,544 KB
testcase_25 AC 239 ms
12,544 KB
testcase_26 AC 228 ms
12,544 KB
testcase_27 AC 232 ms
12,544 KB
testcase_28 AC 231 ms
12,928 KB
testcase_29 AC 228 ms
12,672 KB
testcase_30 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #

import qualified Data.ByteString.Char8 as B
import qualified Data.Vector.Unboxed.Mutable as V
import Data.Int (Int64)

main :: IO ()
main = do
  (n, k) <- fmap toTuple $ B.getLine
  ds <- B.getLine
  vec <- V.unsafeNew n
  mapM_ ((\(i, v) -> V.unsafeWrite vec i v) . convert) . zip [0..] $ B.words ds
  result <- proc n k 0 vec
  putStrLn result

toTuple :: B.ByteString -> (Int, Int64)
toTuple = (\[x, y] -> (read . B.unpack $ x, read . B.unpack $ y)) . B.words

convert :: (Int, B.ByteString) -> (Int, Int)
convert (i, v) = (i, flip (-) 1 . read . B.unpack $ v)

proc :: Int -> Int64 -> Int -> V.IOVector Int -> IO String
proc n k i _
  | k < 0  = return "NO"
  | n == i = return $ if odd k then "NO" else "YES"
proc n k i xs = do
  a1 <- V.unsafeRead xs i
  if a1 == i
     then proc n k (i + 1) xs
     else V.unsafeSwap xs i a1 >> proc n (k - 1) i xs
0