English

FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs

Data Structures and Algorithms 2024-01-09 v2

Abstract

Generalised hypertree width (ghwghw) is a hypergraph parameter that is central to the tractability of many prominent problems with natural hypergraph structure. Computing ghwghw of a hypergraph is notoriously hard. The decision version of the problem, checking whether ghw(H)kghw(H) \leq k, is paraNP-hard when parameterised by kk. Furthermore, approximation of ghwghw 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 ghwghw. 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 ghwghw 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 kk and dd, that for input hypergraph HH with maximal cardinality of edge intersections dd and integer kk either outputs a tree decomposition with ghw(H)4k(k+d+1+)(2k1)ghw(H) \leq 4k(k+d+1+)(2k-1), or rejects, in which case it is guaranteed that ghw(H)>kghw(H) > k. Thus, in the special case, of hypergraphs of bounded edge intersection, we obtain an fpt O(k3)O(k^3)-approximation algorithm for ghwghw.

Keywords

Cite

@article{arxiv.2309.17049,
  title  = {FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs},
  author = {Matthias Lanzinger and Igor Razgon},
  journal= {arXiv preprint arXiv:2309.17049},
  year   = {2024}
}
R2 v1 2026-06-28T12:35:49.593Z