[논문 리뷰] FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs

Matthias Lanzinger, Igor Razgon|arXiv (Cornell University)|2023. 09. 29.

Graph Theory and Algorithms인용 수 1

한 줄 요약

이 논문은 간선 상호작용이 유계인 초그래프에서 일반화된 초트리 폭(generalized hypertree width, ghw)에 대한 첫 번째 고정 매개변수 다항시간(Fixed-Parameter Tractable, FPT) 근사 알고리즘을 제시한다. (2,d)-초그래프에서 근사 (A,B)-분리자에 대한 FPT 알고리즘을 도입함으로써, α(k,d) = k(3k + d + 1)(2k − 1)일 때 ghw에 대한 4α(k,d)-근사값을 FPT 시간 내에 달성한다. 이는 이 매우 어려운 문제에 대해 고정 매개변수 근사에서의 돌풍을 일으키는 성과이다.

ABSTRACT

Generalised hypertree width ($ghw$) is a hypergraph parameter that is central to the tractability of many prominent problems with natural hypergraph structure. Computing $ghw$ of a hypergraph is notoriously hard. The decision version of the problem, checking whether $ghw(H) \leq k$, is paraNP-hard when parameterised by $k$. Furthermore, approximation of $ghw$ is at least as hard as approximation of Set-Cover, which is known to not admit any fpt approximation algorithms. Research in the computation of ghw so far has focused on identifying structural restrictions to hypergraphs -- such as bounds on the size of edge intersections -- that permit XP algorithms for $ghw$. Yet, even under these restrictions that problem has so far evaded any kind of fpt algorithm. In this paper we make the first step towards fpt algorithms for $ghw$ by showing that the parameter can be approximated in fpt time for graphs of bounded edge intersection size. In concrete terms we show that there exists an fpt algorithm, parameterised by $k$ and $d$, that for input hypergraph $H$ with maximal cardinality of edge intersections $d$ and integer $k$ either outputs a tree decomposition with $ghw(H) \leq 4k(k+d+1+)(2k-1)$, or rejects, in which case it is guaranteed that $ghw(H) > k$. Thus, in the special case, of hypergraphs of bounded edge intersection, we obtain an fpt $O(k^3)$-approximation algorithm for $ghw$.

연구 동기 및 목표

• 초그래프에서 일반화된 초트리 폭(ghw)을 계산하거나 근사하는 데 오랫동안 남아 있는 과제를 해결한다. 이 문제는 표준 가정 하에 paraNP-난이도이며, FPT 근사가 존재하지 않는다.
• 간선 상호작용이 d 이하로 제한되는 (2,d)-초그래프로 제한함으로써 ghw 근사의 본질적 비가역성에 대비한다.
• k와 d를 매개변수로 삼아 ghw를 4α(k,d) = 4k(3k + d + 1)(2k − 1)의 인자 범위 내에서 근사하는 FPT 알고리즘을 개발한다.
• 핵심 기술적 구성 요소로서 (2,d)-초그래프에서 근사 (A,B)-분리자를 계산하는 새로운 FPT 알고리즘을 수립한다.
• 구조적 제약 조건 하에 순위가 무한한 초그래프에서 ghw에 대한 구조적 FPT 근사 프레임워크를 제공함으로써, 고정 매개변수 초그래프 알고리즘 분야의 최신 기술을 발전시킨다.

제안 방법

• 집합 S가 존재하여 A와 B가 H − S에서 비연결이 되는 (2,d)-초그래프에서 근사 (A,B)-분리자를 계산하기 위한 재귀적 알고리즘 AppSep를 도입한다.
• 매개변수화된 재귀 호출을 추적하고 간선 커버 크기를 유지하기 위해 트리 기반의 재귀적 구조 F(H, A, B, k₀, T, B, X)를 설계한다.
• 작은 집합 X( |X| ≤ 2)에 대해 SmallSep를 기저 사례 서브루틴으로 사용하며, 유효한 분리자가 존재하면 반환하고, 그렇지 않으면 거부한다.
• AppSep에서 분할 정복 전략을 적용한다: 작은 분리자가 발견되지 않으면, 정점 집합을 분할하여 정의된 부분문제에서 재귀적으로 분리자를 탐색한다.
• 정리 10을 활용하여 분리자 집합의 간선 커버 수를 유계로 유지한다. 이로써 반환된 모든 집합의 합집합이 간선 커버 수를 최대 (3k + d + 1)(2k₀ − 1)k₀ 이내로 유지함을 보장한다.
• 재귀 트리에 대한 수학적 귀납법을 통해 정당성을 증명한다. 이는 유효한 분리자가 반환되거나, 분리자가 존재하지 않거나 ghw(H) > k일 경우에만 거부됨을 보여준다.

실험 결과

연구 질문

• RQ1 간선 상호작용이 유계인 초그래프에서 일반화된 초트리 폭(ghw)을 고정 매개변수 다항시간(FPT) 시간 내에 근사할 수 있는가?
• RQ2 표준 복잡도 가정 하에서 ghw의 알려진 근사 불가능성을 (2,d)-초그래프로 제한함으로써 우회할 수 있는가?
• RQ3 (2,d)-초그래프에서 근사 (A,B)-분리자를 FPT 시간 내에 계산할 수 있는가? 이는 ghw에 대한 더 넓은 FPT 근사 프레임워크를 가능하게 하는가?
• RQ4 유계 상호작용 설정 하에서 ghw에 대해 FPT 알고리즘으로 달성 가능한 최선의 근사 인자 범위는 무엇인가?
• RQ5 재귀적 분리자 계산 프레임워크의 존재가 순위가 무한한 초그래프에서 ghw에 대한 구조적 FPT 근사 가능성을 허용하는가?

주요 결과

• 논문은 4α(k,d)-ApproxGHW가 고정 매개변수 다항시간임을 입증한다. 여기서 α(k,d) = k(3k + d + 1)(2k − 1)이며, 이는 순위가 무한한 초그래프에서 ghw에 대한 첫 번째 FPT 근사 알고리즘을 제공한다.
• 알고리즘은 간선 상호작용이 d 이하로 제한되는 조건 하에 k와 d를 매개변수로 삼아 FPT 시간 내에 ghw에 대한 O(k³)-근사값을 달성한다.
• 알고리즘의 정당성은 매개변수화된 재귀 호출을 추적하고 간선 커버 크기를 유계로 유지하는 트리 기반의 구조 F(H, A, B, k₀, T, B, X)에 의해 보장된다.
• 알고리즘은 ghw ≤ 4k(k + d + 1)(2k − 1)인 트리 분해를 반환하거나, 이 경우 ghw(H) > k임이 보장되는 거부를 한다.
• 증명은 반환된 집합들의 합집합의 간선 커버 수에 대한 귀납적 유계를 기반으로 하며, 재귀 깊이 k₀에 대해 최대 (3k + d + 1)(2k₀ − 1)k₀ 이내로 보장된다.
• 거부가 발생하는 조건이 분리자가 존재하지 않을 경우 또는 ghw(H) > k일 경우에만 발생함을 보여줌으로써 알고리즘의 타당성과 타당성(정당성)이 추가로 검증된다.