結果

問題 No.617 Nafmo、買い出しに行く
ユーザー ichibanshiboriichibanshibori
提出日時 2018-09-23 04:20:09
言語 F#
(F# 4.0)
結果
WA  
実行時間 -
コード長 1,059 bytes
コンパイル時間 14,723 ms
コンパイル使用メモリ 195,012 KB
実行使用メモリ 58,448 KB
最終ジャッジ日時 2024-07-20 05:39:04
合計ジャッジ時間 21,313 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 309 ms
34,832 KB
testcase_01 WA -
testcase_02 AC 328 ms
35,008 KB
testcase_03 AC 346 ms
36,880 KB
testcase_04 WA -
testcase_05 AC 345 ms
39,172 KB
testcase_06 AC 316 ms
35,340 KB
testcase_07 AC 540 ms
58,172 KB
testcase_08 AC 317 ms
34,684 KB
testcase_09 WA -
testcase_10 AC 536 ms
58,196 KB
testcase_11 AC 528 ms
57,560 KB
testcase_12 AC 537 ms
58,448 KB
testcase_13 WA -
testcase_14 AC 522 ms
58,192 KB
testcase_15 AC 311 ms
34,828 KB
testcase_16 WA -
testcase_17 AC 311 ms
34,820 KB
testcase_18 AC 316 ms
34,244 KB
testcase_19 AC 327 ms
34,536 KB
testcase_20 AC 325 ms
34,788 KB
testcase_21 AC 310 ms
35,376 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (388 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 # 

let combination f lst =
    let rec combination' restLst curLst =
        match restLst with
        | [] -> ()
        | e :: rest ->
            let curLst' = e :: curLst
            if f curLst' then
                combination' rest curLst'
                combination' rest curLst
    combination' lst []

exception RecursiveFinish

let solve aLst k =
    let mutable result = 0
    try
        combination
            (fun lst ->
                let sum = List.sum lst
                if sum = k then
                    result <- k
                    raise RecursiveFinish
                else
                    if result < sum && sum < k then
                        result <- sum
                    sum < k)
            aLst
    with
    | RecursiveFinish -> ()

    printfn "%d" result

let () =
    let n, k =
        stdin.ReadLine()
        |> fun s -> s.Split()
        |> fun arr -> (int arr.[0], int arr.[1])
    let aLst =
        seq {
            for _ in 1..n -> stdin.ReadLine() |> int
        }
        |> Seq.toList
    solve aLst k
0