[논문 리뷰] Efficient Domination for Some Subclasses of $P_6$-Free Graphs in Polynomial Time

Andreas Brandstädt, Elaine M. Eschen외 1명|arXiv (Cornell University)|2015. 02. 28.

Advanced Graph Theory Research참고 문헌 11인용 수 4

한 줄 요약

이 논문은 특정한 $P_6$-free 그래프의 부분류에서 효율적 독립집합(ED) 및 가중치 효율적 독립집합(WED) 문제에 대해 다항시간 알고리즘을 수립한다. 이는 이러한 그래프의 제곱이 특정 조건 하에서 순환적 또는 완전한 그래프가 되는 것으로 증명함으로써 달성된다. 주요 기여는 $(P_6, \text{house})$-free 및 $(P_6, \text{bull})$-free 그래프에서 ED/WED 문제가 다항시간 내에 해결 가능하다는 것을 보이며, $(P_6, \text{house, hole, domino})$-free 그래프의 경우에도 다항시간 해법을 제공함으로써 $P_6$-free 그래프의 복잡도 지형도에서 열려 있던 케이스를 해결한다.

ABSTRACT

Let $G$ be a finite undirected graph. A vertex {\em dominates} itself and all its neighbors in $G$. A vertex set $D$ is an {\em efficient dominating set} (\emph{e.d.}\ for short) of $G$ if every vertex of $G$ is dominated by exactly one vertex of $D$. The \emph{Efficient Domination} (ED) problem, which asks for the existence of an e.d.\ in $G$, is known to be \NP-complete even for very restricted graph classes such as $P_7$-free chordal graphs. The ED problem on a graph $G$ can be reduced to the Maximum Weight Independent Set (MWIS) problem on the square of $G$. The complexity of the ED problem is an open question for $P_6$-free graphs and was open even for the subclass of $P_6$-free chordal graphs. In this paper, we show that squares of $P_6$-free chordal graphs that have an e.d. are chordal; this even holds for the larger class of ($P_6$, house, hole, domino)-free graphs. This implies that ED/WeightedED is solvable in polynomial time for ($P_6$, house, hole, domino)-free graphs; in particular, for $P_6$-free chordal graphs. Moreover, based on our result that squares of $P_6$-free graphs that have an e.d. are hole-free and some properties concerning odd antiholes, we show that squares of ($P_6$, house)-free graphs (($P_6$, bull)-free graphs, respectively) that have an e.d. are perfect. This implies that ED/WeightedED is solvable in polynomial time for ($P_6$, house)-free graphs and for ($P_6$, bull)-free graphs (the time bound for ($P_6$, house, hole, domino)-free graphs is better than that for ($P_6$, house)-free graphs). The complexity of the ED problem for $P_6$-free graphs remains an open question.

연구 동기 및 목표

• 특정한 $P_6$-free 그래프 및 그 관련 부분류에 대해 효율적 독립집합(ED) 문제의 복잡도 상태를 해결하기 위해.
• 효율적 독립집합을 가진 $P_6$-free 그래프의 제곱이 어떤 조건에서 순환적 또는 완전한 그래프가 되는지 규명하기 위해.
• 그래프 제곱의 구조적 성질을 활용하여 ED/WED 문제의 다항시간 해법을 기존 그래프 클래스를 초월해 확장하기 위해.
• 다음과 같은 분할 결과를 제시함으로써 $P_k$-free 순환 그래프에 대한 분류를 완성하기 위해: $P_7$-free 순환 그래프에서는 NP-완전이며, $P_6$-free 순환 그래프에서는 다항시간으로 해결 가능하다.
• 효율적 독립집합을 가진 $P_6$-free 그래프의 제곱에서 $C_4$ 실현 및 홀수 반완전 그래프의 구조를 분석하여 알고리즘적 감소를 가능하게 하기 위해.

제안 방법

• 그래프 $G$에서 ED 문제를 $G^2$, 즉 $G$의 제곱에서의 최대 무게 독립집합(MWIS) 문제로 환원하기.
• 효율적 독립집합을 가진 $(P_6, \text{HHD})$-free 그래프에서 $G^2$가 순환적임을 증명함으로써, 기존 알고리즘을 통해 다항시간 MWIS를 해결할 수 있음을 보장하기.
• $P_6$-free 그래프에서 효율적 독립집합을 가진 경우 $G^2$가 홀을 포함하지 않음을 확립함으로써, 완전성에 대한 핵심 단계를 확보하기.
• $G^2$ 내의 $C_4$ 실현을 분석하여, $G$가 $P_6$-free이면서 효율적 독립집합을 가진 경우 $G^2$ 내의 홀수 반완전 그래프는 매우 제한된 구조를 가져야 함을 보임.
• 강력한 완전 그래프 정리(Strong Perfect Graph Theorem)를 적용하여, $G$가 $(P_6, \text{house})$-free 또는 $(P_6, \text{bull})$-free이면서 효율적 독립집합을 가진 경우 $G^2$가 완전하다는 결론을 이끌어내기.
• 완전한 그래프에서 MWIS 문제가 다항시간으로 해결 가능하다는 사실을 활용하여, 해당 그래프 클래스에서 ED/WED 문제의 다항시간 알고리즘을 유도하기.

실험 결과

연구 질문

• RQ1 효율적 독립집합 문제는 $P_6$-free 순환 그래프에서 다항시간 내에 해결 가능한가?
• RQ2 어떤 조건에서 효율적 독립집합을 가진 $P_6$-free 그래프의 제곱이 순환적 또는 완전한 그래프가 되는가?
• RQ3 $P_6$-free 그래프에서 효율적 독립집합을 가진 경우 $G^2$ 내의 $C_4$ 실현은 어떤 구조적 제약을 가짐이 있는가?
• RQ4 $(P_6, \text{house})$-free 및 $(P_6, \text{bull})$-free 그래프에서 ED 문제는 다항시간 내에 해결 가능한가?
• RQ5 모든 $P_6$-free 그래프에서 효율적 독립집합을 가진 경우 $G^2$가 완전하다는 추측은 참인가?

주요 결과

• $(P_6, \text{house, hole, domino})$-free 그래프에서 $G$가 효율적 독립집합을 가진다면 $G^2$는 순환적임을 보이며, 이는 순환 그래프에서 MWIS 문제의 다항시간 해법을 통해 ED/WED 문제의 다항시간 해법을 가능하게 한다.
• $P_6$-free 그래프에서 효율적 독립집합을 가진 경우 $G^2$는 홀을 포함하지 않으며, 이는 완전성의 필수 조건이지만 충분 조건은 아님.
• $(P_6, \text{house})$-free 그래프에서 효율적 독립집합을 가진 경우 $G^2$는 홀과 홀수 반완전 그래프를 모두 포함하지 않으며, 강력한 완전 그래프 정리에 의해 완전하다.
• $(P_6, \text{bull})$-free 그래프에서 효율적 독립집합을 가진 경우 $G^2$는 홀수 반완전 그래프를 포함하지 않으며, 이는 $G^2$가 완전하다는 것을 의미한다.
• 효율적 독립집합(ED) 및 가중치 효율적 독립집합(WED) 문제는 $(P_6, \text{house})$-free 및 $(P_6, \text{bull})$-free 그래프에서 $G^2$의 완전성 덕분에 다항시간 내에 해결 가능하다.
• 일반적인 $P_6$-free 그래프에서 ED 문제의 복잡도는 여전히 열려 있으나, 본 논문은 이러한 그래프에서 $G^2$가 완전하다는 추측을 지지하는 강력한 구조적 증거를 제공한다.