From FPT Decision to FPT Enumeration
Nadia Creignou, Timo Camillo Merkl, Reinhard Pichler, Daniel Unterberger

TL;DR
This paper explores how fixed-parameter tractable (FPT) decision algorithms can be adapted to develop FPT enumeration algorithms, addressing a less-studied area of intractable enumeration problems.
Contribution
It introduces methods to extend existing FPT decision algorithms into FPT enumeration algorithms, filling a research gap in enumeration complexity.
Findings
Proposes approaches for FPT enumeration based on decision algorithms
Analyzes fundamental FPT algorithm design techniques
Suggests extensions to existing FPT algorithms for enumeration
Abstract
Fixed-parameter tractable (FPT) algorithms have been successfully applied to many intractable problems -- with a focus on decision and optimization problems. Their aim is to confine the exponential explosion to some parameter, while the time complexity only depends polynomially on the instance size. In contrast, intractable enumeration problems have received comparatively little attention so far. The goal of this work is to study how FPT decision algorithms could be turned into FPT enumeration algorithms. We thus inspect several fundamental approaches for designing FPT decision or optimization algorithms and we present ideas how they can be extended to FPT enumeration algorithms.
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
TopicsConstraint Satisfaction and Optimization · Formal Methods in Verification · Complexity and Algorithms in Graphs
