連結グラフGが与えられた場合、グラフをGaとGbに分割します。GaとGbの最小スパニングツリー(それぞれXaとXbと呼ばれる)を見つけた場合、最小の重み付きエッジでXaをXbに接続しても、スパニングツリーが形成されますか?そのスパニングツリーは最小スパニングツリーですか?
これが私のこれまでの論理です。XaをXbに接続すると、ほぼ定義上、少なくともスパニングツリーが形成されると思います。(カウンターサンプルがある場合は便利ですが)ただし、グラフの構造によっては、XaまたはXbからエッジを削除できる場合があるため、常に最小スパニングツリーが形成されるとは限りません。次に、それらを接続するエッジを追加しますが、それでもツリーがあります。これは、同じ重みの複数のエッジが異なる頂点でXaとXbを接続する状況の場合です。
私の論理は今のところ正しいですか?