結果
問題 | No.12 限定された素数 |
ユーザー | pocarist |
提出日時 | 2015-09-25 18:49:04 |
言語 | F# (F# 4.0) |
結果 |
AC
|
実行時間 | 1,708 ms / 5,000 ms |
コード長 | 1,517 bytes |
コンパイル時間 | 14,378 ms |
コンパイル使用メモリ | 186,452 KB |
実行使用メモリ | 68,204 KB |
最終ジャッジ日時 | 2024-05-03 09:36:30 |
合計ジャッジ時間 | 57,675 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1,460 ms
68,192 KB |
testcase_01 | AC | 1,676 ms
67,832 KB |
testcase_02 | AC | 1,537 ms
68,204 KB |
testcase_03 | AC | 1,492 ms
67,832 KB |
testcase_04 | AC | 1,524 ms
67,812 KB |
testcase_05 | AC | 1,646 ms
67,704 KB |
testcase_06 | AC | 1,665 ms
67,804 KB |
testcase_07 | AC | 1,671 ms
67,948 KB |
testcase_08 | AC | 1,652 ms
67,828 KB |
testcase_09 | AC | 1,596 ms
67,704 KB |
testcase_10 | AC | 1,657 ms
67,932 KB |
testcase_11 | AC | 1,624 ms
68,080 KB |
testcase_12 | AC | 1,655 ms
67,828 KB |
testcase_13 | AC | 1,621 ms
68,080 KB |
testcase_14 | AC | 1,633 ms
67,956 KB |
testcase_15 | AC | 1,649 ms
67,824 KB |
testcase_16 | AC | 1,708 ms
68,088 KB |
testcase_17 | AC | 1,443 ms
68,056 KB |
testcase_18 | AC | 1,465 ms
67,940 KB |
testcase_19 | AC | 1,453 ms
68,064 KB |
testcase_20 | AC | 1,584 ms
67,824 KB |
testcase_21 | AC | 1,605 ms
67,696 KB |
testcase_22 | AC | 1,446 ms
68,068 KB |
testcase_23 | AC | 1,433 ms
68,072 KB |
testcase_24 | AC | 1,461 ms
67,944 KB |
testcase_25 | AC | 1,646 ms
68,072 KB |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (343 ms)。 MSBuild のバージョン 17.9.6+a4ecab324 (.NET) main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
// http://yukicoder.me/problems/34 open System let dprintfn fmt = Printf.kprintf Diagnostics.Debug.WriteLine fmt let primes n = let mid = float n |> sqrt |> floor |> int let table = Array.init (n+1) (fun _ -> true) seq { for i in 2 .. mid do if table.[i] then yield i for j in (i+i) .. i .. n do table.[j] <- false for i in (mid+1) .. n do if table.[i] then yield i } let encode x = let rec loop acc n = let m = n % 10 let acc = Set.add m acc let d = n / 10 if d = 0 then acc else loop acc d loop Set.empty x [<EntryPoint>] let main argv = let max_N = 5000000 let N = Console.ReadLine().Trim() |> int let A = Console.ReadLine().Trim().Split([|' '|]) |> Array.map int |> Set.ofArray primes max_N |> Seq.fold (fun (start, rest, ans) x -> let X = encode x if Set.difference X A = Set.empty then (start, Set.difference rest X, ans) else let ans = if rest = Set.empty && ans < x-1-start then x-1-start else ans let start = x+1 let rest = A (start, rest, ans) ) (1, A ,-1) |> fun (start, rest, ans) -> let ans = if rest = Set.empty && ans < max_N - start then max_N - start else ans printfn "%d" ans 0