Dice Question Streamline Icon: https://streamlinehq.com

Existence of a complexity hierarchy analogous to the W-hierarchy for fixed-parameter sub-exponential algorithms

Determine whether there exists a parameterized complexity hierarchy, analogous to the W-hierarchy, for problems that are solvable in sub-exponential time when a parameter is fixed (or for each constant value of the parameter).

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper proposes exploring a class of problems solvable via fixed-parameter sub-exponential algorithms, motivated by cases where, for fixed parameter values, running times become sub-exponential in the input size even for problems that are hard in general. The authors discuss how this perspective relates to established parameterized complexity classes.

They explicitly raise uncertainty about whether an overarching hierarchy akin to the W-hierarchy exists for such problems, highlighting a gap in current understanding of how to classify fixed-parameter sub-exponential tractability.

References

In general, and because of the Exponential-Time Hypothesis (ETH), solvability in sub-exponential time when a parameter is fixed (or for each constant value of the parameter) can be interesting by itself, as an analogy to solvability in polynomial-time. However, it is not clear yet whether a complexity hierarchy exists that is analogous to the W-hierarchy.

Domination in Diameter-Two Graphs and the 2-Club Cluster Vertex Deletion Parameter (2408.08418 - Abu-Khzam et al., 15 Aug 2024) in Section 6 (Fixed-Parameter Sub-Exponential Algorithms)