补图

$G=<V,E>$, 以 $V$ 为顶点集, 以所有使 $G$ 成为完全图 $K_n$ 的添加边组成的集合为边集的图, 称为 $G$ 的补图, 记为 $\overline{G}$.

若 $G\cong \overline{G}$, 称 $G$ 为自补图.