[논문 리뷰] A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems

Nicolás Bousquet, Amer E. Mouawad외 2명|arXiv (Cornell University)|2022. 04. 22.

Advanced Graph Theory Research인용 수 7

한 줄 요약

이 종합 검토는 토큰 이동 및 점프 규칙 하에서 독립 집합 및 (연결된) 독립 집합 재구성 문제의 매개변수 복잡도를 분석하며, 토큰 수 $k$ 를 매개변수로 삼는다. 기존 결과를 종합하고, 독립 집합 핵심과 무의미한 정점 식별과 같은 핵심 기법을 규명하며, 평면 및 유계-트리너비 그래프에서 고정 매개변수 가능성과 다항식 커널을 확립한다. 또한 이 분야의 주요 열린 문제를 제기한다.

ABSTRACT

A graph vertex-subset problem defines which subsets of the vertices of an input graph are feasible solutions. We view a feasible solution as a set of tokens placed on the vertices of the graph. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions of size $k$, whether it is possible to transform one into the other by a sequence of token slides (along edges of the graph) or token jumps (between arbitrary vertices of the graph) such that each intermediate set remains a feasible solution of size $k$. Many algorithmic questions present themselves in the form of reconfiguration problems: Given the description of an initial system state and the description of a target state, is it possible to transform the system from its initial state into the target one while preserving certain properties of the system in the process? Such questions have received a substantial amount of attention under the so-called combinatorial reconfiguration framework. We consider reconfiguration variants of three fundamental underlying graph vertex-subset problems, namely Independent Set, Dominating Set, and Connected Dominating Set. We survey both older and more recent work on the parameterized complexity of all three problems when parameterized by the number of tokens $k$. The emphasis will be on positive results and the most common techniques for the design of fixed-parameter tractable algorithms.

연구 동기 및 목표

• 토큰 수 $k$ 를 매개변수로 삼는 독립 집합 및 (연결된) 독립 집합 재구성 문제의 매개변수 복잡도를 체계적으로 조사하기.
• 독립 집합 핵심, 무의미한 정점 식별, 구조적 그래프 분해와 같은 핵심 알고리즘 기법을 규명하고 분석하기.
• 다양한 그래프 클래스와 재구성 규칙 하에서 재구성 문제의 다항식 가능성과 비가능성의 경계를 명확히 하기.
• 특히 토큰 이동 및 유계 경로너비/트리너비 그래프에 대해 열린 문제와 연구 방향을 부각하기.
• 재구성 복잡도가 기초 문제 복잡도와 어떻게 연결되는지 제시하고, 새로운 매개변수화 및 이동 규칙을 제안함으로써 향후 연구를 자극하기.

제안 방법

• 재구성 문제에 관한 기존 문헌을 종합적으로 분석하며, 고정 매개변수 가능 알고리즘(FPT) 및 커널화 기법에 초점을 맞춘다.
• 트리너비, 클리크너비, 유계 확장성과 같은 구조적 그래프 이론 도구를 활용하여 재구성 행동을 분석한다.
• 핵심 기법으로는 $k$-독립 집합 핵심의 구축과 평면 및 유계 차수 그래프에서 재구성 성질을 유지하는 무의미한 정점 식별을 포함한다.
• 기존의 기법을 활용해 기능성 기반 감소와 평면성 기반 감소를 통해 평면 그래프에서 CDSR-TJ에 대한 다항식 커널을 구성한다.
• 재구성 복잡도에 미치는 영향을 평가하기 위해 토큰 이동(TS)과 토큰 점프(TJ) 규칙을 구분하여 분석한다.
• 예를 들어 평면, $H$-미니어처 금지 그래프 등의 그래프 클래스 포함도를 활용하여 결과의 맥락을 제공하고 복잡도 경계를 규명한다.

실험 결과

연구 질문

• RQ1 유계 경로너비 그래프에서 CDSR-TJ는 고정 매개변수 가능한가?
• RQ2 평면 그래프에서 CDSR-TJ는 선형 커널을 갖는가?
• RQ3 유계 경로너비 또는 트리너비 그래프에서 DSR-TS는 $k$ 를 매개변수로 하여 고정 매개변수 가능한가?
• RQ4 평면 그래프 또는 유계 경로너비 그래프에서 CDSR-TS는 $k$ 를 매개변수로 하여 고정 매개변수 가능한가?
• RQ5 새로운 매개변수화 또는 일반화된 이동 규칙(예: 동시에 이동하는 토큰)이 다항식 가능 재구성 알고리즘을 이끌 수 있는가?

주요 결과

• CDSR-TJ는 독립 집합 핵심과 평면성 기반 무의미한 정점 식별을 통해 평면 그래프에서 다항식 커널을 갖는다.
• 5-유사성 그래프에서도 $k + \ell$ 를 매개변수로 하여 문제의 복잡도는 여전히 높으며, 이는 연결성 제약 조건이 복잡도를 크게 증가시킨다는 것을 시사한다.
• 유계 차수 그래프에서는 DSR-TS와 CDSR-TS 모두 FPT이다. 이는 정점 수가 $k\Delta$ 로 유계이기 때문이다.
• CDSR-TJ에 대해 평면 그래프에서의 부분그래프 커널은 존재하지 않으며, 비핵심 정점의 삭제가 재구성 시퀀스를 깨뜨리는 반례로 증명되었다.
• 기존 커널화 기법은 매우 특수화되어 있으며, 특히 평면 및 유계-트리너비 그래프에 대해서는 일반화되지 않았다.
• DSR-TS 및 CDSR-TS의 매개변수 복잡도는 대부분의 그래프 클래스에서 여전히 열려 있으며, 유계 경로너비 및 트리너비 그래프에서도 마찬가지로 그렇다.