MST唯一性条件证明

假设T是唯一的最小生成树。现在我们需要证明G中不在T中的每一条边e的权重，超过了T+e中循环中每一条边的权重。我们证明了这种说法的对立面。

假设G中有一条边e不在T中，并且它的权重小于或等于T+e中循环上的另一条边e0的权重。现在我们看生成树$T+e-e_0$。现在

$$w（T+e）-e_0）=w（T）+w（e）-w（e_0）\le w（T）+w（e_0）-w（e_0）=w（T）。$$
因为T是最小生成树，我们知道$w（T）\le w（T+e）-e_0）$。所以我们知道$w（T）=w（T+e-e_0）$，表示$T+e-e_0$是与T不同的最小生成树。所以“的反义词”⇒” 已经被证明了。“也是”⇒”.

“⇐”:

为了证明这个说法，我们首先给出一个引理。

引理假设T和T′都是G的生成树，并且存在一条边e使得e∈T和e∉T′（即T和T′不同）。存在一条边e′，使得e′∈T’和e’∉T和那个T−e+e′和T′−e′+e都是G的生成树。

引理的证明

假设e=u，v。然后是T−e有两个相连的分量，即T1和T2。因为T′也是一个生成树，它还必须包含一条连接$T_1$和$T_2$的边。现在我们选择这条边作为e′。很简单，T−e+e′和T′−e′+e是生成树，因为− 断开T1和T2，然后+修复。

现在我们用矛盾来证明原来的说法。假设T不是唯一的，即存在另一个与T不同的最小生成树T′。由

引理，我们知道有两条边，e和e′，这样e∈T、 电子∉T′，e′∈T′，e′∉T和那个T−e+e′和T′−e′+e都是生成树。但是我们知道T+e′有一个循环，e在这个循环上，因为T+e′−e是非循环的。根据问题的条件，w（e′）>w（e）。所以我们知道$w（T\prime ）-e\prime +e）=w（T\prime ）-w（e\prime ）+w（e）<w（T\prime ）=w（T）$，这与T和T′都是最小生成树的事实相矛盾。