2部グラフ
提供: miniwiki
ファイル:Simple-bipartite-graph.svg
循環の無い2部グラフの例
数学、とくにグラフ理論における2部グラフ（にぶぐらふ、bipartite graph）は、頂点集合を二つの部分集合に分割して各集合内の頂点同士の間には辺が無いようにできるグラフのことである。このような頂点の集合を独立集合といい、より一般にn個の独立頂点集合に分割可能なグラフのことをn部グラフ (n-partite graph) という。
完全2部グラフは、二つの頂点集合V1, V2に分割したとき、V1同士・V2同士の頂点間には辺が存在しないが、V1とV2間の任意の2点間に辺が存在するグラフのことである。m頂点の頂点集合とn頂点の頂点集合に分割されるような完全2部グラフのことをKm, nとかく。
隣り合った頂点同士を異なる色で塗ることを（頂点）彩色という。よって、n部グラフはn点彩色可能なグラフである。同様に、隣り合った辺同士を異なる色で塗ることを辺彩色という。
二部グラフの辺集合Mがマッチングであるとは、Mに属するどの2辺も隣接していないと言うことである。グラフGの最大マッチングとは、GのマッチングMのうち、辺の数が最大のものである。また、全ての頂点を含むマッチングのことを完全マッチングという。
性質
- 2部グラフの最大マッチングは多項式時間で求められる。最大フロー問題を参照。
- 木は、2部グラフである。
- 閉路グラフは頂点が偶数個のときに限り2部グラフである。
- Königの定理：2部グラフにとっては、最大マッチングの辺数が最小点被覆の点数と等しい。