[논문 리뷰] Complexity of Bondage and Reinforcement

Fu-Tao Hu, Jun‐Ming Xu|arXiv (Cornell University)|2011. 09. 08.

Advanced Graph Theory Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 3-만족성 문제를 각각으로 감소시켜, 세 가지 기본적인 그래프 지배 문제—유지, 전체 유지, 강화—의 NP-난이도를 입증한다. 일반 그래프에서 지배 수를 증가시키는 간선의 최소 수를 결정하는 문제(유지), 전체 지배 수를 증가시키는 문제(전체 유지), 또는 지배 수를 감소시키는 간선의 추가를 고려하는 문제(강화)는 계산적으로 다루기 어려운 것으로 밝혀진다.

ABSTRACT

Let $G=(V,E)$ be a graph. A subset $D\subseteq V$ is a dominating set if every vertex not in $D$ is adjacent to a vertex in $D$. A dominating set $D$ is called a total dominating set if every vertex in $D$ is adjacent to a vertex in $D$. The domination (resp. total domination) number of $G$ is the smallest cardinality of a dominating (resp. total dominating) set of $G$. The bondage (resp. total bondage) number of a nonempty graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination (resp. total domination) number of $G$. The reinforcement number of $G$ is the smallest number of edges whose addition to $G$ results in a graph with smaller domination number. This paper shows that the decision problems for bondage, total bondage and reinforcement are all NP-hard.

연구 동기 및 목표

• 일般 그래프에서 유지 수 결정 문제의 계산 복잡도를 규명하는 것.
• 전체 유지 수 결정 문제의 복잡도를 조사하여 전체 지배로 결과를 확장하는 것.
• 강화 수 문제를 분석하고 그 계산 난이도를 입증하는 것.
• 공통의 감소 프레임워크를 사용하여 세 가지 핵심 지배 관련 그래프 파라미터의 복잡도 분석을 통합하는 것.
• 유지, 전체 유지, 강화 문제 모두가 일반 그래프에서 NP-난이도임을 입증하여, 이들의 알고리즘 처리 가능성에 대한 열린 질문을 해결하는 것.

제안 방법

• 3-만족성 문제를 다항 시간 내에 그래프 유지 결정 문제로 감소시키는 방법을 사용한다.
• 변수, 절, 보조 정점으로 구성된 3-SAT 인스턴스에서 그래프 $G$를 구성하여 논리적 제약 조건을 인코딩한다.
• 폐쇄 이웃 $N[s]$와 지배 집합을 사용하여 그래프 내에서 변수와 절의 만족 조건을 모델링한다.
• 변수의 수가 $n$인 그래프에서 $\gamma(G) = n+1$임을 증명하여 기준 지배 수를 설정한다.
• 3-SAT 인스턴스가 만족 가능할 때이고 그때에만 어떤 간선 $e$에 대해 $\gamma(G+e) = n$임을 보여준다.
• 유사한 감소 기법을 전체 유지와 강화 문제에 적용하여, 논리적 만족 가능성과 그래프 파라미터 변화 간의 등가성을 입증한다.

실험 결과

연구 질문

• RQ1 일반 그래프에서 유지 수 결정 문제는 NP-난이도인가?
• RQ2 일반 그래프에서 전체 유지 수 결정 문제는 NP-난이도인가?
• RQ3 일반 그래프에서 강화 수 결정 문제는 NP-난이도인가?
• RQ4 3-만족성 문제를 유지, 전체 유지, 강화 문제로 다항 시간 감소시킬 수 있는가?
• RQ5 강화 문제의 해 존재 여부는 원래 3-SAT 인스턴스의 만족 가능성과 정확히 일치하는가?

주요 결과

• 유지 수 결정 문제는 3-SAT에서의 다항 감소를 통해 NP-난이도임을 입증하였다.
• 전체 유지 수 결정 문제 역시 NP-난이도이며, 이는 전체 지배로의 결과 확장이다.
• 강화 수 결정 문제 역시 NP-난이도이며, 지배 수를 감소시키기 위한 간선 추가의 계산 난이도를 입증한다.
• 3-SAT 인스턴스에서 구성된 그래프 $G$는 변수 수 $n$에 대해 $\gamma(G) = n+1$를 만족한다.
• 3-SAT 인스턴스가 만족 가능할 때이고 그때에만 강화 수 $r(G) = 1$임을 보여주며, 감소를 통해 등가성을 입증한다.
• 유지, 전체 유지, 강화 문제 모두가 일반 그래프에서 계산적으로 다루기 어려운(즉, NP-난이도) 것으로 밝혀졌다.