English
Related papers

Related papers: One-in-Two-Matching Problem is NP-complete

200 papers

Several fragments of the satisfiability problem have been studied in the literature. Among these, Linear 3-SAT is a satisfaction problem in which each clause (viewed as a set of literals) intersects with at most one other clause; moreover,…

Computational Complexity · Computer Science 2025-06-18 Victorien Desbois , Ocan Sankur , François Schwarzentruber

For any $\varepsilon > 0$, we prove that $k$-Dimensional Matching is hard to approximate within a factor of $k/(12 + \varepsilon)$ for large $k$ unless $\textsf{NP} \subseteq \textsf{BPP}$. Listed in Karp's 21 $\textsf{NP}$-complete…

Computational Complexity · Computer Science 2024-09-27 Euiwoong Lee , Ola Svensson , Theophile Thiery

The general Bandpass-$B$ problem is NP-hard and can be approximated by a reduction into the weighted $B$-set packing problem, with a worst case performance ratio of $O(B^2)$. When $B = 2$, a maximum weight matching gives a 2-approximation…

Data Structures and Algorithms · Computer Science 2013-07-29 Weitian Tong , Zhi-Zhong Chen , Lusheng Wang , Yinfeng Xu , Jiuping Xu , Randy Goebel , Guohui Lin

In a graph, a (perfect) matching cut is an edge cut that is a (perfect) matching. Matching Cut (MC), respectively, Perfect Matching Cut (PMC), is the problem of deciding whether a given graph has a matching cut, respectively, a perfect…

Computational Complexity · Computer Science 2025-10-10 Hoang-Oanh Le , Van Bang Le

We analyze the computational complexity of several new variants of edge-matching puzzles. First we analyze inequality (instead of equality) constraints between adjacent tiles, proving the problem NP-complete for strict inequalities but…

The Boolean constraint satisfaction problem 3-SAT is arguably the canonical NP-complete problem. In contrast, 2-SAT can not only be decided in polynomial time, but in fact in deterministic linear time. In 2006, Bravyi proposed a physically…

Quantum Physics · Physics 2016-10-25 Niel de Beaudrap , Sevag Gharibian

A $k$-L(2,1)-labeling of a graph is a function from its vertex set into the set $\{0,...,k\}$, such that the labels assigned to adjacent vertices differ by at least 2, and labels assigned to vertices of distance 2 are different. It is known…

Discrete Mathematics · Computer Science 2016-08-14 Konstanty Junosza-Szaniawski , Paweł Rzą\zewski

We prove that path puzzles with complete row and column information--or equivalently, 2D orthogonal discrete tomography with Hamiltonicity constraint--are strongly NP-complete, ASP-complete, and #P-complete. Along the way, we newly…

Computational Geometry · Computer Science 2019-02-12 Jeffrey Bosboom , Erik D. Demaine , Martin L. Demaine , Adam Hesterberg , Roderick Kimball , Justin Kopinsky

We study the structure of solutions to linear programming formulations for the traveling salesperson problem (TSP). We perform a detailed analysis of the support of the subtour elimination linear programming relaxation, which leads to…

Data Structures and Algorithms · Computer Science 2015-03-27 Matthias Mnich , Tobias Mömke

The complexity of the graph isomorphism problem for trapezoid graphs has been open over a decade. This paper shows that the problem is GI-complete. More precisely, we show that the graph isomorphism problem is GI-complete for comparability…

Discrete Mathematics · Computer Science 2016-01-20 Asahi Takaoka

In this work, we study the parallel complexity of the Euclidean minimum-weight perfect matching (EWPM) problem. Here our graph is the complete bipartite graph $G$ on two sets of points $A$ and $B$ in $\mathbb{R}^2$ and the weight of each…

Computational Geometry · Computer Science 2024-05-30 Sujoy Bhore , Sarfaraz Equbal , Rohit Gurjar

Interdiction problems are leader-follower games in which the leader is allowed to delete a certain number of edges from the graph in order to maximally impede the follower, who is trying to solve an optimization problem on the impeded…

Data Structures and Algorithms · Computer Science 2013-10-02 Feng Pan , Aaron Schild

The Matching Cut problem is to decide if the vertex set of a connected graph can be partitioned into two non-empty sets $B$ and $R$ such that the edges between $B$ and $R$ form a matching, that is, every vertex in $B$ has at most one…

Combinatorics · Mathematics 2025-05-26 Jungho Ahn , Tala Eagling-Vose , Felicia Lucke , Daniël Paulusma , Siani Smith

Let $G(V,E)$ be a simple, undirected and connected graph. A dominating set $S \subseteq V(G)$ is called a $2$-\textit{secure dominating set} ($2$-SDS) in $G$, if for every pair of distinct vertices $u_1,u_2 \in V(G)$ there exists a pair of…

Discrete Mathematics · Computer Science 2020-02-07 J. Pavan Kumar , P. Venkata Subba Reddy

Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerned with finding an isomorphism between a planning instance…

Artificial Intelligence · Computer Science 2024-06-25 Arnaud Lequen , Martin C. Cooper , Frédéric Maris

We consider some generalizations of the Asymmetric Traveling Salesman Path problem. Suppose we have an asymmetric metric G = (V,A) with two distinguished nodes s,t. We are also given a positive integer k. The goal is to find k paths of…

Data Structures and Algorithms · Computer Science 2011-12-15 Zachary Friggstad

An instance $I$ of the Stable Matching Problem (SMP) is given by a bipartite graph with a preference list of neighbors for every vertex. A swap in $I$ is the exchange of two consecutive vertices in a preference list. A swap can be viewed as…

Data Structures and Algorithms · Computer Science 2022-11-16 Eduard Eiben , Gregory Gutin , Philip R. Neary , Clément Rambaud , Magnus Wahlström , Anders Yeo

A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We investigate the differences in complexity between Minimum Matching…

Combinatorics · Mathematics 2026-02-20 Felicia Lucke , Joseph Marchand , Jannik Olbrich

A popular method in combinatorial optimization is to express polytopes P, which may potentially have exponentially many facets, as solutions of linear programs that use few extra variables to reduce the number of constraints down to a…

Computational Complexity · Computer Science 2017-03-21 Thomas Rothvoss

Traveling salesman problem is a NP-hard problem. Until now, researchers have not found a polynomial time algorithm for traveling salesman problem. Among the existing algorithms, dynamic programming algorithm can solve the problem in time…

Data Structures and Algorithms · Computer Science 2015-10-16 Yunpeng Li