結果

問題 No.183 たのしい排他的論理和(EASY)
ユーザー Eliza_0xEliza_0x
提出日時 2018-05-13 14:46:52
言語 Haskell
(9.10.1)
結果
MLE  
実行時間 -
コード長 594 bytes
コンパイル時間 5,716 ms
コンパイル使用メモリ 169,344 KB
実行使用メモリ 813,696 KB
最終ジャッジ日時 2024-06-28 10:00:35
合計ジャッジ時間 8,914 ms
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 5 MLE * 1 -- * 12
権限があれば一括ダウンロードができます
コンパイルメッセージ
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 Data.Bits
import Data.Array

main  = do
    n <- read <$> getLine :: IO Int
    ns <- listArray (1,n) . map read . words <$> getLine :: IO (Array Int Int)
    let memo = dp ns 0 n (listArray (0,1) [])
    print . sum $ [if memo!i then 1 else 0 | i<-[0..r]]

r = 16384

dp :: Array Int Int -> Int -> Int -> Array Int Bool -> Array Int Bool
dp ns y n memo = if y > n 
    then memo 
    else dp ns (y+1) n memo'
    where
    memo' = array (0,r) $ [(x, f y x)|x<-[0..r]]
    f 0 0 = True
    f 0 _ = False
    f y x = memo!x || (if x `xor` ns!y < r then memo!(x `xor` (ns!y)) else False)

0