結果

問題 No.1046 Fruits Rush
ユーザー taktak
提出日時 2020-06-25 12:39:48
言語 F#
(F# 4.0)
結果
AC  
実行時間 348 ms / 2,000 ms
コード長 378 bytes
コンパイル時間 7,087 ms
コンパイル使用メモリ 192,576 KB
実行使用メモリ 35,256 KB
最終ジャッジ日時 2024-07-03 21:27:09
合計ジャッジ時間 13,913 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 348 ms
34,220 KB
testcase_01 AC 345 ms
34,492 KB
testcase_02 AC 345 ms
35,256 KB
testcase_03 AC 343 ms
34,364 KB
testcase_04 AC 346 ms
34,228 KB
testcase_05 AC 346 ms
34,304 KB
testcase_06 AC 344 ms
34,224 KB
testcase_07 AC 346 ms
34,808 KB
testcase_08 AC 345 ms
34,232 KB
testcase_09 AC 341 ms
34,236 KB
testcase_10 AC 342 ms
34,740 KB
testcase_11 AC 345 ms
35,128 KB
testcase_12 AC 345 ms
35,084 KB
testcase_13 AC 346 ms
34,284 KB
testcase_14 AC 344 ms
34,744 KB
testcase_15 AC 345 ms
34,360 KB
testcase_16 AC 342 ms
34,660 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (237 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 # 

open System

let (N, K) = 
    let t = Console.ReadLine().Split() |> Array.map int 
    t.[0], t.[1]

let A = Console.ReadLine().Split() |> Array.map int 

A 
|> Array.sortDescending
|> Array.splitAt 1
|> fun (a, b) -> 
    let t = 
        b
        |> Array.truncate (K - 1) 
        |> Array.where(fun x -> x > 0)
    Array.fold(fun acc x -> acc + x) a.[0] t 
|> printfn "%i"
0