English
Related papers

Related papers: A Reply to Hofman On: "Why LP cannot solve large i…

200 papers

In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem which has the interesting property of having no polynomial time solutions. Next we show that HPTSP is in the class NP by demonstrating that…

Computational Complexity · Computer Science 2011-11-03 Roman V. Yampolskiy

The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem.

Computational Complexity · Computer Science 2016-03-02 Anatoly D. Plotnikov

We develop a complexity theory for approximate real computations. We first produce a theory for exact computations but with condition numbers. The input size depends on a condition number, which is not assumed known by the machine. The…

Computational Complexity · Computer Science 2020-05-05 Gregorio Malajovich , Mike Shub

Any satisfiability problem in conjunctive normal form can be solved in polynomial time by reducing it to a 3-sat formulation and transforming this to a Linear Complementarity problem (LCP) which is then solved as a linear program (LP). Any…

Computational Complexity · Computer Science 2018-01-31 Giacomo Patrizi

NP complete problem is one of the most challenging issues. The question of whether all problems in NP are also in P is generally considered one of the most important open questions in mathematics and theoretical computer science as it has…

Computational Complexity · Computer Science 2015-05-04 Wenhong Tian , GuoZhong Li , Xinyang Wang , Qin Xiong , Yaqiu Jiang

The maximum stable set problem is a well-known NP-hard problem in combinatorial optimization, which can be formulated as the maximization of a quadratic square-free polynomial over the (Boolean) hypercube. We investigate a hierarchy of…

Optimization and Control · Mathematics 2013-10-11 Monique Laurent , Zhao Sun

In this paper we study the classical no-wait flowshop scheduling problem with makespan objective (F|no-wait|C_max in the standard three-field notation). This problem is well-known to be a special case of the asymmetric traveling salesman…

Data Structures and Algorithms · Computer Science 2013-04-26 Marcin Mucha , Maxim Sviridenko

The non-convex quadratic orogramming problem and the non-monotone linear complementarity problem are NP-complete problems. In this paper we first show taht the inverse problem of determinning a KKT point of the non-convex quadratic…

Optimization and Control · Mathematics 2021-03-30 Siming Huang

For a given polygonal region $P$, the Lawn Mowing Problem (LMP) asks for a shortest tour $T$ that gets within Euclidean distance 1/2 of every point in $P$; this is equivalent to computing a shortest tour for a unit-diameter cutter $C$ that…

Computational Geometry · Computer Science 2023-07-04 Sándor P. Fekete , Dominik Krupke , Michael Perk , Christian Rieck , Christian Scheffer

Yannakakis showed that the matching problem does not have a small symmetric linear program. Rothvo{\ss} recently proved that any, not necessarily symmetric, linear program also has exponential size. It is natural to ask whether the matching…

Computational Complexity · Computer Science 2016-12-01 Gábor Braun , Jonah Brown-Cohen , Arefin Huq , Sebastian Pokutta , Prasad Raghavendra , Aurko Roy , Benjamin Weitz , Daniel Zink

The Traveling Salesman Problem (often called TSP) is a classic algorithmic problem in the field of computer science and operations research. It is an NP-Hard problem focused on optimization. TSP has several applications even in its purest…

Data Structures and Algorithms · Computer Science 2022-05-31 Amey Gohil , Manan Tayal , Tezan Sahu , Vyankatesh Sawalpurkar

We show that the problem of finding a Resolution refutation that is at most polynomially longer than a shortest one is NP-hard. In the parlance of proof complexity, Resolution is not automatizable unless P = NP. Indeed, we show it is…

Computational Complexity · Computer Science 2019-09-10 Albert Atserias , Moritz Müller

A subset of Q^n is called semilinear (or piecewise linear) if it is Boolean combination of linear half-spaces. We study the computational complexity of the constraint satisfaction problem (CSP) over the rationals when all the constraints…

Computational Complexity · Computer Science 2018-10-30 Manuel Bodirsky , Marcello Mamino

In a recent paper by S. Gubin [cs/0701023v1], a polynomial-time solution to the 3SAT problem was presented as proof that P=NP. The proposed algorithm cannot be made to work, which I shall demonstrate.

Computational Complexity · Computer Science 2007-05-23 Blake Hegerle

Yatsenko gives a polynomial-time algorithm for solving the traveling salesman problem. We examine the correctness of the algorithm and its construction. We also comment on Yatsenko's evaluation of the algorithm.

Computational Complexity · Computer Science 2008-01-04 Christopher Clingerman , Jeremiah Hemphill , Corey Proscia

Understanding the interactions between different combinatorial optimisation problems in real-world applications is a challenging task. Recently, the traveling thief problem (TTP), as a combination of the classical traveling salesperson…

Data Structures and Algorithms · Computer Science 2017-02-20 Frank Neumann , Sergey Polyakovskiy , Martin Skutella , Leen Stougie , Junhua Wu

We consider a new semidefinite programming (SDP) relaxation of the symmetric traveling salesman problem (TSP) that may be obtained via an SDP relaxation of the more general quadratic assignment problem (QAP). We show that the new relaxation…

Optimization and Control · Mathematics 2009-02-12 Etienne de Klerk , Dmitrii V. Pasechnik , Renata Sotirov

Answering a question of Haugland, we show that the pooling problem with one pool and a bounded number of inputs can be solved in polynomial time by solving a polynomial number of linear programs of polynomial size. We also give an overview…

Optimization and Control · Mathematics 2017-02-09 Natashia Boland , Thomas Kalinowski , Fabian Rigterink

The traveling salesman problem (TSP) is a fundamental problem in combinatorial optimization. Several semidefinite programming relaxations have been proposed recently that exploit a variety of mathematical structures including, e.g.,…

Data Structures and Algorithms · Computer Science 2019-07-23 Samuel C. Gutekunst , David P. Williamson

In this paper, we analyze the argument made by Kumar in the technical report "Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and Its Implications on P versus NP problem." The paper claims to present a…

Computational Complexity · Computer Science 2021-12-14 Michael C. Chavrimootoo , Henry B. Welles