それぞれ黒または白のエッジと整数 k を持つ接続された無向グラフがあります。正確に k 個の黒いエッジを持つスパニング ツリーが存在するかどうかを示すアルゴリズムを作成しようとしています (必ずしも実際のツリーを見つける必要はありません)。
Kruskal のアルゴリズムを使用して、スパニング ツリーの黒エッジの最小数と最大数を見つけました。k がこの範囲外の場合、k 個のエッジを持つスパニング ツリーは存在できません。
しかし、その範囲内のすべての k に対して必ずしもスパニング ツリーが存在するかどうかについて、私は頭を悩ませています。私の直感はイエスと言っており、私が試したすべての例でうまくいきましたが、それを証明する方法がわかりません.
何かアドバイス?前もって感謝します。