結果
| 問題 |
No.7 プライムナンバーゲーム
|
| ユーザー |
|
| 提出日時 | 2015-03-09 10:00:22 |
| 言語 | Haskell (9.10.1) |
| 結果 |
AC
|
| 実行時間 | 29 ms / 5,000 ms |
| コード長 | 613 bytes |
| コンパイル時間 | 3,037 ms |
| コンパイル使用メモリ | 172,612 KB |
| 実行使用メモリ | 6,820 KB |
| 最終ジャッジ日時 | 2024-10-01 15:30:23 |
| 合計ジャッジ時間 | 3,997 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 17 |
コンパイルメッセージ
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
ソースコード
import Control.Applicative
import Data.List
import Data.Array
sieve' = 2:3:[6*i+j|i<-[1..],j<-[-1,1], isPrime $ 6*i+j] where
isPrime n = null [p|p<-takeWhile (\x -> x*x <=n) sieve', rem n p == 0]
solve m ps = if solve' m ps then "Win" else "Lose"
solve' m ps = iter m ds where
ds = [(2,False),(1,True),(0,True)]
memo = listArray ((0,m)) $ fmap (\x -> iter x ds) $ [0..m]
iter n acc = case lookup n acc of
Just k -> k
Nothing -> let h = not $ and [memo!(n-p)|p<-takeWhile (<n) ps, p<n] in h
main = do
n <- (read :: String -> Int) <$> getLine
putStrLn $ solve n $ takeWhile (<n) $ sieve'