On the complexity of solution extension of optimization problems

•Extending a partial solution of an optimization problem occurs as a subproblem in many areas.•We propose a general framework for dealing with these extension problems.•We present several problems from different areas which can be expressed in this framework.•We show NP-hardness results and paramete...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 904; S. 48 - 65
Hauptverfasser: Casel, Katrin, Fernau, Henning, Khosravian Ghadikolaei, Mehdi, Monnot, Jérôme, Sikora, Florian
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 15.02.2022
Elsevier
Schlagworte:
Computational Complexity
Computer Science
Data Structures and Algorithms
Discrete Mathematics
Extension problems
NP-hardness
Parameterized complexity
NP-hardness
Parameterized complexity
Extension problems
ISSN:0304-3975, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:•Extending a partial solution of an optimization problem occurs as a subproblem in many areas.•We propose a general framework for dealing with these extension problems.•We present several problems from different areas which can be expressed in this framework.•We show NP-hardness results and parameterized complexity results for the presented problems. The question if a given partial solution to a problem can be extended reasonably occurs in many algorithmic approaches for optimization problems. For instance, when enumerating minimal vertex covers of a graph G=(V,E), one usually arrives at the problem to decide for a vertex set U⊆V (pre-solution), if there exists a minimal vertex cover S (i.e., a vertex cover S⊆V such that no proper subset of S is a vertex cover) with U⊆S (minimal extension of U). We propose a general, partial-order based formulation of such extension problems which allows to model parameterization and approximation aspects of extension, and also highlights relationships between extension tasks for different specific problems. As examples, we study a number of specific problems which can be expressed and related in this framework. In particular, we discuss extension variants of the problems dominating set and feedback vertex/edge set. All these problems are shown to be NP-complete even when restricted to bipartite graphs of bounded degree, with the exception of our extension version of feedback edge set on undirected graphs which is shown to be solvable in polynomial time. For the extension variants of dominating and feedback vertex set, we also show NP-completeness for the restriction to planar graphs of bounded degree. As non-graph problem, we also study an extension version of the bin packing problem. We further consider the parameterized complexity of all these extension variants, where the parameter is a measure of the pre-solution as defined by our framework.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2021.10.017