为什么会有相等子图的边消失啊
by Alex_Wei @ 2022-07-29 13:45:15
@[Alex_Wei](/user/123294)
如果 1 3 5 是左边 2 4 是右边，然后从5 开始，找到 5 4 3 的路径，这样不就是把 3,5 减了 4 加了，这样 1 4 的边不是就没有了吗
by xzggzh1 @ 2022-07-29 13:52:02
@[xzggzh1](/user/288460) 你这玩意画的没有完美匹配啊
by Alex_Wei @ 2022-07-29 14:09:34
@[Alex_Wei](/user/123294) 还有一个点我没有画出来
by xzggzh1 @ 2022-07-29 14:12:06
@[xzggzh1](/user/288460) 1 4 的边怎么会没有
by Alex_Wei @ 2022-07-29 14:19:04
如果 1, 4 在相等子图，那么 1 同样会减 $\Delta$；如果 1，4 不在相等子图，那么减少的 $\Delta$ 就刚好把它拉进来
by Alex_Wei @ 2022-07-29 14:20:05
@[Alex_Wei](/user/123294) 如果你加了 4 的顶标，但是 1 的顶标没有加，那岂不就是 14 的边没了吗？
（就，以 $5$ 为起点，找到了 $5 \to 4 \to 3$ 这样一条路径？）
by xzggzh1 @ 2022-07-29 14:21:18
@[xzggzh1](/user/288460) 刚才傻掉了，确实是有可能把边从相等子图里面拉出来的
by Alex_Wei @ 2022-07-29 14:25:51
但是我们关心的是相等子图上的交错树而不是相等子图，每次我们必然将一条边拉入相等子图的交错树，这是关键。
by Alex_Wei @ 2022-07-29 14:26:25
而不关心是否有边从相等子图中跑出去了。
by Alex_Wei @ 2022-07-29 14:26:46