[논문 리뷰] Packing Directed Cycles Quarter- and Half-Integrally

Masa\v{r}\'ik, Tom\'a\v{s}, Irene Muzi외 3명|arXiv (Cornell University)|2019. 07. 04.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 사이클 패킹 제약 조건을 1/4- 및 1/2-정수 설정으로 완화함으로써 방향성 있는 Erdős-Pósa 성질에 대한 다항식 경계를 확립한다: 각 정점이 최대 네 번(해당 경우) 또는 두 번(해당 경우)의 사이클에 포함되지 않는 k개의 사이클 가족이 존재하지 않는다면, 크기가 O(k⁴) (해당 경우) 또는 O(k⁶) (해당 경우)인 피드백 정점 집합이 존재한다. 증명은 유도 트리너비와 잘 연결된 구조를 링크 타이밍 및 비퇴화성 추론을 통해 활용한다.

ABSTRACT

The celebrated Erd\H{o}s-P\'osa theorem states that every undirected graph that does not admit a family of $k$ vertex-disjoint cycles contains a feedback vertex set (a set of vertices hitting all cycles in the graph) of size $O(k \log k)$. After being known for long as Younger's conjecture, a similar statement for directed graphs has been proven in 1996 by Reed, Robertson, Seymour, and Thomas. However, in their proof, the dependency of the size of the feedback vertex set on the size of vertex-disjoint cycle packing is not elementary. We show that if we compare the size of a minimum feedback vertex set in a directed graph with the quarter-integral cycle packing number, we obtain a polynomial bound. More precisely, we show that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most four of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^4)$. Furthermore, a variant of our proof shows that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most two of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^6)$. On the way there we prove a more general result about quarter-integral packing of subgraphs of high directed treewidth: for every pair of positive integers $a$ and $b$, if a directed graph $G$ has directed treewidth $\Omega(a^6 b^8 \log^2(ab))$, then one can find in $G$ a family of $a$ subgraphs, each of directed treewidth at least $b$, such that every vertex of $G$ is in at most four subgraphs.

연구 동기 및 목표

• . 이 논문은 패킹 제약 조건을 완화한 상황에서 방향성 Erdős-Pósa 성질에 대한 다항식 경계를 확립하고자 한다.
• 1/4- 및 1/2-정수 사이클 패킹 수치가 고전적인 방향성 Erdős-Pósa 정리에서의 비원소적 경계보다 피드백 정점 집합 크기의 의존성에 더 나은 영향을 미치는지 조사한다.
• 정점의 최대 포함 횟수를 제한함으로써 다항식, 비원소적 경계가 아닌 피드백 정점 집합 크기의 경계를 도출할 수 있음을 보여주는 것이 목적이다.
• 이 연구는 방향성 그래프에서 사이클 패킹과 피드백 정점 집합 크기 사이의 구조적 상호 교환 관계를 이해하는 데 기여하고자 한다.

제안 방법

• . 저자들은 사이클 패킹과 피드백 정점 집합 크기를 제어하기 위해 유도 트리너비를 구조적 파라미터로 사용한다.
• 고트리너비 그래프에서 잘 연결된 하위구조를 추출하기 위해 잘 연결됨에 관한 보조정리를 적용한다.
• 잘 연결된 집합 간의 링크리지 구조를 매개변수 q를 사용한 교차 경로 구성법을 통해 풀어낸다.
• 링크리지의 교차 그래프가 차수 기준을 초과할 경우, 비퇴화성 추론을 통해 모순을 도출한다.
• 증명은 위상적 미니처와 링크리지 구조에 관한 결과를 통합하며, 특히 Amiri 등에 의한 Lemma 2를 활용해 위상적 미니처 포함성을 확보한다.
• p=4 및 p=2의 경우, 이전 결과에서 발생하는 제곱형 증가를 피하기 위해 서로 다른 보조정리 조합을 사용하여 피드백 정점 집합 크기를 경계한다.

실험 결과

연구 질문

• RQ1 . 각 정점이 최대 네 개의 사이클에 포함되는 경우, 방향성 Erdős-Pósa 성질에 대해 다항식 경계를 확립할 수 있는가?
• RQ2 . 각 정점이 최대 두 개의 사이클에 포함되는 것으로 패킹 제약 조건을 완화했을 때, 피드백 정점 집합 크기가 여전히 다항식 경계를 갖는가?
• RQ3 . 1/4- 또는 1/2-정수 패킹 제약 조건을 사용함으로써 고전적인 방향성 Erdős-Pósa 정리에서의 비원소적 의존성 문제를 피할 수 있는가?
• RQ4 . 고유도 트리너비를 가진 그래프의 어떤 구조적 성질이 제한된 포함 횟수 조건 하에서 이러한 다항식 경계를 가능하게 하는가?
• RQ5 . 잘 연결된 성질을 활용한 기법을 통해 이전 보조정리에서 발생하는 제곱형 증가 문제를 피할 수 있으며, 만약 가능하다면 어떤 조건에서 가능한가?

주요 결과

• . 1/4-정수 패킹(각 정점이 최대 네 개의 사이클에 포함)의 경우, 그러한 k개의 사이클 가정이 존재하지 않는다면 크기가 O(k⁴)인 피드백 정점 집합이 존재한다.
• . 1/2-정수 패킹(각 정점이 최대 두 개의 사이클에 포함)의 경우, 동일한 조건 하에 크기가 O(k⁶)인 피드백 정점 집합이 존재한다.
• . 이전 보조정리에서 발생하는 제곱형 증가 문제를 피하기 위해 잘 연결된 성질 기반의 구조로 대체함으로써 p=4의 경우 의존성 향상을 달성한다.
• . 일반적인 결과로, 방향성 트리너비가 Ω(a⁶b⁸ log²(ab))인 방향성 그래프는 a개의 하위구조를 포함하며, 각 하위구조의 방향성 트리너비는 최소 b이며, 모든 정점은 최대 네 개의 하위구조에 포함된다.
• . 저자들은 p=3의 경우, p=2와 p=4의 접근 방식을 융합함으로써 크기가 O(k⁵)인 피드백 정점 집합이 존재함을 보였다.
• . 결과적으로, 서로소 조건을 제한된 포함 횟수로 완화함으로써 다항식 경계를 도출할 수 있으며, 이는 고전적인 방향성 Erdős-Pósa 정리에서의 비원소적 경계와 대조된다.