syksykCCC

摘要： 引理：所有未确定权值的边中，只有一条被确定为 $x$，其余所有边的权值都被确定为 $0$。 证明：考虑生成树的形态，有两种情况。 MST 使用了所有未确定权值的边，那么根据 $\bigoplus w_e = x$，可以得到 $\sum w_e \ge x$。这是因为总是存在 $\sum w \ge 阅读全文