完全二部图

若 $G$ 是简单二部图, $V_1$ 中每个顶点均与 $V_2$ 中的所有顶点相邻, 则称 $G$ 为完全二部图, 记为 $K_{r,s}$, $r=|V_1|,s=|V_2|$.