Theorem 4.1 Algorithm 4 can solve the problem (P) by using at most 2k-1 matchings in polynomial time.

• 定理4.；1 算法4能够在多项式时间内给出问题（P）的一个用2k-1次匹配的解。