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