結果

問題 No.989 N×Mマス計算（K以上）
ユーザー ikdikd
提出日時 2020-06-06 22:32:47
言語 F#
(F# 4.0)
結果
WA  
実行時間 -
コード長 863 bytes
コンパイル時間 6,799 ms
コンパイル使用メモリ 199,632 KB
実行使用メモリ 73,344 KB
最終ジャッジ日時 2024-06-06 03:06:46
合計ジャッジ時間 16,114 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 332 ms
35,420 KB
testcase_01 AC 335 ms
35,388 KB
testcase_02 AC 338 ms
35,328 KB
testcase_03 AC 337 ms
35,184 KB
testcase_04 AC 335 ms
35,028 KB
testcase_05 AC 340 ms
35,324 KB
testcase_06 WA -
testcase_07 AC 338 ms
35,644 KB
testcase_08 WA -
testcase_09 AC 342 ms
35,296 KB
testcase_10 AC 501 ms
69,404 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 AC 396 ms
48,368 KB
testcase_14 WA -
testcase_15 WA -
testcase_16 AC 463 ms
64,000 KB
testcase_17 AC 378 ms
47,104 KB
testcase_18 AC 439 ms
60,760 KB
testcase_19 AC 435 ms
63,616 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (229 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(17,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

// x <= arr[i]
let lowerBound x (arr: 'a []) =
    // arr[lf] < x <= arr[rg]
    let rec solve lf rg =
        if rg - lf <= 1 then
            rg
        else
            let mid = (rg + lf) / 2
            if arr.[mid] < x then solve mid rg else solve lf mid
    solve -1 arr.Length


[<EntryPoint>]
let main _ =
    let [| n; m; k |] = stdin.ReadLine().Split(' ') |> Array.map int64
    let line = stdin.ReadLine().Split(' ')
    let op = Array.head line |> Seq.head

    let b =
        Array.tail line
        |> Array.map int64
        |> Array.sort

    let a =
        [| for _ in 1L .. n -> stdin.ReadLine() |> int64 |]

    a
    |> Array.sumBy (fun x ->
        let y =
            if op = '+' then k - x else k / x

        let i =
            b
            |> lowerBound y
            |> int64

        m - i)
    |> printfn "%d"

    0
0