§5 匹配问题 定义 若 ) ( G E M ⊂ ， M e e j i ∈ ∀ , ， i e 与 j e 无公共端点（ j i ≠ ），则称 M 为图 G 中的一个对集； M 中的一条边的两个端点叫做在对集 M 中相配； M 中的端点称为 被 M 许配； G 中每个顶点皆被 M 许配时， M 称为完美对集； G 中已无使 | | | ' | M M > 的对集 ' M ，则 M 称为最大对集；若 G 中有一轨，其边交替地在对集 M 内外出现，则 称此轨为 M 的交错轨，交错轨的起止顶点都未被许配时，此交错轨称为可增广轨。 若把可增广轨上在 M 外的边纳入对集，把 M 内的边从对集中删除，则