这题唯一的题解根本没有讲怎么证明有极大匹配这个关键结论，但事实上这一点是整个题目几乎唯一困难的地方。即使没有严谨证明也应该至少要有感性的理解吧。