[논문 리뷰] On the pathwidth of almost semicomplete digraphs

Kenta Kitsunai, Yasuaki Kobayashi외 1명|arXiv (Cornell University)|2015. 07. 07.

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

한 줄 요약

이 논문은 각 정점이 최대 $h$개의 비이웃을 갖는, 반완전 그래프의 일반화인 $h$-반완전 그래프에 대해 경로 폭을 계산하는 고정 매개변수 다항식 시간 알고리즘을 제시한다. 이 알고리즘의 시간 복잡도는 매개변수 $k$에 대해 $(h+2k+1)^{2k}n^{O(1)}$ 이다. 또한, 경로 폭이 $f(k,h)$ 이상인 모든 $h$-반완전 그래프는 경로 폭이 $k$ 이상인 반완전 부분그래프를 포함함을 증명한다. 이는 고정된 $h$에 대해 이 클래스에서 위상적 포함 문제에 대한 다항식 시간 알고리즘을 가능하게 한다.

ABSTRACT

We call a digraph {\em $h$-semicomplete} if each vertex of the digraph has at most $h$ non-neighbors, where a non-neighbor of a vertex $v$ is a vertex $u eq v$ such that there is no edge between $u$ and $v$ in either direction. This notion generalizes that of semicomplete digraphs which are $0$-semicomplete and tournaments which are semicomplete and have no anti-parallel pairs of edges. Our results in this paper are as follows. (1) We give an algorithm which, given an $h$-semicomplete digraph $G$ on $n$ vertices and a positive integer $k$, in $(h + 2k + 1)^{2k} n^{O(1)}$ time either constructs a path-decomposition of $G$ of width at most $k$ or concludes correctly that the pathwidth of $G$ is larger than $k$. (2) We show that there is a function $f(k, h)$ such that every $h$-semicomplete digraph of pathwidth at least $f(k, h)$ has a semicomplete subgraph of pathwidth at least $k$. One consequence of these results is that the problem of deciding if a fixed digraph $H$ is topologically contained in a given $h$-semicomplete digraph $G$ admits a polynomial-time algorithm for fixed $h$.

연구 동기 및 목표

• 각 정점이 최대 $h$개의 비이웃을 갖는, 반완전 그래프의 일반화인 $h$-반완전 그래프로 경로 폭에 대한 고정 매개변수 다항식 시간 알고리즘을 반완전 그래프에서 확장한다.
• 전체 경로 폭이 클 경우 높은 경로 폭을 갖는 반완전 부분그래프의 존재를 보장하는 $h$-반완전 그래프의 구조적 성질을 규명한다.
• 고정된 $h$에 대해 $h$-반완전 그래프에서 위상적 포함 문제와 분리 경로 문제에 대한 다항식 시간 알고리즘을 가능하게 하여, 이전에 반완전 그래프에서만 알려진 결과를 일반화한다.
• 반완전 그래프를 초월해 이러한 결과의 적용 범위를 넓히는 그래프 마이너 유사 결과의 이론적 기반을 마련한다.

제안 방법

• 각 정점의 비이웃 수가 유한한 특성($h$-반완전 그래프의 유한 비이웃성)을 활용하여, 반복적 백팩트 구성과 정점 순서를 기반으로 한 동적 프로그래밍 알고리즘을 설계한다.
• $k$를 경로 폭 목표값으로 삼는 매개변수화 접근법을 사용하여, 제한된 탐색 공간 내에서 $h+2k+1$개의 정점 집합 조합을 모두 탐색함으로써 경로 분해를 구성한다.
• 각 정점의 비이웃 수에 대한 조합적 한계를 적용하여, 경로 분해 구성 과정에서 탐색해야 할 구성 수를 제한한다.
• 마르팅게일 기반의 확률적 분석을 통해 부분그래프 내 임의의 독립 집합의 기대 크기를 분석함으로써, 부분그래프의 조밀도와 경로 폭에 관한 구조적 보조 정리를 뒷받침한다.
• extremal 조합론과 구조적 분해를 활용하여, 경로 폭이 $f(k,h)$ 이상인 모든 $h$-반완전 그래프가 경로 폭이 $k$ 이상인 반완전 부분그래프를 포함함을 보여주는 함수 $f(k,h)$를 정의한다.
• 알고리즘적 결과와 구조적 결과를 통합하여, 고정된 $h$에 대해 고정된 방향 그래프 $H$가 $h$-반완전 그래프 $G$에 위상적으로 포함되어 있는지 여부를 다항식 시간 내에 결정할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 경로 폭 매개변수 $k$에 대해 $h$-반완전 그래프의 경로 폭을 고정 매개변수 다항식 시간 내에 계산할 수 있는가?
• RQ2 높은 경로 폭을 갖는 $h$-반완전 그래프에서 높은 경로 폭을 갖는 반완전 부분그래프의 존재를 보장하는 구조적 성질은 무엇인가?
• RQ3 $h$-반완전 그래프 클래스는 위상적 포함 문제나 분리 경로 문제에 대해 다항식 시간 알고리즘을 제공하는가? 이는 이전에 반완전 그래프에서만 알려진 결과를 일반화하는가?
• RQ4 각 정점당 최대 $h$개의 비이웃을 갖는 제한된 비이웃성($h$)은 경로 폭 및 관련 문제의 알고리즘 처리 가능성에 어떤 영향을 미치는가?
• RQ5 이 경로 폭 계산 알고리즘은 비이웃 수가 제한된 또는 유사한 구조적 제약 조건을 갖는 다른 방향 그래프 클래스로 확장할 수 있는가?

주요 결과

• 모든 $n$개 정점으로 구성된 $h$-반완전 그래프 $G$에 대해, 경로 폭이 $k$ 이하인 경로 분해를 $(h+2k+1)^{2k}n^{O(1)}$ 시간 내에 계산하는 알고리즘을 개발하였으며, 또는 $\text{pw}(G) > k$임을 정확히 판단할 수 있다.
• 이 알고리즘은 반완전 그래프에 대해 Pilipczuk의 $k^{O(k)}n^2$ 결과를 더 넓은 범주인 $h$-반완전 그래프로 일반화한다.
• 모든 $h$-반완전 그래프가 경로 폭이 $f(k,h)$ 이상일 경우 경로 폭이 $k$ 이상인 반완전 부분그래프를 포함함을 보여주는 함수 $f(k,h)$가 존재한다.
• 그 결과로, 고정된 $h$에 대해 고정된 방향 그래프 $H$가 $h$-반완전 그래프 $G$에 위상적으로 포함되어 있는지 여부를 다항식 시간 내에 결정할 수 있다.
• 이 구조적 결과는 $h$-반완전 그래프에서 높은 경로 폭이 밀집한 반완전 부분그래프의 존재를 강제함을 의미하며, 알고리즘적 감소를 가능하게 한다.
• 이 논문은 $h$-반완전 그래프에서 경로 폭과 부분그래프 포함 간의 관계를 설정하여, 기존 반완전 그래프에 대한 알려진 결과를 더 넓은 방향 그래프 클래스로 확장한다.