[論文レビュー] FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs

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

Graph Theory and Algorithms被引用数 1

ひとこと要約

本稿では、辺の交差が有界であるハイパーグラフにおける一般化ハイパートリー幅（ghw）の最初の固定パラメータ可 tractable（FPT）近似アルゴリズムを提示する。(2,d)-ハイパーグラフにおける近似(A,B)-分離集合のFPTアルゴリズムを導入することで、α(k,d) = k(3k + d + 1)(2k − 1) である4α(k,d)-近似がFPT時間内に達成可能であり、この極めて困難な問題におけるパrameterized近似の分野で画期的な進展をもたらす。

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）を計算または近似するという長年の課題に取り組むこと。これはパラNP困難であり、標準的仮定のもとではFPT近似が不可能である。
• ghw近似の本質的な困難さを克服するため、辺の交差がdで有界である(2,d)-ハイパーグラフに制限する。
• パラメータkとdに基づいて、ghwを4α(k,d) = 4k(3k + d + 1)(2k − 1)の要因で近似するFPTアルゴリズムを開発する。
• 本結果を実現するための主要な技術的要素である、(2,d)-ハイパーグラフにおける近似(A,B)-分離集合をFPT時間で計算する新しいFPTアルゴリズムを確立する。
• 構成的FPT近似フレームワークを、ランクが無限大でも成立するように、構造的制約のもとで一般化ハイパートリー幅の近似に応用し、パrameterizedハイパーグラフアルゴリズム分野の最先端を前進させる。

提案手法

• 近似(A,B)-分離集合を計算する再帰的アルゴリズムAppSepを導入する。ここで、SはAとBがH − Sにおいて非連結であるような集合である。
• パラメータ化された再帰呼び出しを追跡し、エッジカバーのサイズに上限を保つために、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）は固定パラメータ可 tractable（FPT）時間で近似可能だろうか？
• RQ2 標準的複雑性仮定のもとで既知の近似不可能性を(2,d)-ハイパーグラフへの制限によって回避できるだろうか？
• RQ3 (2,d)-ハイパーグラフにおいて、近似(A,B)-分離集合はFPT時間で計算可能だろうか？これにより、ghwのより広範なFPT近似フレームワークが可能になるだろうか？
• RQ4 有界な交差設定におけるghwのFPTアルゴリズムで達成可能な最良の近似要因は何か？
• RQ5 再帰的分離集合計算フレームワークの存在が、ランクが無限大のハイパーグラフにおけるghwの構成的FPT近似を可能にするだろうか？

主な発見

• 本稿では、4α(k,d)-ApproxGHWが固定パラメータ可 tractable（FPT）であることを確立した。ここでα(k,d) = k(3k + d + 1)(2k − 1)であり、これはランクが無限大のハイパーグラフにおけるghwの最初のFPT近似アルゴリズムを提供する。
• アルゴリズムは、辺の交差がdで有界であるという制約のもとで、パラメータkとdに基づいてFPT時間内に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₀未満であることが示されている。
• 拒否が発生するのは、(A,B)-分離集合が存在しない場合、またはghw(H) > kである場合に限られることを示すことで、アルゴリズムの整合性がさらに裏付けられている。