結果

問題 No.12 限定された素数
ユーザー pocaristpocarist
提出日時 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/

ソースコード

diff #

// 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 
0