[논문 리뷰] Digraph Decompositions and Monotonicity in Digraph Searching

Stephan Kreutzer, Sebastian Ordyniak|ArXiv.org|2008. 02. 15.

Advanced Graph Theory Research참고 문헌 17인용 수 22

한 줄 요약

이 논문은 방향 그래프에서 유령이 되어 움직이는 도둑 또는 빠르게 움직이는 도둑이 있는 죄수와 도둑 게임의 두 변형이 비단조화적임을 증명함으로써, 오랫동안 남아있던 방향 그래프 탐색의 열린 문제를 해결한다. 저자들은 단조 전략이 비단조화 전략보다 훨씬 더 많은 경찰이 필요로 함을 보여주는 명시적 반례를 제시하며, 또한 DAG-너비가 매우 낮은 그래프에서도 많은 자연스러운 문제들이 여전히 NP-완전하다는 것을 입증함으로써, 방향 그래프 분해의 알고리즘적 적용 범위를 제한한다.

ABSTRACT

We consider monotonicity problems for graph searching games. Variants of these games - defined by the type of moves allowed for the players - have been found to be closely connected to graph decompositions and associated width measures such as path- or tree-width. Of particular interest is the question whether these games are monotone, i.e. whether the cops can catch a robber without ever allowing the robber to reach positions that have been cleared before. The monotonicity problem for graph searching games has intensely been studied in the literature, but for two types of games the problem was left unresolved. These are the games on digraphs where the robber is invisible and lazy or visible and fast. In this paper, we solve the problems by giving examples showing that both types of games are non-monotone. Graph searching games on digraphs are closely related to recent proposals for digraph decompositions generalising tree-width to directed graphs. These proposals have partly been motivated by attempts to develop a structure theory for digraphs similar to the graph minor theory developed by Robertson and Seymour for undirected graphs, and partly by the immense number of algorithmic results using tree-width of undirected graphs and the hope that part of this success might be reproducible on digraphs using a directed tree-width. Unfortunately the number of applications for the digraphs measures introduced so far is still small. We therefore explore the limits of the algorithmic applicability of digraph decompositions. In particular, we show that various natural candidates for problems that might benefit from digraphs having small directed tree-width remain NP-complete even on almost acyclic graphs.

연구 동기 및 목표

• 방향 그래프에서 은폐된, 움직이지 않는 도둑이 있는 죄수와 도둑 게임이 단조형인지 여부라는 열린 문제를 해결하기 위해.
• 특히 DAG-너비와 같은 너비 측정치와 관련하여 방향 그래프 분해의 알고리즘적 타당성의 한계를 조사하기 위해.
• 작은 방향 너비를 가진 방향 그래프에서 자연스러운 문제들(예: 그래프 그룬디 번호 매기기, 커널)이 여전히 다항 시간 내에 해결 가능한지 여부를 판단하기 위해.
• 이러한 게임에서 단조성의 비용이 유계가 아니며, 따라서 단조 전략에서의 상수 요율 근사 가능성에 도전하는 것을 입증하기 위해.

제안 방법

• 특수하게 설계된 방향 그래프를 사용하여 두 게임 변형 모두에서 비단조화성을 보여주는 명시적 반례를 구성함으로써.
• 기존의 알려진 NP-완전 문제들(3-색칠 문제, FAS, 그래프 그룬디 번호 매기기, 커널)을 유계 DAG-너비를 가진 방향 그래프로 감소시켜 비타당성을 입증함으로써.
• 특정 하위구조(예: 변수 기능과 절 순환)에서 두 경찰이 단조 전략으로 승리할 수 있음을 설계하여 DAG-너비를 유계로 제한함으로써.
• 예: 순환과 비순환 부분그래프 등의 그래프 성분의 구조적 분석을 통해, 구성된 그래프가 최대 DAG-너비 2를 가짐을 증명함으로써.
• 게임 이론적 추론을 적용하여, 비단조화 전략이 필요로 하는 경찰 수 측면에서 단조 전략보다 뛰어나다는 것을 보임으로써.
• 기존의 너비 측정치에 대한 Cops and Robber 게임을 통한 특성화를 활용하여, 게임의 단조성과 분해 이론을 연결함으로써.

실험 결과

연구 질문

• RQ1 방향 그래프에서 은폐된, 움직이지 않는 도둑이 있는 죄수와 도둑 게임은 단조형인가?
• RQ2 방향 그래프에서 보이는, 빠르게 움직이는 도둑이 있는 죄수와 도둑 게임은 단조형인가?
• RQ3 그래프 그룬디 번호 매기기 및 커널 문제와 같은 문제들이 유계 DAG-너비를 가진 방향 그래프에서 다항 시간 내에 해결 가능한가?
• RQ4 이러한 방향 그래프 게임에서 단조성 비용(추가로 필요한 경찰 수)에 상수 상界가 존재하는가?
• RQ5 방향 그래프 분해가 연결성과 해밀턴 회로 이외의 자연스러운 문제에 대해 얼마나 많은 알고리즘적 타당성을 제공하는가?

주요 결과

• 은폐된, 움직이지 않는 도둑이 있는 방향 그래프에서의 죄수와 도둑 게임은 명시적 반례를 통해 비단조화적임을 입증함.
• 보이는, 빠르게 움직이는 도둑이 있는 방향 그래프에서의 죄수와 도둑 게임 역시 비단조화적임을 보이며, 유사한 반례를 통해 단조성 비용이 무한정 증가함을 입증함.
• 피드백 아크 집합(FAS) 문제는 DAG-너비가 4 이하인 방향 그래프에서 NP-완전함.
• 그래프 그룬디 번호 매기기 문제는 DAG-너비가 2 이하인 방향 그래프에서 NP-완전함.
• 커널 문제는 DAG-너비가 2인 방향 그래프에서 NP-완전함.
• 다양한 자연스러운 문제들이 거의 비순환적인 방향 그래프(예: DAG-너비 ≤ 2)에서도 여전히 NP-완전함을 보이며, 이는 방향 너비 측정치의 알고리즘적 능력에 근본적인 한계가 있음을 시사함.