这其实就是最小边覆盖
我们对任意一种选边的操作序列，显然每一条边要么使一个点被覆盖，要么使两个点被覆盖，而使两个点被覆盖的边肯定不会超过最大匹配，所以一个上界就是选出最大匹配的边，然后剩余的点再依次选择一条边，而这个上界显然是合法的，所以最后有
