結果

問題 No.106 素数が嫌い！2
ユーザー guriceringuricerin
提出日時 2020-02-06 13:33:16
言語 F#
(F# 4.0)
結果
AC  
実行時間 148 ms / 5,000 ms
コード長 4,115 bytes
コンパイル時間 7,528 ms
コンパイル使用メモリ 200,548 KB
実行使用メモリ 52,388 KB
最終ジャッジ日時 2024-09-25 06:47:01
合計ジャッジ時間 9,887 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 102 ms
45,992 KB
testcase_01 AC 57 ms
31,308 KB
testcase_02 AC 58 ms
31,436 KB
testcase_03 AC 61 ms
31,684 KB
testcase_04 AC 106 ms
45,608 KB
testcase_05 AC 139 ms
48,900 KB
testcase_06 AC 132 ms
48,152 KB
testcase_07 AC 122 ms
48,156 KB
testcase_08 AC 67 ms
35,232 KB
testcase_09 AC 66 ms
34,944 KB
testcase_10 AC 125 ms
48,276 KB
testcase_11 AC 101 ms
40,856 KB
testcase_12 AC 148 ms
52,388 KB
testcase_13 AC 57 ms
31,436 KB
testcase_14 AC 58 ms
31,552 KB
testcase_15 AC 59 ms
31,820 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (242 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(48,9): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

open System
open System.Collections.Generic

[<AutoOpen>]
module Cin =
    let read f = stdin.ReadLine() |> f
    let reada f = stdin.ReadLine().Split() |> Array.map f
    let readChars() = read string |> Seq.toArray
    let readInts() = readChars() |> Array.map (fun x -> Convert.ToInt32(x.ToString()))

[<AutoOpen>]
module Cout =
    let writer = new IO.StreamWriter(new IO.BufferedStream(Console.OpenStandardOutput()))
    let print (s: string) = writer.Write s
    let println (s: string) = writer.WriteLine s
    let inline puts (s: ^a) = string s |> println

//  　 　 　 　／ 　 　 　 　 　 　 ｀　､ 　 　 　 感謝するぜ　　お前と出会えた
// 　　　 　 　/　 　　　　　　　　ノﾉ　　ヽ
// 　　　　　 ,　　　　　ニニ彡'⌒　　　 /｀ヽ　　　　　　　 これまでの　　全てに
// 　　 　　　' 　 ニミ　ニニ彡　 　 　 〈ｒう├－-ミ
// 　　 　 　 { {　ニミ　} j ｊ ｊﾉｘ'ィイく　　}し｛＼　　 ｀丶、＿＿_／ニニニ
// 　　　　 　ｊ_ニニミV ﾊﾚﾉ ｘ＜⌒ヽ　 V ﾍ 　＼　　　 ＼ニニニニニニニ
// 　　　　　 {xミミｰ'ヾ(､ﾙ( 厶ｔｧァく⌒ヾ}　　）ﾊ::::::.　　　　＼ニニニニニニ
// 　　　　　彡ｨ'"＞tｧ}　＼(｀ニ彡 ノ` /ト=く 　 ::::::i　　　　　＼ニニニニニニ
// 　　 　　( 　 V＾`こ7　 _, ＼｀`ヾヽ｀　ﾉ|｀ヽ ヽ ｌ:::::|　　　　　　 ＼ニニニニニ
// 　　 　 　 　 ∧　　{ '　　｀ ﾉ＾ヽ 　 　{ ﾉ　　 　 !:::::|　　　＿__ノ^ヽニニニニニニ
// 　　　　　 ／.::::＼ゝヽ. _ノヽ｀｀ヽ, -――- 、 /:::::/　／ 　 　　￣｀ヽニニニニニ
// 　　 　 ／.::::::::::::::::>'"ﾉﾙﾊヽ`／ -―- ､⌒Ｖ::::::/.／／ ｊ＿__ノ、　　ヽニニニニニ
// 　　／ニニ、｀ヽ｀ヾﾍ{ {､ﾑイ　､＿（　　 >　 ＼／ （__ ノニニニ　　 　 ＼ニニニニ
// 　,仁ニニニ＼ヽヽヽ ∨　　　/ニﾆ＞彡＞--'）__ ノ　　 　｀ヽニ　　　　　＼ニニニ二
// 　ニニニニニﾆヽ 　 /　　 　 {ニニ＞ ´　｀¨¨´　　　　　　　　 ﾆ}　　　　　　＼＞''"´
// 　ニニニニニニﾆﾆ/　　　　 ∨　/　　　　　　　　　　　　　　　}八
// 　ニニニニニニﾆ./　 　 　 　 }ニ{　　　　　　　　　　　　　 　 ﾉニヽ　　　　 ﾉ
// 　ニニニニニﾆﾆ/　　　　　　 }ニﾊ　　　　　　　　 　 　 　 ／⌒ヽヽヽ ___彡
// 　ニニニニニﾆﾆ!　　　 　 　 ﾉニニヽ、　 　 　 　 　 　 ／　　　　　｀ ー=彡'ニニニニニ
// 　ニニニニニﾆﾆ}　　　　　　　　　　⌒`丶、　　　　 ／⌒ヽ　 ﾉ　　　　　ノ＿＿＿＿＿
// 　 ／￣￣￣｀ヽ/ヽ、　＿彡ﾍ{ ｛　　　 　 　 ＞ ､　/　　 　 ／ ￣￣￣
// 　　 　 ) ､　 　 /　　 ヾ､　　　 ヽ ヽ　 　 　 （ 　 　`{　　　 /
// 　//　⌒ヽ　 /　　　　〃 トミ　　＿__　＞--‐=､ 　 ヽ ＿ﾉ
// 　 { 　 　 　 /　　　　//　　　　 /　　　　　　　　 ＼__ﾉ

// -----------------------------------------------------------------------------------------------------

// -----------------------------------------------------------------------------------------------------

let main() =
    let [| n; k |] = reada int
    let mp = Array.zeroCreate (int 1e6 * 2 + 1) // 素因数の数
    for p in 2 .. n do
        if mp.[p] > 0 then
            ()
        else
            mp.[p] <- 1
            let rec loop q =
                let pq = int64 p * int64 q
                if pq > int64 n then
                    ()
                else
                    mp.[p * q] <- mp.[p * q] + mp.[p]
                    loop (q + 1)
            loop 2

    mp.[2..n]
    |> Array.filter (fun x -> x >= k)
    |> Array.length
    |> puts
    ()

// -----------------------------------------------------------------------------------------------------
main()
writer.Dispose()
0