[Def]近傍 グラフの任意の点集合に対して、のどれかの点に隣接する点の全体をにおけるの近傍と呼び、やと書く。 を2部分割を持つ2部グラフとするとき、の点がすべて飽和されるようなのマッチングを見つけることは応用上重要である。 [Thm]Hallの定理 を2部分…