English
Related papers

Related papers: The Quiver Problem is NP Complete

200 papers

We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$.

Algebraic Geometry · Mathematics 2021-10-12 Claudio Bartocci , Ugo Bruzzo , Valeriano Lanza , Claudio L. S. Rava

For bipartite graphs the NP-completeness is proved for the problem of existence of maximum matching which removal leads to a graph with given lower(upper)bound for the cardinality of its maximum matching.

Discrete Mathematics · Computer Science 2008-03-08 R. R. Kamalian , V. V. Mkrtchyan

In this paper, we propose two new methods for solving Set Constraint Problems, as well as a potential polynomial solution for NP-Complete problems using quantum computation. While current methods of solving Set Constraint Problems focus on…

Logic in Computer Science · Computer Science 2025-04-29 Neema Rustin Badihian

We show that the Temporal Graph Exploration Problem is NP-complete, even when the underlying graph has pathwidth 2 and at each time step, the current graph is connected.

Data Structures and Algorithms · Computer Science 2018-08-01 Hans L. Bodlaender , Tom C. van der Zanden

Let $A$ be a real $n\times n$ matrix and $z,b\in \mathbb R^n$. The piecewise linear equation system $z-A\vert z\vert = b$ is called an absolute value equation. It is equivalent to the general linear complementarity problem, and thus NP hard…

Numerical Analysis · Mathematics 2021-03-04 Lutz Lehmann , Manuel Radons , Siegfried M. Rump , Christian Strohm

The tensor complementarity problem is a specially structured nonlinear complementarity problem, then it has its particular and nice properties other than ones of the classical nonlinear complementarity problem. In this paper, it is proved…

Optimization and Control · Mathematics 2022-02-09 Yisheng Song , Gaohang Yu

We show that the higher-order matching problem is decidable using a game-theoretic argument.

Logic in Computer Science · Computer Science 2015-07-01 Colin Stirling

In this paper we study the long-standing open question regarding the computational complexity of one of the core problems in supply chains management, the periodic joint replenishment problem. This problem has received a lot of attention…

Computational Complexity · Computer Science 2015-11-10 Tamar Cohen , Liron Yedidsion

Every finite non-nilpotent group can be extended by a term operation such that solving equations in the resulting algebra is NP-complete and checking identities is co-NP-complete. This result was firstly proven by Horv\'ath and Szab\'o; the…

Group Theory · Mathematics 2018-08-24 Michael Kompatscher

In this paper, we show that the friends-and-strangers problem is PSPACE-complete by reduction from the Ncl (non-deterministic constraint logic) problem.

Combinatorics · Mathematics 2025-03-20 Chao Yang , Zhujun Zhang

We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $\Pi ^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then…

Logic · Mathematics 2007-05-23 N. C. A. da Costa , F. A. Doria

This article provide new approach to solve P vs NP problem by using cardinality of bases function. About NP-Complete problems, we can divide to infinite disjunction of P-Complete problems. These P-Complete problems are independent of each…

Computational Complexity · Computer Science 2015-01-28 Koji Kobayashi

We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.

Logic · Mathematics 2025-04-29 Pablo Andújar Guerrero

Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The…

Computational Complexity · Computer Science 2020-10-05 Dmitriy Zhuk

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

Computational Complexity · Computer Science 2012-01-18 Sepp Hartung , André Nichterlein

The Inverse 3-SAT problem is known to be coNP Complete. This article shows a new interesting way to solve directly the problem by using closure under resolution and partial assignment properties. An algorithm is proposed which lets solve…

Data Structures and Algorithms · Computer Science 2013-08-27 Xavier Labouze

The Planar Contraction problem is to test whether a given graph can be made planar by using at most k edge contractions. This problem is known to be NP-complete. We show that it is fixed-parameter tractable when parameterized by k.

Data Structures and Algorithms · Computer Science 2012-04-24 Petr A. Golovach , Pim van 't Hof , Daniel Paulusma

We relate the decidability problem for BS with unordered cartesian product with Hilbert's Tenth problem and prove that BS with unordered cartesian product is NP-complete.

Logic · Mathematics 2021-01-05 Domenico Cantone , Pietro Ursino

The Number Partitioning Problem (NPP) is one of the NP-complete computational problems. Its definite exact solution generally requires a check of all $N$ solution candidates, which is exponentially large. Here we describe a path to the fast…

Quantum Physics · Physics 2023-08-23 Nikolai A. Sinitsyn , Bin Yan

A perfect number is a positive integer $N$ such that the sum of all the positive divisors of $N$ equals $2N$, denoted by $\sigma(N) = 2N$. The question of the existence of odd perfect numbers (OPNs) is one of the longest unsolved problems…

Number Theory · Mathematics 2014-07-04 Jose Arnaldo B. Dris