結果
問題 |
No.12 限定された素数
|
ユーザー |
![]() |
提出日時 | 2015-09-25 18:49:04 |
言語 | F# (F# 4.0) |
結果 |
AC
|
実行時間 | 1,594 ms / 5,000 ms |
コード長 | 1,517 bytes |
コンパイル時間 | 14,323 ms |
コンパイル使用メモリ | 185,848 KB |
実行使用メモリ | 68,096 KB |
最終ジャッジ日時 | 2024-11-24 08:31:21 |
合計ジャッジ時間 | 53,254 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 26 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (286 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