完全マッチング
グラフ上の全ての頂点が、
マッチング
中のいずれかの枝の端点になっているとき、そのマッチングを完全マッチングという。
マッチングの要素数を|M|、グラフのノード数を|V|とおくと、完全マッチングと2*|M| = |V|は同値。