对CF76A特殊性质的证明

假设当前枚举到了\(g[i]\)
假设我们考虑所有边,在\(g[i-1]\)枚举完后,所有\(1\)~\(i-1\)边从小到大排序,执行克鲁斯卡尔
在加入了\(g[i]\)这条边后,会插进一个位置保持单调性。
在这个新的边的数组上执行克鲁斯卡尔,很明显原来没被选的肯定不会被选
所以我们可以执行删边操作,是正确的

posted @ 2021-09-22 19:39  最爱丁珰  阅读(27)  评论(0编辑  收藏  举报