English
Related papers

Related papers: Hard Problems That Quickly Become Very Easy

200 papers

A graph $G$ is embeddable in $\mathbb{R}^d$ if vertices of $G$ can be assigned with points of $\mathbb{R}^d$ in such a way that all pairs of adjacent vertices are at the distance 1. We show that verifying embeddability of a given graph in…

Computational Complexity · Computer Science 2014-10-22 Mikhail Tikhomirov

Weighted independent domination is an NP-hard graph problem, which remains computationally intractable in many restricted graph classes. In particular, the problem is NP-hard in the classes of sat-graphs and chordal graphs. We strengthen…

Discrete Mathematics · Computer Science 2017-05-23 Vadim Lozin , Dmitriy Malyshev , Raffaele Mosca , Viktor Zamaraev

Suppose that we are given two dominating sets $D_s$ and $D_t$ of a graph $G$ whose cardinalities are at most a given threshold $k$. Then, we are asked whether there exists a sequence of dominating sets of $G$ between $D_s$ and $D_t$ such…

Discrete Mathematics · Computer Science 2015-03-04 Arash Haddadan , Takehiro Ito , Amer E. Mouawad , Naomi Nishimura , Hirotaka Ono , Akira Suzuki , Youcef Tebbal

A hedge graph is a graph whose edge set has been partitioned into groups called hedges. Here we consider a generalization of the well-known \textsc{Cluster Deletion} problem, named \textsc{Hedge Cluster Deletion}. The task is to compute the…

Data Structures and Algorithms · Computer Science 2025-12-05 Athanasios L. Konstantinidis , Charis Papadopoulos , Georgios Velissaris

For a given finite class of finite graphs H, a graph G is called a realization of H if the neighbourhood of its any vertex induces the subgraph isomorphic to a graph of H. We consider the following problem known as the Generalized…

Discrete Mathematics · Computer Science 2009-09-25 V. Naidenko , Yu. Orlovich

We show that the following problems are NP-complete. 1. Can the vertex set of a graph be partitioned into two sets such that each set induces a perfect graph? 2. Is the difference between the chromatic number and clique number at most $1$…

Combinatorics · Mathematics 2017-05-18 Vaidy Sivaraman

Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general…

Combinatorics · Mathematics 2021-12-23 Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma

Many NP-complete graph problems are polynomial-time solvable on graph classes of bounded clique-width. Several of these problems are polynomial-time solvable on a hereditary graph class ${\cal G}$ if they are so on the atoms (graphs with no…

Discrete Mathematics · Computer Science 2026-02-19 Konrad K. Dabrowski , Tomáš Masařík , Jana Novotná , Daniël Paulusma , Paweł Rzążewski

In this letter we study the NP-complete vertex cover problem on finite connectivity random graphs. When the allowed size of the cover set is decreased, a discontinuous transition in solvability and typical-case complexity occurs. This…

Disordered Systems and Neural Networks · Physics 2009-10-31 Martin Weigt , Alexander K. Hartmann

The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of…

Discrete Mathematics · Computer Science 2017-05-25 René van Bevern , Robert Bredereck , Laurent Bulteau , Jiehua Chen , Vincent Froese , Rolf Niedermeier , Gerhard J. Woeginger

A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every…

Computational Geometry · Computer Science 2012-03-28 Sergio Cabello , Bojan Mohar

We consider properties of edge-colored vertex-ordered graphs, i.e., graphs with a totally ordered vertex set and a finite set of possible edge colors. We show that any hereditary property of such graphs is strongly testable, i.e., testable…

Data Structures and Algorithms · Computer Science 2017-04-11 Noga Alon , Omri Ben-Eliezer , Eldar Fischer

Let G be a finite undirected graph. A vertex dominates itself and all its neighbors in G. A vertex set D is an efficient dominating set (e.d. for short) of G if every vertex of G is dominated by exactly one vertex of D. The Efficient…

Discrete Mathematics · Computer Science 2013-04-24 Andreas Brandstädt , Martin Milanic , Ragnar Nevries

We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial-time algorithm that uses macros to generate plans for the class 3S of planning problems with binary state…

Artificial Intelligence · Computer Science 2011-11-02 Omer Giménez , Anders Jonsson

Given a graph G and an integer k, the objective of the $\Pi$-Contraction problem is to check whether there exists at most k edges in G such that contracting them in G results in a graph satisfying the property $\Pi$. We investigate the…

Data Structures and Algorithms · Computer Science 2023-07-26 Dipayan Chakraborty , R. B. Sandeep

Near ubiquitous mobile computing has led to intense interest in dynamic graph theory. This provides a new and challenging setting for algorithmics and complexity theory. For any graph-based problem, the rapid evolution of a (possibly…

Computational Complexity · Computer Science 2012-02-20 Arnaud Casteigts , Bernard Mans , Luke Mathieson

If P is a hereditary property then we show that, for the existence of a perfect f-factor, P is a sufficient condition for countable graphs and yields a sufficient condition for graphs of size aleph_1. Further we give two examples of a…

Logic · Mathematics 2007-05-23 Frank Niedermeyer , Saharon Shelah , Karsten Steffens

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

Discrete Mathematics · Computer Science 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

Correspondence homomorphisms are both a generalization of standard homomorphisms and a generalization of correspondence colourings. For a fixed target graph $H$, the problem is to decide whether an input graph $G$, with each edge labeled by…

Discrete Mathematics · Computer Science 2018-03-30 Tomas Feder , Pavol Hell

In the Maximum Independent Set problem we are asked to find a set of pairwise nonadjacent vertices in a given graph with the maximum possible cardinality. In general graphs, this classical problem is known to be NP-hard and hard to…

Data Structures and Algorithms · Computer Science 2023-11-15 Maria Chudnovsky , Marcin Pilipczuk , Michał Pilipczuk , Stéphan Thomassé