結果

問題 No.12 限定された素数
ユーザー pocaristpocarist
提出日時 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
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1,383 ms
68,096 KB
testcase_01 AC 1,518 ms
67,820 KB
testcase_02 AC 1,472 ms
67,820 KB
testcase_03 AC 1,410 ms
67,828 KB
testcase_04 AC 1,454 ms
67,840 KB
testcase_05 AC 1,568 ms
67,952 KB
testcase_06 AC 1,594 ms
68,072 KB
testcase_07 AC 1,592 ms
67,824 KB
testcase_08 AC 1,523 ms
67,952 KB
testcase_09 AC 1,502 ms
67,952 KB
testcase_10 AC 1,573 ms
67,712 KB
testcase_11 AC 1,572 ms
67,792 KB
testcase_12 AC 1,542 ms
67,712 KB
testcase_13 AC 1,570 ms
67,712 KB
testcase_14 AC 1,539 ms
67,800 KB
testcase_15 AC 1,558 ms
67,824 KB
testcase_16 AC 1,586 ms
67,700 KB
testcase_17 AC 1,362 ms
68,072 KB
testcase_18 AC 1,354 ms
68,088 KB
testcase_19 AC 1,357 ms
68,096 KB
testcase_20 AC 1,474 ms
67,712 KB
testcase_21 AC 1,526 ms
68,084 KB
testcase_22 AC 1,381 ms
67,968 KB
testcase_23 AC 1,371 ms
67,840 KB
testcase_24 AC 1,378 ms
67,940 KB
testcase_25 AC 1,566 ms
67,920 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /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/

ソースコード

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