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