結果

問題 No.12 限定された素数
ユーザー pocaristpocarist
提出日時 2015-09-25 18:42:15
言語 F#
(F# 4.0)
結果
WA  
実行時間 -
コード長 1,403 bytes
コンパイル時間 14,910 ms
コンパイル使用メモリ 186,228 KB
実行使用メモリ 68,224 KB
最終ジャッジ日時 2024-07-19 09:15:44
合計ジャッジ時間 59,766 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1,490 ms
67,968 KB
testcase_01 AC 1,650 ms
67,940 KB
testcase_02 AC 1,561 ms
67,956 KB
testcase_03 WA -
testcase_04 AC 1,562 ms
67,952 KB
testcase_05 AC 1,687 ms
67,968 KB
testcase_06 AC 1,721 ms
67,840 KB
testcase_07 AC 1,703 ms
67,968 KB
testcase_08 AC 1,680 ms
67,968 KB
testcase_09 AC 1,657 ms
67,840 KB
testcase_10 AC 1,711 ms
67,968 KB
testcase_11 AC 1,684 ms
68,096 KB
testcase_12 AC 1,703 ms
67,968 KB
testcase_13 AC 1,673 ms
67,812 KB
testcase_14 AC 1,675 ms
68,224 KB
testcase_15 AC 1,672 ms
68,096 KB
testcase_16 AC 1,756 ms
67,840 KB
testcase_17 AC 1,488 ms
67,712 KB
testcase_18 AC 1,498 ms
67,968 KB
testcase_19 AC 1,490 ms
67,968 KB
testcase_20 AC 1,627 ms
68,224 KB
testcase_21 AC 1,677 ms
67,960 KB
testcase_22 AC 1,496 ms
67,968 KB
testcase_23 AC 1,517 ms
68,096 KB
testcase_24 AC 1,511 ms
67,968 KB
testcase_25 AC 1,708 ms
67,968 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (344 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_prime = 5000000
    let N = Console.ReadLine().Trim() |> int
    let A = Console.ReadLine().Trim().Split([|' '|]) |> Array.map int |> Set.ofArray
    primes max_prime
    |> 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 (_, _, ans) ->
        printfn "%d" ans
    0
0