結果

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

ソースコード

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