結果

問題 No.994 ばらばらコイン
コンテスト
ユーザー kou_kkk
提出日時 2026-04-19 03:11:14
言語 F#
(F# 10.0)
コンパイル:
fsharp_c _filename_
実行:
/usr/bin/dotnet_wrap
結果
WA  
実行時間 -
コード長 728 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,225 ms
コンパイル使用メモリ 224,016 KB
実行使用メモリ 81,852 KB
最終ジャッジ日時 2026-04-19 03:12:26
合計ジャッジ時間 14,969 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 1 WA * 5 TLE * 1 -- * 16
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (203 ミリ秒)。
/home/judge/data/code/Main.fs(1,5): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
/home/judge/data/code/Main.fs(9,9): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
  main -> /home/judge/data/code/bin/Release/net10.0/main.dll
  main -> /home/judge/data/code/bin/Release/net10.0/publish/

ソースコード

diff #
raw source code 

let [| n; k |] =
    stdin.ReadLine().Split()
    |> Array.map int

let g =
    Array.init (n + 1) (fun _ -> [])

for i = 1 to n - 1 do
    let [| a; b |] =
        stdin.ReadLine().Split()
        |> Array.map int

    g.[a] <- b :: g.[a]
    g.[b] <- a :: g.[b]

let seen =
    Array.zeroCreate<bool> <| n + 1

let dist =
    Array.init (n + 1) (fun _ -> [])

dist.[0] <- [ 1 ]

let mutable ans = 0
let mutable coin = k

if n >= k then
    for d in 0 .. n - 1 do
        for x in dist.[d] do
            if coin > 0 && not seen.[x] then
                seen.[x] <- true
                dist.[d + 1] <- dist.[d + 1] @ g.[x]
                ans <- ans + d
                coin <- coin - 1
else
    ans <- -1

ans
|> printfn "%d"
0