[논문 리뷰] Approximating branchwidth on parametric extensions of planarity

Dimitrios M. Thilikos, Sebastian Wiederrecht|arXiv (Cornell University)|2023. 04. 10.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 논문은 프로젝티브 평면 그래프와 토러스 그래프를 마이너로 포함하지 않는 그래프에서 브랜치폭에 대한 (1+ε)-근사 알고리즘을 제시한다. 이는 토르소가 평면인 구조적 분해를 기반으로 하며, 브랜치폭이 유한한 접합도와 평면 성분을 가진 트리 분해를 통해 효율적으로 근사 가능하다는 것을 증명한다. 이에 따라 런타임 O(n³ + f(1/ε)·n)의 EPTAS를 제공한다.

ABSTRACT

The branchwidth of a graph has been introduced by Roberson and Seymour as a measure of the tree-decomposability of a graph, alternative to treewidth. Branchwidth is polynomially computable on planar graphs by the celebrated ``Ratcatcher'' algorithm of Seymour and Thomas. We explore how this algorithm can be extended to minor-closed graph classes beyond planar graphs, as follows: Let $H_{1}$ be a graph embeddable in the torus and $H_{2}$ be a graph embeddable in the projective plane. We prove that every $\{H_{1},H_{2}\}$-minor free graph $G$ contains a subgraph $G'$ whose branchwidth differs from that of $G$ by a constant depending only on $H_1$ and $H_2$. Moreover, the graph $G'$ admits a tree decomposition where all torsos are planar. This decomposition allows for a constant-additive approximation of branchwidth: For $\{H_{1},H_{2}\}$-minor free graphs, there is a constant $c$ (depending on $H_{1}$ and $H_{2}$) and an $\mathcal{O}(|V(G)|^{3})$-time algorithm that, given a graph $G$, outputs a value $b$ such that the branchwidth of $G$ is between $b$ and $b+c$.

연구 동기 및 목표

• 브랜치폭에 대한 레이트캐처 알고리즘의 적용 범위를 평면 그래프를 초월해 마이너-폐쇄 그래프 계열으로 확장하기 위해.
• 단일 크로스 마이너-프리 그래프보다 더 일반적인 그래프 계열에서 브랜치폭에 대한 다항 시간 알고리즘이 부족한 문제를 해결하기 위해.
• 프로젝티브 평면 그래프와 토러스 그래프를 마이너로 포함하지 않는 그래프에서 브랜치폭에 대한 효율적인 근사 체계를 설계하기 위해.
• 토르소가 평면인 구조적 분해를 확립하여, 유한 폭 성분에서의 동적 프로그래밍을 가능하게 하기 위해.
• 이러한 그래프에서 브랜치폭이 임의의 (1+ε) 요인 내에서 O(n³ + f(1/ε)·n) 시간에 근사 가능하다는 것을 증명하기 위해.

제안 방법

• 특히 마이너-폐쇄 가족에 대한 글로벌 구조 정리에 기반한 그래프 마이너 구조 이론을 활용한다.
• 접합도가 유한하고 토르소가 평면인 성분으로 그래프를 분해하기 위해 국소 구조 정리를 적용한다.
• 토글과 사회(societies)를 사용하여 국소 연결성을 분석하고, 임베딩된 그래프에서 평탄한 벽을 정의한다.
• 각 토르소가 작거나( |β(t)| ≤ g(k) ) 또는 유한 폭과 너비를 가진 Σ-분해를 허용하는 트리 분해를 구성한다.
• 구조적 제어를 확보하기 위해 바이러스-프리 임베딩과 평탄한 3-벽의 개념을 활용한다.
• 정리 6.5를 적용하여 Gₜ와 Gₜ−Xₜ 사이의 브랜치폭 차이를 유계화함으로써 최종 근사 보장을 이룬다.

실험 결과

연구 질문

• RQ1 레이트캐처 알고리즘이 평면 그래프를 초월해 마이너-폐쇄 가족에 대해 브랜치폭에 적용 가능하게 확장될 수 있는가?
• RQ2 프로젝티브 평면과 토러스 그래프를 마이너로 포함하지 않는 그래프에서 효율적인 브랜치폭 근사가 가능한 구조적 성질는 무엇인가?
• RQ3 H₀가 프로젝티브-플레인이고 H₁가 토로이드일 때, {H₀,H₁}-마이너-프리 그래프에 대해 토르소가 평면이고 접합도가 유한한 트리 분해가 존재하는가?
• RQ4 이러한 분해가 효율적인 런타임을 가진 (1+ε)-근사 체계를 지원할 수 있는가?
• RQ5 이러한 그래프 계열에서, 토르소가 평면인 부분그래프와 전체 그래프의 브랜치폭 간의 최대 차이는 얼마인가?

주요 결과

• 모든 ε > 0에 대해, {H₀,H₁}-마이너-프리 그래프에서 브랜치폭에 대한 (1+ε)-근사 알고리즘이 존재하며, 런타임은 O(n³ + f(1/ε)·n)이다.
• 이 알고리즘은 EPTAS이며, f(1/ε)는 제거된 마이너 H₀와 H₁에만 의존한다.
• 모든 {H₀,H₁}-마이너-프리 그래프 G는 |bw(G) − bw(G′)| ≤ f(k)를 만족하는 부분그래프 G′를 가진다. 여기서 f(k)는 제거된 마이너에 대한 함수이다.
• 부분그래프 G′는 모든 토르소가 평면이고 접합도가 g(k)로 유계인 트리 분해를 가진다.
• 분해에서 각 토르소의 브랜치폭은 전체 토르소의 브랜치폭과 최대 f(k) = 2g(k)(g(k)−1) + g(k) 이내로 차이가 나며, 이는 근사 오차가 유계임을 보장한다.
• 구조적 결과는 평탄한 3-벽과 바이러스-프리 임베딩의 존재에 기반하며, 이는 분해에서 폭의 유계 제어를 가능하게 한다.