完全2部グラフ

完全2部グラフ（かんぜんにぶグラフ、英: complete bipartite graph）は、グラフ理論において、2部グラフのうち特に第1の集合に属するそれぞれの頂点から第2の集合に属する全ての頂点に辺が伸びているものをいう。bicliqueとも。
定義.
完全2部グラフ formula_1 は2部グラフであり、任意の2つの頂点 formula_2 と formula_3 について formula_4 内の辺 formula_5 が存在する。完全2部グラフのパーティションの大きさが formula_6 と formula_7 であるとき、これを formula_8 と表記する。