English
Related papers

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

200 papers

While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin, Guruswami, and H\r{a}stad roved a result known as "$(2+\varepsilon)$-SAT is NP-hard" [FOCS'14/SICOMP'17]. They showed that the problem of distinguishing k-CNF formulas…

Discrete Mathematics · Computer Science 2021-09-10 Alex Brandts , Marcin Wrochna , Stanislav Živný

${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…

Computational Complexity · Computer Science 2018-08-27 Anatoly Panyukov

By creating some new concepts and methods: checking tree, long unit path, direct contradiction unit pair, indirect contradiction unit pair, additional contradiction unit pair, 2-unit layer and 3-unit layer, redundant units, and destroying…

Data Structures and Algorithms · Computer Science 2026-04-23 Lizhi Du

We investigate a number of coloring problems restricted to bipartite graphs with bounded diameter. First, we investigate the $k$-List Coloring, List $k$-Coloring, and $k$-Precoloring Extension problems on bipartite graphs with diameter at…

Combinatorics · Mathematics 2021-04-30 Victor A. Campos , Guilherme C. M. Gomes , Allen Ibiapina , Raul Lopes , Ignasi Sau , Ana Silva

We consider the problem of minimal correction of the training set to make it consistent with monotonic constraints. This problem arises during analysis of data sets via techniques that require monotone data. We show that this problem is…

Machine Learning · Computer Science 2007-05-23 Rustem Takhanov

The $k$ disjoint shortest paths problem ($k$-DSPP) on a graph with $k$ source-sink pairs $(s_i, t_i)$ asks for the existence of $k$ pairwise edge- or vertex-disjoint shortest $s_i$-$t_i$-paths. It is known to be NP-complete if $k$ is part…

Combinatorics · Mathematics 2018-09-12 Marinus Gottschau , Marcus Kaiser , Clara Waldmann

Finding a quantum computing method to solve nondeterministic polynomial time (NP)-complete problems is currently of paramount importance in quantum information science. Here an experiment is presented to demonstrate the use of Rydberg atoms…

Quantum Physics · Physics 2024-07-03 Seokho Jeong , Minhyuk Kim , Minki Hhan , Jaewook Ahn

Given a bipartite graph $G=(U\cup V,E)$, a left-perfect many-to-one matching is a subset $M \subseteq E$ such that each vertex in $U$ is incident with exactly one edge in $M$. If $U$ is partitioned into some groups, the matching is called…

Computational Complexity · Computer Science 2024-11-28 Ramin Javadi , Hossein Shokouhi

We study the Second Price Matching problem, introduced by Azar, Birnbaum, Karlin, and Nguyen in 2009. In this problem, a bipartite graph (bidders and goods) is given, and the profit of a matching is the number of matches containing a second…

Data Structures and Algorithms · Computer Science 2025-05-12 Rom Pinchasi , Neta Singer , Lukas Vogl , Jiaye Wei

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

The Minimum Dominating Set (MDS) problem is a well-established combinatorial optimization problem with numerous real-world applications. Its NP-hard nature makes it increasingly difficult to obtain exact solutions as the graph size grows.…

Data Structures and Algorithms · Computer Science 2025-08-26 Enqiang Zhu , Qiqi Bao , Yu Zhang , Pu Wu , Chanjuan Liu

We study geometric variations of the discriminating code problem. In the \emph{discrete version} of the problem, a finite set of points $P$ and a finite set of objects $S$ are given in $\mathbb{R}^d$. The objective is to choose a subset…

Computational Geometry · Computer Science 2023-06-30 Sanjana Dey , Florent Foucaud , Subhas C Nandy , Arunabha Sen

We analyze the problem of folding one polyhedron, viewed as a metric graph of its edges, into the shape of another, similar to 1D origami. We find such foldings between all pairs of Platonic solids and prove corresponding lower bounds,…

Computational Geometry · Computer Science 2024-12-20 Lily Chung , Erik D. Demaine , Martin L. Demaine , Markus Hecher , Rebecca Lin , Jayson Lynch , Chie Nara

We consider an extension of the {\em popular matching} problem in this paper. The input to the popular matching problem is a bipartite graph G = (A U B,E), where A is a set of people, B is a set of items, and each person a belonging to A…

Data Structures and Algorithms · Computer Science 2010-09-15 Telikepalli Kavitha , Meghana Nasre , Prajakta Nimbhorkar

We consider the problem of finding a maximum size triangle-free $2$-matching in a graph $G=(V,E)$. A (simple) $2$-matching is any subset of the edges such that each vertex is incident to at most two edges from the subset. The first…

Data Structures and Algorithms · Computer Science 2025-05-16 Katarzyna Paluch

The relationship between the complexity classes $P$ and $NP$ is an unsolved question in the field of theoretical computer science. In the first part of this paper, a lattice framework is proposed to handle the 3-CNF-SAT problems, known to…

Computational Complexity · Computer Science 2020-01-06 Marcel Rémon , Johan Barthélemy

In the Weighted Triangle-Free 2-Matching problem (WTF2M), we are given an undirected edge-weighted graph. Our goal is to compute a maximum-weight subgraph that is a 2-matching (i.e., no node has degree more than $2$) and triangle-free…

Data Structures and Algorithms · Computer Science 2026-03-11 Miguel Bosch-Calvo , Fabrizio Grandoni , Yusuke Kobayashi , Takashi Noguchi

In multistage perfect matching problems we are given a sequence of graphs on the same vertex set and asked to find a sequence of perfect matchings, corresponding to the sequence of graphs, such that consecutive matchings are as similar as…

Data Structures and Algorithms · Computer Science 2021-05-11 Markus Chimani , Niklas Troost , Tilo Wiedera

We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the…

Computational Complexity · Computer Science 2011-05-24 Sushant Sachdeva , Rishi Saket

We present a general technique, based on parametric search with some twist, for solving a variety of optimization problems on a set of semi-algebraic geometric objects of constant complexity. The common feature of these problems is that…

Computational Geometry · Computer Science 2022-07-15 Matthew J. Katz , Micha Sharir