結果
| 問題 | 
                            No.7 プライムナンバーゲーム
                             | 
                    
| コンテスト | |
| ユーザー | 
                             r6eve
                         | 
                    
| 提出日時 | 2017-08-18 13:45:06 | 
| 言語 | OCaml  (5.2.1)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 821 bytes | 
| コンパイル時間 | 406 ms | 
| コンパイル使用メモリ | 19,704 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-10-09 00:27:16 | 
| 合計ジャッジ時間 | 1,068 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 9 WA * 8 | 
ソースコード
let eratos n =
  let a = Array.make (n + 1) true in
  a.(0) <- false; a.(1) <- false;
  let m = float n |> sqrt |> truncate in
  let rec aux i j =
    if j > n then ()
    else begin
      a.(j) <- false;
      aux i (i + j)
    end in
  let rec doit i lst =
    if i > m then List.rev lst
    else if not a.(i) then doit (i + 1) lst
    else begin
      aux i (i + i);
      doit (i + 1) (i :: lst)
    end in
  doit 2 []
let solve n =
  let ps = eratos n in
  let t = Array.make (n + 1) false in
  t.(0) <- true; t.(1) <- true;
  for i = 2 to n do
    let rec doit = function
      | [] -> ()
      | p :: _ when p > i -> ()
      | p :: ps ->
        t.(i) <- t.(i) || not t.(i - p);
        doit ps in
    doit ps
  done;
  t.(n)
let () =
  let n = read_int () in
  print_endline (if solve n then "Win" else "Lose")
            
            
            
        
            
r6eve