[논문 리뷰] The complexity of dominating set reconfiguration

Arash Haddadan, Takehiro Ito외 5명|arXiv (Cornell University)|2015. 03. 03.

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

한 줄 요약

이 논문은 기저 수량 제약 조건 하에서 그래프 내의 지배 집합을 재구성하는 데 필요한 복잡도를 조사하며, 평면 그래프, 유계 대역폭 그래프, 스플릿 그래프, 이분 그래프에 대해서는 문제의 PSPACE-완전성을 증명한다. 또한, 코그래프, 트리, 간격 그래프에 적용 가능한 일반적인 선형 시간 알고리즘 프레임워크를 제안하여 재구성 시퀀스가 O(n) 단계 내에 구성 가능하다는 것을 보이며, 이는 이 문제에 대해 다항시간으로 해결 가능한 그래프 클래스와 불가능한 그래프 클래스 사이의 명확한 경계를 설정한다.

ABSTRACT

Suppose that we are given two dominating sets $D_s$ and $D_t$ of a graph $G$ whose cardinalities are at most a given threshold $k$. Then, we are asked whether there exists a sequence of dominating sets of $G$ between $D_s$ and $D_t$ such that each dominating set in the sequence is of cardinality at most $k$ and can be obtained from the previous one by either adding or deleting exactly one vertex. This problem is known to be PSPACE-complete in general. In this paper, we study the complexity of this decision problem from the viewpoint of graph classes. We first prove that the problem remains PSPACE-complete even for planar graphs, bounded bandwidth graphs, split graphs, and bipartite graphs. We then give a general scheme to construct linear-time algorithms and show that the problem can be solved in linear time for cographs, trees, and interval graphs. Furthermore, for these tractable cases, we can obtain a desired sequence such that the number of additions and deletions is bounded by $O(n)$, where $n$ is the number of vertices in the input graph.

연구 동기 및 목표

• 다양한 그래프 클래스에 걸쳐 기저 수량 제한 k 하에서 지배 집합 재구성의 계산 복잡도를 규명하는 것.
• PSPACE-완전 사례와 다항시간으로 해결 가능한 사례를 구분하는 구조적 성질을 규명하는 것.
• 다항시간으로 해결 가능한 그래프 클래스에서 효율적인 재구성 시퀀스를 계산하기 위한 일반적인 알고리즘 프레임워크를 개발하는 것.
• 이러한 다항시간으로 해결 가능한 경우에 대해 재구성 시퀀스 길이의 날카로운 경계를 설정하는 것.

제안 방법

• 재구성 가능성을 유지하면서 NP-난해 지배 집합 인스턴스로의 축소를 통한 PSPACE-완전성 증명.
• 코그래프, 트리, 간격 그래프에서의 정규 지배 집합을 식별하는 기반으로 일반적인 알고리즘 체계 제안.
• 간격 그래프의 경우, 간격 표현과 오른쪽 끝점 기반 정점 레이블링을 사용하여 정규 지배 집합을 구성.
• 트리의 경우, 닫힌 이웃에서 오른쪽 끝 정점 선택 전략을 사용한 왼쪽에서 오른쪽으로의 탐욕적 레이블링 전략 적용.
• 코그래프의 경우, 모듈라 분해와 P4-무구조를 활용하여 정규 지배 집합 정의.
• 임의의 유효한 지배 집합에서 정규 집합으로의 재구성 시퀀스가 O(n)의 연산으로 수행 가능함을 입증하여 선형 시간 해결 가능성 확보.

실험 결과

연구 질문

• RQ1 평면 그래프, 유계 대역폭 그래프, 스플릿 그래프, 이분 그래프에서 지배 집합 재구성의 복잡도는 무엇인가?
• RQ2 정규 지배 집합을 갖는 그래프 클래스에서 재구성에 대한 일반적인 알고리즘 프레임워크를 설계할 수 있는가?
• RQ3 코그래프, 트리, 간격 그래프와 같은 다항시간으로 해결 가능한 그래프 클래스에서 재구성 시퀀스 길이가 O(n) 이하로 제한되는가?
• RQ4 그래프의 어떤 구조적 성질이 재구성 문제의 PSPACE-완전성 또는 선형 시간 해결 가능성에 영향을 미치는가?

주요 결과

• 지배 집합 재구성 문제는 평면 그래프, 유계 대역폭 그래프, 스플릿 그래프, 이분 그래프에 대해서조차 PSPACE-완전하다.
• 코그래프, 트리, 간격 그래프에 대해 일반적인 선형 시간 알고리즘 프레임워크를 개발하여 효율적인 재구성 시퀀스 계산을 가능하게 하였다.
• 코그래프, 트리, 간격 그래프의 경우, 크기가 k 이하인 두 지배 집합 사이의 임의의 유효한 재구성 시퀀스를 O(n) 단계 내에 구성할 수 있다.
• 간격 그래프의 정규 지배 집합은 간격 끝점 기반 레이블링을 통해 구성되었으며, 재구성 가능성을 통해 최소성과 보편성이 입증되었다.
• 코그래프, 트리, 간격 그래프의 초클래스인 코르달 그래프에 대해서도 문제의 PSPACE-완전성 유지됨을 통해, 간격 그래프와 그 초클래스 사이에 날카로운 복잡도 경계가 존재함을 시사한다.
• 모든 다항시간으로 해결 가능한 경우에 대해 재구성 시퀀스 길이가 O(n) 이하로 제한되며, 이는 정점 연산 기준 최적 또는 근접 최적의 효율성을 의미한다.