最小スパニングツリーは、サイクルプロパティで指定されたエッジだけを持たないでしょうか。[重複]

cs.stackexchange https://cs.stackexchange.com/questions/126058

質問

閉じた 4月前>。

私は「最低スパニングツリー」(MSTS)を理解し始めて、サイクルプロパティを越えて来ました。私はJon KleinbergとEva Tardosによる本 - アルゴリズムデザインを参照しています。本に書かれた特性の声明は次のとおりです。

すべてのエッジコストが異なると仮定します。 g内の任意のサイクルであり、e ede e=(v、w)をCに属する最も高価なエッジとすることができます.eは、任意の最小スパニングツリーに属しません。

今私の疑問は、サイクルプロパティを満たさないグラフのエッジ(異なる正の重みを持つ無向グラフ)が、MSTに存在しない、または他のエッジがあるのかMSTに属しておらず、このプロパティではカバーされていませんか?

そのようなエッジが存在するかどうかについて議論する証明を思いつくことができません。このために証明を教えてください。

役に立ちましたか?

解決

$ g $ のEdge $ E $ であると言ってください。 / strong> $ g $ にサイクルが存在する場合は、 $ e $ には最大の重みがあります。

define $ {\ cal b}={e~ |〜e $ $ g \} $ すべての悪いエッジのコレクションです。

あなたの質問は、グラフ $(g - {\ cal b})$ $ g $です。 (すべてのエッジウェイトが異なると仮定して)答えはyes!

です

これを証明するには、 $(g - {\ cal b})$ が非巡回です。

$(g - {\ cal b})$ には、 $ c $が含まれています。 $ c $ は、 $ g $ のサイクルです。 $ e ^ * $ を、サイクル $ c $ の最大重みのエッジになります。 $ e ^ * $ 悪いエッジですので、それはグラフであるべきではありません> $(g - {\ cal b})$ が最初の場所です。これは、 $(g - {\ cal b})$ が非巡回です。

他のヒント

あなたの質問を理解していなかったらすみません、私が尋ねることを意味するのかどうかは、このエッジがサイクルにない場合はエッジがMSTにならないように可能であるかどうかです。

これが私の答えです。

グラフGにエッジ(u、v)があると仮定して、サイクルの一部ではありません。これは、uからvへのパスがないことを意味します(u、v)。 エッジ(u、v)がMSTにいなかった場合、これはこのMSTのUからVへのパスがないことを意味すると、MSTは切断され、したがってまったくMSTではありません。 したがって、エッジがサイクルの一部ではない場合は、グラフのMSTになければなりません。

ライセンス: CC-BY-SA帰属
所属していません cs.stackexchange
scroll top