En teoría de grafos, el complemento o inverso de un grafo "G:=(V,E)" es un grafo "G':=(V,E')", con el mismo conjunto de vértices y tal que dos vértices de "G' " son "adyacentes" si y sólo si no son adyacentes en "G".