これは宿題ではありません。理解するために教科書から演習をしようとしていますMST (minimum spanning tree)
。
C
加重無向グラフにサイクルがあるとしますG
。私が理解しているように、次は正しいです:
- の最も重いエッジはのMSTに
C
属していませんG
。つまり、そのエッジを含むのMSTはありません。G
- の最も明るいエッジはのMSTに
C
属しますG
。つまり、G
そのエッジを含む の MST があります。
ここで、次の主張も正しいかどうか疑問に思います。
- の最も明るいエッジはのすべてのMSTに
C
属します。つまり、そのエッジを含まない の MST はありません。G
G
- 最も重い
C
エッジを除くすべてのエッジは、何らかのMSTに属します。つまり、最も重いものを除く各エッジには、そのエッジを含む MST があります。C
最後の主張を証明できますか?