結果

問題 No.994 ばらばらコイン
コンテスト
ユーザー kou_kkk
提出日時 2026-04-19 03:11:14
言語 F#
(F# 10.0 + ACL)
コンパイル:
fsharp_c _filename_
実行:
/usr/bin/dotnet_wrap
結果
WA  
実行時間 -
コード長 728 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 8,081 ms
コンパイル使用メモリ 226,288 KB
実行使用メモリ 87,004 KB
最終ジャッジ日時 2026-09-09 05:31:24
合計ジャッジ時間 17,671 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 1 WA * 5 TLE * 1 -- * 16
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (315 ミリ秒)。
/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