Complementgraaf

In de grafentheorie is de complementgraaf van een enkelvoudige graaf weer een enkelvoudige graaf , met dezelfde knopen als waarin een zijde voorkomt dan en slechts dan als die niet in voorkomt. De complementgraaf van een graaf wordt vaak aangeduid met .

Petersen-graaf links met zijn complementgraaf

Formeler is de complementgraaf van met knopen en zijden , gegeven door het paar , waarvoor geldt:

=

De complementgraaf van een complementgraaf is de oorspronkelijke graaf. Een graaf die isomorf is met zijn complementgraaf noemt men zelf-complementair. De complementgraaf van een volledige graaf is een lege graaf, die alleen uit knopen bestaat en geen zijden heeft.