picnic planning证明

发布时间 2023-10-19 22:25:55作者: 最爱丁珰

首先最终的答案一定包含最开始的T条边,不然的话,我们选择这T条边中没被包含的任意一条边,把它加入现有的生成树

由于这T条边连接的是不同的连通块,所以加入这条边后生成树会形成一个环,而且这个环除了这一条边不包含其他任何一条这T条边中的一边

又因为这T条边是最小的T条边,我们选择这个环上从1出发的不是这条边的边,权值肯定比我们选的这条边大,删掉即可

然后再证明我们接下来的添加操作是正确的

假设按照书上的操作,我们本来会选择一个\(x_0\),但是最终却没有选择(我们无论最后是什么方案,每个连通块内部的连接都是不变的,都是最开始我们算出来的最小生成树),那么我们把\((1,x_0)\)这条边加入进去,再把本来应该删除的边删掉,此时还是一颗生成树,但是1号节点的度数多了一,然而我们

好吧我不会证