English
Related papers

Related papers: The Complexity of Blocking All Solutions

200 papers

Recoverable robust optimization is a popular multi-stage approach, in which it is possible to adjust a first-stage solution after the uncertain cost scenario is revealed. We consider recoverable robust optimization in combination with…

Computational Complexity · Computer Science 2024-11-28 Christoph Grüne , Lasse Wulf

Many natural optimization problems derived from $\sf NP$ admit bilevel and multilevel extensions in which decisions are made sequentially by multiple players with conflicting objectives, as in interdiction, adversarial selection, and…

Computational Complexity · Computer Science 2026-02-16 Christoph Grüne , Berit Johannes , James B. Orlin , Lasse Wulf

We study a general family of problems that form a common generalization of classic hitting (also referred to as covering or transversal) and packing problems. An instance of X-HitPack asks: Can removing k (deletable) vertices of a graph G…

Data Structures and Algorithms · Computer Science 2024-02-26 Jacob Focke , Fabian Frei , Shaohua Li , Dániel Marx , Philipp Schepper , Roohani Sharma , Karol Węgrzycki

We prove the #P-hardness of the counting problems associated with various satisfiability, graph and combinatorial problems, when restricted to planar instances. These problems include \begin{romannum} \item[{}] {\sc 3Sat, 1-3Sat, 1-Ex3Sat,…

Computational Complexity · Computer Science 2007-05-23 Harry B. Hunt , Madhav V. Marathe , Venkatesh Radhakrishnan , Richard E. Stearns

We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. We show the close connection between this problem and a…

Logic in Computer Science · Computer Science 2021-12-02 Libor Barto , William DeMeo , Antoine Mottet

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

The Edge Interdiction Clique Problem (EICP) aims to remove at most $k$ edges from a graph so as to minimize the size of the largest clique in the remaining graph. This problem captures a fundamental question in graph manipulation: which…

Data Structures and Algorithms · Computer Science 2026-01-06 Yi Zhou , Haoyu Jiang , Chenghao Zhu , André Rossi

We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of…

Network flow interdiction analysis studies by how much the value of a maximum flow in a network can be diminished by removing components of the network constrained to some budget. Although this problem is strongly NP-complete on general…

Discrete Mathematics · Computer Science 2008-01-14 Rico Zenklusen

Multiple interval graphs are variants of interval graphs where instead of a single interval, each vertex is assigned a set of intervals on the real line. We study the complexity of the MAXIMUM CLIQUE problem in several classes of multiple…

Discrete Mathematics · Computer Science 2012-03-12 Mathew C. Francis , Daniel Gonçalves , Pascal Ochem

We systematically study the computational complexity of a broad class of computational problems in phylogenetic reconstruction. The class contains for example the rooted triple consistency problem, forbidden subtree problems, the quartet…

Computational Complexity · Computer Science 2017-08-15 Manuel Bodirsky , Peter Jonsson , Trung Van Pham

We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden…

Computational Complexity · Computer Science 2007-06-27 Gabor Kun , Jaroslav Nesetril

In recent work by Johnson et al. (2022), a framework was described for the study of graph problems over classes specified by omitting each of a finite set of graphs as subgraphs. If a problem falls into the framework then its computational…

Computational Complexity · Computer Science 2025-03-17 Tala Eagling-Vose , Barnaby Martin , Daniel Paulusma , Siani Smith

We present a structural classification of constraint satisfaction problems (CSP) described by reflexive complete $2$-edge-coloured graphs. In particular, this classification extends the structural dichotomy for graph homomorphism problems…

Computational Complexity · Computer Science 2026-02-11 Alexey Barsukov , Santiago Guzmán-Pro

We show that any submodular minimization (SM) problem defined on a linear constraint set with constraints having up to two variables per inequality, are 2-approximable in polynomial time. If the constraints are monotone (the two variables…

Discrete Mathematics · Computer Science 2017-05-01 Dorit S. Hochbaum

The problem of finding an optimal vertex cover in a graph is a classic NP-complete problem, and is a special case of the hitting set question. On the other hand, the hitting set problem, when asked in the context of induced geometric…

Data Structures and Algorithms · Computer Science 2014-04-24 Akanksha Agrawal , Sathish Govindarajan , Neeldhara Misra

Traditional network interdiction problems focus on removing vertices or edges from a network so as to disconnect or lengthen paths in the network; network diversion problems seek to remove vertices or edges to reroute flow through a…

Optimization and Control · Mathematics 2024-08-21 Alice Paul , Susan Martonosi

Can we efficiently compute optimal solutions to instances of a hard problem from optimal solutions to neighboring (i.e., locally modified) instances? For example, can we efficiently compute an optimal coloring for a graph from optimal…

Computational Complexity · Computer Science 2019-06-26 Elisabet Burjons , Fabian Frei , Edith Hemaspaandra , Dennis Komm , David Wehner

Cardinality Maximum Flow Network Interdiction Problem (CMFNIP) is known to be strongly NP-hard problem in the literature. A particular case of CMFNIP has been shown to have reduction from clique problem. In the present work,an effort is…

Optimization and Control · Mathematics 2013-12-24 Pawan Tamta , Bhagwati Prasad Pande , H. S. Dhami

Vertex deletion problems for graphs are studied intensely in classical and parameterized complexity theory. They ask whether we can delete at most k vertices from an input graph such that the resulting graph has a certain property.…

Logic in Computer Science · Computer Science 2024-06-27 Max Bannach , Florian Chudigiewitsch , Till Tantau