KM算法逐次修改可行顶标l(v)，使对应的相等子图的边增多，最大匹配逐次增大，最后出现完备匹配