
TL;DR
This paper explores the structure of incremental fixed-parameter tractable enumeration complexity classes, introduces hierarchies and new classes, and establishes connections between parametrised and classical enumeration complexity collapses.
Contribution
It introduces two hierarchies of enumeration complexity classes for incremental FPT-time and links parametrised enumeration classes to classical complexity class collapses.
Findings
Defined hierarchies IncFPTa and CapIncFPTa for incremental FPT enumeration.
Introduced parametrised classes related to TFNP and their properties.
Connected collapses in parametrised classes to classical enumeration complexity collapses.
Abstract
In this paper, we study the relationship of parametrised enumeration complexity classes defined by Creignou et al. (MFCS 2013). Specifically, we introduce two hierarchies (IncFPTa and CapIncFPTa) of enumeration complexity classes for incremental fpt-time in terms of exponent slices and show how they interleave. Furthermore, we define several parametrised function classes and, in particular, introduce the parametrised counterpart of the class of nondeterministic multivalued functions with values that are polynomially verifiable and guaranteed to exist, TFNP, known from Megiddo and Papadimitriou (TCS 1991). We show that TF(para-NP) collapsing to F(FPT) is equivalent to OutputFPT coinciding with IncFPT. This result is in turn connected to a collapse in the classical function setting and eventually to the collapse of IncP and OutputP which proves the first direct connection of classical to…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · semigroups and automata theory · Complexity and Algorithms in Graphs
