# Complement graph

Given an undirected graph or directed graph $G = (V,E)$. We define the complement graph

$$G^C = (V, \{(u,v) \in V \times V \ \vert \ (u,v) \not \in E\}).$$