完全二分图是一种特殊的二分图，可以把图中的顶点分成两个集合，使得第一个集合中的所有顶点都与第二个集合中的所有顶点相连。
定义.完全二分图formula_1是一个二分图，使得对于任何两个顶点formula_2和formula_3，formula_4都是formula_5中的一条边。formula_6且formula_7的完全二分图记为formula_8。