[논문 리뷰] Erdös-Pósa Property of Obstructions to Interval Graphs

Amiri, Saeed Akhoondian, Kawarabayashi, Ken-Ichi외 2명|arXiv (Cornell University)|2016. 03. 08.

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

한 줄 요약

이 논문은 방향 그래프에 대한 위상 및 버터플라이 미니어에 대해 Erdös-Pósa 성질을 완전히 특성화하며, 강한 연결된 방향 그래프 H가 이 성질을 가진다는 것은 그 H가 충분히 큰 실린더 격자 또는 벽의 미니어임을 증명한다. 정점 순환적 방향 그래프(비자명한 강한 구성요소가 없는 그래프)에 대해서는 거의 완전한 구조적 조건—초동형성, 최대 차수 3 이하, 실린더 격자에의 통합 가능성을 제시하며, 방향 트리 분해를 활용한 알고리즘 프레임워크를 통해 이산 모델 또는 히트 세트를 다항 시간 내에 계산할 수 있다.

ABSTRACT

A classical result by Erdos and Posa states that there is a function $f: {\mathbb N} ightarrow {\mathbb N}$ such that for every $k$, every graph $G$ contains $k$ pairwise vertex disjoint cycles or a set $T$ of at most $f(k)$ vertices such that $G-T$ is acyclic. The generalisation of this result to directed graphs is known as Younger's conjecture and was proved by Reed, Robertson, Seymour and Thomas in 1996. This so-called Erdos-Posa-property can naturally be generalised to arbitrary graphs and digraphs. Robertson and Seymour proved that a graph $H$ has the Erdos-Posa-property if, and only if, $H$ is planar. In this paper we study the corresponding problem for digraphs. We obtain a complete characterisation of the class of strongly connected digraphs which have the Erdos-Posa-property (both for topological and butterfly minors). We also generalise this result to classes of digraphs which are not strongly connected. In particular, we study the class of vertex-cyclic digraphs (digraphs without trivial strong components). For this natural class of digraphs we obtain a nearly complete characterisation of the digraphs within this class with the Erdos-Posa-property. In particular we give positive and algorithmic examples of digraphs with the Erdos-Posa-property by using directed tree decompositions in a novel way.

연구 동기 및 목표

• 비방향 그래프에서의 고전적 Erdös-Pósa 정리를 방향 그래프로 확장하여, 위상 및 버터플라이 미니어에 대해 Erdös-Pósa 성질을 가진 방향 그래프를 특성화하는 것.
• 강한 연결된 방향 그래프에 대해 Erdös-Pósa 성질을 가진 그래프를 완전히 분류함으로써, Robertson과 Seymour의 평면성 특성화를 방향 설정으로 일반화하는 것.
• 비자명한 강한 구성요소가 없는 더 넓은 클래스인 정점 순환적 방향 그래프로 특성화를 확장하여, 구조적 및 알고리즘적 통찰을 제공하는 것.
• 방향 트리 분해를 활용한 새로운 알고리즘 프레임워크를 개발하여, 주어진 방향 그래프 H에 대해 k개의 이산 모델 또는 모든 이러한 모델을 파괴하는 작은 히트 세트를 다항 시간 내에 계산하는 것.

제안 방법

• 방향 트리 폭이 유한한 방향 그래프의 구조를 분석하기 위해 방향 트리 분해를 사용하여 하위그래프의 재귀적 분해 및 분석을 가능하게 하는 것.
• 실린더 벽(또는 격자)을 보편적 구조로 도입하고 적용함: 방향 그래프 H가 Erdös-Pósa 성질을 가진다는 것은 그 H가 충분한 순서를 가진 어떤 실린더 벽의 위상 또는 버터플라이 미니어임과 동치임을 보여주는 것.
• 노드 집합에 대한 사전순 최소성 및 최소성 원리를 활용하여 분해 과정에서 부적절하거나 비최소 구성이 발생하지 않도록 구조적 안정성을 확보하는 것.
• Lemma 5.8(이중 그래프의 l-클러스터)를 활용하여, 고립된 사이클과 경로가 존재하는 영역에서의 이산 모델 및 히트 세트를 처리하는 것.
• 분해된 하위그래프에서 사이클과 경로를 반복적으로 제거하여 히트 세트를 구성하며, 트리 폭 및 미니어 포함 조건에 대한 극한을 활용하여 정확성을 보장하는 것.
• Theorem 3.10(방향 트리 폭과 벽 포함성)을 활용하여 트리 폭이 임계값을 초과할 경우 k개의 이산 모델 존재를 유도하고, 그렇지 않으면 귀납법을 적용하여 작은 히트 세트를 찾는 것.

실험 결과

연구 질문

• RQ1 위상 및 버터플라이 미니어에 대해 어떤 강한 연결된 방향 그래프가 Erdös-Pósa 성질을 가질 수 있는가?
• RQ2 Erdös-Pósa 성질을 가진 평면 그래프에 대한 Robertson-Seymour 특성화를 방향 설정으로 확장할 수 있는가?
• RQ3 정점 순환적 방향 그래프(비자명한 강한 구성요소가 없는 그래프)에 대해 Erdös-Pósa 성질을 가진 그래프를 특성화하는 구조적 조건은 무엇인가?
• RQ4 방향 트리 분해를 활용하여 주어진 방향 그래프 H에 대해 k개의 이산 모델 또는 모든 이러한 모델을 파괴하는 작은 정점 히트 세트를 알고리즘적으로 계산할 수 있는가?
• RQ5 일반적인 방향 그래프 G에서 주어진 방향 그래프 H에 대해 k개의 이산 모델 존재 여부 또는 작은 히트 세트 존재 여부를 결정하는 계산 복잡도는 얼마인가?

주요 결과

• 위상 또는 버터플라이 미니어에 대해 Erdös-Pósa 성질을 가진 강한 연결된 방향 그래프 H는 충분히 큰 순서를 가진 어떤 실린더 벽의 미니어임과 동치이다.
• 위 조건를 만족하는 고정된 강한 연결된 방향 그래프 H에 대해, G 내에서 k개의 이산 위상(또는 버터플라이) 모델을 찾거나, 모든 이러한 모델에 대해 크기가 최대 f(k)인 히트 세트를 계산하는 다항 시간 알고리즘이 존재한다.
• 정점 순환적 방향 그래프의 경우, Erdös-Pósa 성질은 H가 위상 또는 버터플라이 임bedding에 대해 초동형적이며, 최대 차수가 3 이하이면서, 각 강한 구성요소가 어떤 실린더 벽의 미니어여야 함을 의미한다.
• 논문은 특정 예시를 제시한다: 두 개의 이산 사이클이 한 개의 간선으로 연결된 방향 그래프 H는 Erdös-Pósa 성질을 가지며, 임의의 k에 대해 히트 세트 크기가 h(|H| + k) 이하로 제한된다.
• 이 예시에 대해 k개의 이산 위상 모델을 찾거나, 크기가 최대 h(|H| + k)인 히트 세트를 계산하는 다항 시간 알고리즘이 존재한다.
• 방향 트리 분해와 구조적 분해를 기반으로 한 증명 기법은 새로운 것으로, 향후 방향 그래프 미니어 및 매개변수 알고리즘 연구에 독립적인 관심을 끌 수 있다.