Zu einem Graphen G = ( V , E ) {\displaystyle {}G=(V,E)} nennt man den Graphen ( V , P 2 ( V ) ∖ E ) {\displaystyle {}(V,{\mathfrak {P}}_{2}\,(V)\setminus E)} den komplementären Graphen (oder Komplementärgraph). Er wird mit G c {\displaystyle {}G^{c}} bezeichnet.
