単純無向グラフを考える。 [Def](マッチング) のどの2辺も互いに隣接しないとき、をのマッチングという。 マッチングに属する辺の両端点はでマッチングされているという。 点がマッチングに属する辺の端点のとき、はを飽和しているといい、を飽和点という。 …