[논문 리뷰] Weighted Efficient Domination in Classes of $P_6$-free Graphs

Andreas Brandstädt, T. Karthick|arXiv (Cornell University)|2015. 03. 20.

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

한 줄 요약

이 논문은 $P_6$-free 그래프의 두 하위류인 $(P_6, S_{1,1,3})$-free 및 $(P_6, \text{bull})$-free 그래프에서 최소 및 최대 가중 효율적 독립집합 문제에 대해 다항시간 알고리즘을 수립한다. 이러한 그래프의 제곱이 각각 $P_5$-free 또는 (홀, 배너)-free임을 증명하고, 이러한 클래스에서 최대 가중 독립집합 문제에 대해 알려진 다항시간 해법을 활용함으로써, 저자들은 $P_5$-free 그래프를 초월해 효율적 독립집합 결과를 확장한다.

ABSTRACT

In a graph $G$, an efficient dominating set is a subset $D$ of vertices such that $D$ is an independent set and each vertex outside $D$ has exactly one neighbor in $D$. The Minimum Weight Efficient Dominating Set (Min-WED) problem asks for an efficient dominating set of total minimum weight in a given vertex-weighted graph; the Maximum Weight Efficient Dominating Set (Max-WED) problem is defined similarly. The Min-WED/Max-WED is known to be $NP$-complete for $P_7$-free graphs, and is known to be polynomial time solvable for $P_5$-free graphs. However, the computational complexity of the Min-WED/Max-WED problem is unknown for $P_6$-free graphs. In this paper, we show that the Min-WED/Max-WED problem can be solved in polynomial time for two subclasses of $P_6$-free graphs, namely for ($P_6,S_{1,1,3}$)-free graphs, and for ($P_6$, bull)-free graphs.

연구 동기 및 목표

• 최소 및 최대 가중 효율적 독립집합 문제(Min-WED/Max-WED)의 복잡도 상태가 $P_6$-free 그래프에서 열려 있는 문제를 해결하기 위해.
• $P_5$-free 그래프를 초월해 특정 $P_6$-free 하위류로 Min-WED/Max-WED의 다항시간 해법을 확장하기 위해.
• 효율적 독립집합을 갖는 $(P_6, S_{1,1,3})$-free 그래프의 제곱이 $P_5$-free임을 입증하기 위해.
• 효율적 독립집합을 갖는 $(P_6, \text{bull})$-free 그래프의 제곱이 (홀, 배너)-free임을 입증하기 위해.
• $P_5$-free 및 (홀, 배너)-free 그래프에서 최대 가중 독립집합(MWIS)에 대한 알려진 다항시간 알고리즘을 활용하여, 대상 클래스에서 Min-WED/Max-WED를 해결하기 위해.

제안 방법

• 입력 그래프 $G^2$의 최대 가중 독립집합(MWIS) 문제로 Min-WED/Max-WED 문제를 축소한다.
• 효율적 독립집합을 갖는 $(P_6, S_{1,1,3})$-free 그래프의 경우, $G^2$가 $P_5$-free임을 증명하여 $P_5$-free MWIS 알고리즘의 적용을 가능하게 한다.
• 효율적 독립집합을 갖는 $(P_6, \text{bull})$-free 그래프의 경우, $G^2$가 (홀, 배너)-free임을 입증하여 (홀, 배너)-free MWIS 알고리즘의 적용을 가능하게 한다.
• 이전 연구에서 제시된 정리 1을 적용한다. 이 정리는 MWIS가 $G^2$에서 시간 $T(|G^2|)$에 해결 가능할 경우, Min-WED/Max-WED가 시간 $O(\min\{nm+n,n^{\mu}\} + T(|G^2|))$에 해결 가능하다고 한다.
• 구조적 그래프 이론을 활용하여, (홀, 배너)-free 그래프의 원소가 거의 순환적임을 보여주며, 이는 알려진 MWIS 결과의 적용을 가능하게 한다.
• 원소 그래프와 거의-$\mathcal{C}$ 그래프에 관한 정리들을 활용하여, MWIS 해법을 원소 그래프에서 일반적인 (홀, 배너)-free 그래프로 확장한다.

실험 결과

연구 질문

• RQ1 $(P_6, S_{1,1,3})$-free 그래프에서 Min-WED/Max-WED 문제는 다항시간으로 해결 가능한가?
• RQ2 $(P_6, \text{bull})$-free 그래프에서 Min-WED/Max-WED 문제는 다항시간으로 해결 가능한가?
• RQ3 효율적 독립집합을 갖는 $(P_6, S_{1,1,3})$-free 그래프의 제곱이 $P_5$-free임을 입증할 수 있는가?
• RQ4 효율적 독립집합을 갖는 $(P_6, \text{bull})$-free 그래프의 제곱이 (홀, 배너)-free임을 입증할 수 있는가?
• RQ5 MWIS 문제로의 축소가 이러한 클래스에서 Min-WED/Max-WED에 대한 다항시간 알고리즘을 제공하는가?

주요 결과

• $(P_6, S_{1,1,3})$-free 그래프에서 Min-WED/Max-WED 문제는 다항시간으로 해결 가능하며, 시간 복잡도는 $O(n^{2}m)$이다.
• $(P_6, \text{bull})$-free 그래프에서 Min-WED/Max-WED 문제는 다항시간으로 해결 가능하며, 시간 복잡도는 $O(n^{2}m)$이다.
• 모든 효율적 독립집합을 갖는 $(P_6, S_{1,1,3})$-free 그래프 $G$에 대해, 제곱 그래프 $G^2$는 $P_5$-free이다.
• 모든 효율적 독립집합을 갖는 $(P_6, \text{bull})$-free 그래프 $G$에 대해, 제곱 그래프 $G^2$는 (홀, 배너)-free이다.
• (홀, 배너)-free 그래프에서 최대 가중 독립집합(MWIS) 문제는 $O(n^{2}m)$ 시간에 해결 가능하며, 이는 Min-WED/Max-WED 문제의 동일한 시간 복잡도로의 해결을 가능하게 한다.
• 증명 과정에서 원소 그래프의 모든 원소가 거의 순환적임을 입증함으로써, 원소 그래프 및 원소에 관한 알려진 정리들을 통한 MWIS 결과의 타당성을 뒷받침한다.