結果

問題 No.7 プライムナンバーゲーム
コンテスト
ユーザー r6eve
提出日時 2017-08-18 13:29:22
言語 OCaml
(5.5.0)
コンパイル:
ocamlfind ocamlopt -linkpkg -package zarith,str _filename_ -o a.out
実行:
./a.out
結果
AC  
実行時間 82 ms / 5,000 ms
+ 538µs
コード長 653 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,262 ms
コンパイル使用メモリ 21,192 KB
実行使用メモリ 6,272 KB
最終ジャッジ日時 2026-09-07 15:48:05
合計ジャッジ時間 3,042 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17
権限があれば一括ダウンロードができます
コンパイルメッセージ
ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf

ソースコード

diff #
raw source code 

let eratos n =
  let a = Array.make (n + 1) true in
  a.(0) <- false; a.(1) <- false;
  let rec doit i j =
    if j > n then ()
    else begin
      a.(j) <- false;
      doit i (i + j)
    end in
  let doit i = doit i (i + i) in
  let m = float n |> sqrt |> truncate in
  for i = 2 to m do if a.(i) then doit i done;
  a

let solve n =
  let p = eratos n in
  let t = Array.make (n + 1) false in
  t.(0) <- true; t.(1) <- true;
  for i = 2 to n do
    for j = 2 to i do
      if not p.(j) then ()
      else t.(i) <- t.(i) || not t.(i - j);
    done
  done;
  t.(n)

let () =
  let n = read_int () in
  print_endline (if solve n then "Win" else "Lose")
0