English
Related papers

Related papers: Zig-Zag Numberlink is NP-Complete

200 papers

Distance labeling is a preprocessing technique introduced by Peleg [Journal of Graph Theory, 33(3)] to speed up distance queries in large networks. Herein, each vertex receives a (short) label and, the distance between two vertices can be…

Computational Complexity · Computer Science 2014-08-01 Mathias Weller

An edge-colored graph $G$ is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection number of a connected graph $G$, denoted by $rc(G)$, is the smallest number of colors that…

Computational Complexity · Computer Science 2011-11-15 Xiaolong Huang , Xueliang Li , Yongtang Shi

The article studies edge coverage for control flow graphs extended with explicit constraints. Achieving a given level of white-box coverage for a given code is a classic problem in software testing. We focus on designing test sets that…

Computational Complexity · Computer Science 2026-02-24 Jakub Ruszil , Artur Polański , Adam Roman , Jakub Zelek

We show that it is NP-hard to distinguish graphs of linear mim-width at most 1211 from graphs of sim-width at least 1216. This implies that Mim-Width, Sim-Width, One-Sided Mim-Width, and their linear counterparts are all paraNP-complete,…

Computational Complexity · Computer Science 2025-01-13 Benjamin Bergougnoux , Édouard Bonnet , Julien Duron

The complexity of the maximum common connected subgraph problem in partial $k$-trees is still not fully understood. Polynomial-time solutions are known for degree-bounded outerplanar graphs, a subclass of the partial $2$-trees. On the other…

Data Structures and Algorithms · Computer Science 2017-08-10 Nils Kriege , Florian Kurpicz , Petra Mutzel

The maximum graph bisection problem is a well known graph partition problem. The problem has been proven to be NP-hard. In the maximum graph bisection problem it is required that the set of vertices is divided into two partition with equal…

Discrete Mathematics · Computer Science 2015-12-03 Zoran Maksimovic

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

Given a set of obstacles and two points, is there a path between the two points that does not cross more than $k$ different obstacles? This is a fundamental problem that has undergone a tremendous amount of work. It is known to be NP-hard,…

Computational Geometry · Computer Science 2017-12-13 Eduard Eiben , Iyad Kanj

The MEG (minimum equivalent graph) problem is, given a directed graph, to find a small subset of the edges that maintains all reachability relations between nodes. The problem is NP-hard. This paper gives a proof that, for graphs where each…

Data Structures and Algorithms · Computer Science 2015-06-02 Samir Khuller , Balaji Raghavachari , Neal Young

We show that P2T - the problem of deciding whether the edge set of a simple graph can be partitioned into two trees or not - is NP-complete.

Computational Complexity · Computer Science 2010-02-23 Domotor Palvolgyi

The paper presents an algorithm for minimum vertex cover problem, which is an NP-Complete problem. The algorithm computes a minimum vertex cover of each input simple graph. Tested by the attached MATLAB programs, Stage 1 of the algorithm is…

Discrete Mathematics · Computer Science 2016-10-30 Gang Hu

A graph H is a vertex-minor of a graph G if it can be reached from G by the successive application of local complementations and vertex deletions. Vertex-minors have been the subject of intense study in graph theory over the last decades…

Combinatorics · Mathematics 2019-06-14 Axel Dahlberg , Jonas Helsen , Stephanie Wehner

Given a graph $G = (V,E)$, a set $T$ of vertex pairs, and an integer $k$, Hitting Geodesic Intervals asks whether there is a set $S \subseteq V$ of size at most $k$ such that for each terminal pair $\{u,v\} \in T$, the set $S$ intersects at…

Data Structures and Algorithms · Computer Science 2025-09-03 Tatsuya Gima , Yasuaki Kobayashi , Yuto Okada , Yota Otachi , Hayato Takaike

We consider the problem of deciding, given a sequence of regions, if there is a choice of points, one for each region, such that the induced polyline is simple or weakly simple, meaning that it can touch but not cross itself. Specifically,…

Computational Geometry · Computer Science 2023-04-27 Thijs van der Horst , Tim Ophelders , Bart van der Steenhoven

It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right…

Combinatorics · Mathematics 2007-05-23 Cristopher Moore , John Michael Robson

We present progress on three old conjectures about longest paths and cycles in graphs. The first pair of conjectures, due to Lov\'{a}sz from 1969 and Thomassen from 1978, respectively, states that all connected vertex-transitive graphs…

Combinatorics · Mathematics 2025-10-29 Carla Groenland , Sean Longbrake , Raphael Steiner , Jérémie Turcotte , Liana Yepremyan

We study the complexity of proving that a sparse random regular graph on an odd number of vertices does not have a perfect matching, and related problems involving each vertex being matched some pre-specified number of times. We show that…

Computational Complexity · Computer Science 2023-06-22 Per Austrin , Kilian Risse

Connectivity in temporal graphs relies on the notion of temporal paths, in which edges follow a chronological order (either strict or non-strict). In this work, we investigate the question of how to make a temporal graph connected. More…

Discrete Mathematics · Computer Science 2025-02-21 T. Bellitto , J. Bouton Popper , B. Escoffier

The minimum constraint removal problem seeks to find the minimum number of constraints, i.e., obstacles, that need to be removed to connect a start to a goal location with a collision-free path. This problem is NP-hard and has been studied…

Robotics · Computer Science 2023-05-03 Antony Thomas , Fulvio Mastrogiovanni , Marco Baglietto

We consider the general problem of blocking all solutions of some given combinatorial problem with only few elements. For example, the problem of destroying all maximum cliques of a given graph by forbidding only few vertices. Problems of…

Computational Complexity · Computer Science 2025-02-11 Christoph Grüne , Lasse Wulf