여 그래프

페테르센 그래프(左)와 그 여 그래프(右)

그래프 이론에서 여 그래프(餘graph, 틀:Llang)는 임의의 그래프에서 두 점이상의 경우 이들 사이에 변이 존재하면 변을 제거하고, 변이 없었으면 변이 추가되는 일대일 대응하는 그래프이다.

정의

그래프 $G$의 여 그래프 $\overline{G}$는 다음과 같다.

• $V(G)=V(\overline{G})$
• $uv\in E(\overline{G})⟺uv\in ̸E(G)$

성질

여 그래프의 여 그래프는 원래 그래프이다.

$G\cong \overline{\overline{G}}$

그래프의 독립집합은 여 그래프의 클릭에 대응한다.

스스로의 여 그래프와 동형인 그래프를 자기 여 그래프(틀:Llang)라고 한다. $n$개의 꼭짓점을 갖는 자기 여 그래프의 수는 다음과 같다 ($n=1,2,\dots$).

1, 0, 0, 1, 2, 0, 0, 10, 36, 0, 0, 720, … 틀:OEIS

예를 들어, 다음과 같은 그래프들이 자기 여 그래프이다.

• 자명 그래프 $K_1$
• 경로 그래프 $P_4$
• 순환 그래프 $C_5$
• 라도 그래프

가능한 변의 수 $n(n-1)/2$가 짝수여야 하므로, 유한 자기 여 그래프의 꼭짓점의 수는 $n\equiv 0,1(\mathrm{mod}4)$이다.

외부 링크

• 틀:매스월드