Incremental FPT Delay
Institut für Theoretische Informatik, Leibniz Universität Hannover, 30167 Hannover, Germany
Algorithms 2020, 13(5), 122; https://doi.org/10.3390/a13050122
Received: 10 March 2020 / Revised: 4 May 2020 / Accepted: 12 May 2020 / Published: 15 May 2020
(This article belongs to the Section Algorithms Analysis and Complexity Theory)
In this paper, we study the relationship of parameterized 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 parameterized function classes and, in particular, introduce the parameterized 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 this class TF(para-NP), the restriction of the function variant of NP to total functions, collapsing to F(FPT), the function variant of FPT, is equivalent to the result that OutputFPT coincides with IncFPT. In addition, these collapses are shown to be equivalent to TFNP = FP, and also equivalent to P equals NP intersected with coNP. Finally, we show that these two collapses are equivalent to the collapse of IncP and OutputP in the classical setting. These results are the first direct connections of collapses in parameterized enumeration complexity to collapses in classical enumeration complexity, parameterized function complexity, classical function complexity, and computational complexity theory. View Full-Text
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
MDPI and ACS Style
Meier, A. Incremental FPT Delay. Algorithms 2020, 13, 122.
AMA StyleShow more citation formats Show less citations formats
Meier A. Incremental FPT Delay. Algorithms. 2020; 13(5):122.Chicago/Turabian Style
Meier, Arne. 2020. "Incremental FPT Delay." Algorithms 13, no. 5: 122.
Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.