[논문 리뷰] New Polynomial Cases of the Weighted Efficient Domination Problem

Andreas Brandstädt, Martin Milanič외 1명|arXiv (Cornell University)|2013. 04. 23.

Advanced Graph Theory Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $P_7$-free 및 $2P_3$-free 그래프의 여러 부분류, 특히 $(P_2+P_4)$-free, $P_5$-free, $P_6$-free 그래프에서 가중치 효율적 독립집합 문제(WED)에 대한 다항시간 알고리즘을 제시한다. 또한 최대 차수 2인 정점들만을 사용하여 최소 가중치 효율적 독립집합을 찾는 것이 다항시간 내에 해결 가능하다는 것을 보이며, 이는 최대 차수 3인 평면 이분 그래프에서 표준 ED 문제의 NP-완전성과 대비된다.

ABSTRACT

Let G be a finite undirected graph. A vertex dominates itself and all its neighbors in G. A vertex set D is an efficient dominating set (e.d. for short) of G if every vertex of G is dominated by exactly one vertex of D. The 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. In particular, the ED problem remains NP-complete for 2P3-free graphs and thus for P7-free graphs. We show that the weighted version of the problem (abbreviated WED) is solvable in polynomial time on various subclasses of 2P3-free and P7-free graphs, including (P2+P4)-free graphs, P5-free graphs and other classes. Furthermore, we show that a minimum weight e.d. consisting only of vertices of degree at most 2 (if one exists) can be found in polynomial time. This contrasts with our NP-completeness result for the ED problem on planar bipartite graphs with maximum degree 3.

연구 동기 및 목표

• 가중치 효율적 독립집합 문제(WED)가 다항시간 내에 해결 가능한 새로운 그래프 클래스를 규명하는 것.
• 이미 연구된 트리 및 코코매 pariabilty 그래프와 같은 클래스를 초월하여 WED 문제의 알려진 다항시간 가능 사례를 확장하는 것.
• 최대 차수 2인 정점들로만 구성된 효율적 독립집합을 찾는 문제의 복잡도를 조사하는 것.
• 기존의 NP-완전성 결과를 강화하여, 최대 차수 3인 평면 이분 그래프에서 ED 문제가 임의의 둘레를 가진 그래프에서도 여전히 NP-완전하다는 것을 보여주는 것.

제안 방법

• 저자들은 입력 그래프 클래스를 명시적으로 식별할 필요가 없는 강력한 다항시간 알고리즘을 설계하였으며, 이 알고리즘은 WED 문제를 해결하거나 그래프가 목표 클래스에 속하지 않음을 탐지한다.
• 특정 $P_k$-free 및 $2P_3$-free 그래프 클래스에서 WED 문제를 경로 및 사이클의 구조적 특징에 기반한 동적 프로그래밍 또는 구조적 분해 기법으로 환원한다.
• 차수 2 제한된 효율적 독립집합의 경우, 유계 차수를 가진 유도 그래프 구조에서 유사 매칭 문제로 환원한다.
• One-In-Three 3SAT 문제로부터의 환원을 통해 NP-완전성을 증명하였으며, 임의의 $g \geq 3$에 대해 둘레가 적어도 $g$인 최대 차수 3인 평면 이분 그래프를 구성하였다.
• 구성 과정에서 변수 노드는 길이 $6m$의 장거리 경로로, 간선은 길이 $6g+1$의 경로로 대체되어 평면성과 차수 제약 조건을 유지한다.

실험 결과

연구 질문

• RQ1 $(P_2+P_4)$-free 그래프에서 가중치 효율적 독립집합 문제를 다항시간 내에 해결할 수 있는가?
• RQ2 최대 차수 2인 정점들만을 사용하여 최소 가중치 효율적 독립집합을 찾는 다항시간 알고리즘이 존재하는가?
• RQ3 최대 차수 3인 평면 이분 그래프에서 ED 문제의 NP-완전성은 임의의 둘레를 가진 그래프로까지 확장되는가?
• RQ4 입력 그래프가 목표 클래스에 속해 있음을 사전에 인식할 필요 없이, $P_7$-free 및 $2P_3$-free 그래프 클래스에 대한 WED 문제를 위한 강력한 알고리즘을 설계할 수 있는가?

주요 결과

• WED 문제는 $(P_2+P_4)$-free 그래프, $P_5$-free 그래프, $P_7$-free 및 $2P_3$-free 그래프의 다른 부분류에서 다항시간 내에 해결 가능하다.
• 최대 차수 2인 정점들만을 사용하여 최소 가중치 효율적 독립집합을 찾는 것은 다항시간 내에 해결 가능하며, 이는 일반적인 ED 문제가 최대 차수 3인 평면 이분 그래프에서 NP-완전하다는 점과 대비된다.
• 임의의 둘레 $g \geq 3$를 가진 최대 차수 3인 평면 이분 그래프에서 ED 문제가 여전히 NP-완전하다는 것이 One-In-Three 3SAT 문제로부터의 환원을 통해 입증되었다.
• 제안된 알고리즘은 강력하다: 입력 그래프가 목표 클래스에 속해 있음을 사전에 인식할 필요 없이, 실행 중에 소속 여부를 판단한다.
• 환원 그래프 $G(F)$의 구성은 평면성, 최대 차수 3, 둘레 최소 $g$를 보장하며, 이러한 조건 하에서 ED 문제의 NP-완전성 유지된다.