English
Related papers

Related papers: Exploring P versus NP

200 papers

We demonstrate a polynomial approach to express the decision version of the directed Hamiltonian Cycle Problem (HCP), which is NP-Complete, as the Solvability of a Polynomial Equation with a constant number of variables, within a bounded…

Computational Complexity · Computer Science 2011-11-10 Deepak Chermakani

The constraint satisfaction problem (CSP) and its quantified extensions, whether without (QCSP) or with disjunction (QCSP_or), correspond naturally to the model checking problem for three increasingly stronger fragments of positive…

Logic in Computer Science · Computer Science 2012-04-27 Florent Madelaine , Barnaby Martin

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

We present an approach to non-uniform complexity in which single-pass instruction sequences play a key part, and answer various questions that arise from this approach. We introduce several kinds of non-uniform complexity classes. One kind…

Computational Complexity · Computer Science 2014-08-13 J. A. Bergstra , C. A. Middelburg

We present an approximation notion for NP-hard optimization problems represented by binary functions. We prove that (assuming P != NP) the new notion is strictly stronger than FPTAS, but strictly weaker than having a polynomial-time…

Computational Complexity · Computer Science 2026-05-08 Samuel Bismuth , Erel Segal-Halevi

Quadratic eigenvalue problems (QEP) and more generally polynomial eigenvalue problems (PEP) are among the most common types of nonlinear eigenvalue problems. Both problems, especially the QEP, have extensive applications. A typical approach…

Numerical Analysis · Mathematics 2017-11-07 Yiling You , Jose Israel Rodriguez , Lek-Heng Lim

We investigate a technique to transform a linear two-parameter eigenvalue problem, into a nonlinear eigenvalue problem (NEP). The transformation stems from an elimination of one of the equations in the two-parameter eigenvalue problem, by…

Numerical Analysis · Mathematics 2021-06-17 Emil Ringh , Elias Jarlebring

Czerwinski's paper "Separation of ${\rm PSPACE}$ and ${\rm EXP}$" [Cze21] claims to prove that ${\rm PSPACE} \neq {\rm EXP}$ by showing there is no length-increasing polynomial-time reduction from a given ${\rm EXP}$-complete set to a given…

Computational Complexity · Computer Science 2023-05-01 Ian Clingerman , Quan Luu

Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not…

Combinatorics · Mathematics 2014-09-09 Jed Yang

In an era where learning is considered a problem, we decided to go for problems for the sake of learning! The purpose of this study was to throw light on the issues involved in two forms of PBL viz., Case Study Based PBL and Research Based…

Computers and Society · Computer Science 2014-10-20 S. M. Jacob , B. Issac

Ever since entanglement was identified as a computational and cryptographic resource, researchers have sought efficient ways to tell whether a given density matrix represents an unentangled, or separable, state. This paper gives the first…

Quantum Physics · Physics 2007-05-23 Lawrence M. Ioannou

On example of tasks of class NP the questions concerning accuracy of work of already existing and possible in the future algorithms for the solution of tasks on discrete structures are considered.

Computational Complexity · Computer Science 2014-09-30 Rustem Valeyev

In this paper, we explore the 'equivalence principle' (EP): roughly, statements about mathematical objects should be invariant under an appropriate notion of equivalence for the kinds of objects under consideration. In set theoretic…

Logic · Mathematics 2022-02-07 Benedikt Ahrens , Paige Randall North

When a problem has more than one solution, it is often important, depending on the underlying context, to enumerate (i.e., to list) them all. Even when the enumeration can be done in polynomial delay, that is, spending no more than…

Data Structures and Algorithms · Computer Science 2023-05-16 Yishu Wang , Arnaud Mary , Marie-France Sagot , Blerina Sinaimeri

This paper presents a novel and straight formulation, and gives a complete insight towards the understanding of the complexity of the problems of the so called NP-Class. In particular, this paper focuses in the Searching of the Optimal…

Computational Complexity · Computer Science 2010-06-14 Carlos Barron-Romero

This paper talks about difference between P and NP by using topological space that mean resolution principle. I pay attention to restrictions of antecedent and consequent in resolution, and show what kind of influence the restrictions have…

Computational Complexity · Computer Science 2012-10-16 Koji Kobayashi

We treat the following "polynomial moment problem": for a complex polynomial P(z) and distinct complex numbers a,b such that P(a)=P(b) to describe polynomials q(z)=Q'(z) orthogonal to all degrees of P(z) on the segment [a,b]. We show that…

Complex Variables · Mathematics 2007-05-23 F. Pakovich

Quantum computing is seeking to realize hardware-optimized algorithms for application-related computational tasks. NP (nondeterministic-polynomial-time) is a complexity class containing many important but intractable problems like the…

Quantum Physics · Physics 2021-08-27 Aonan Zhang , Hao Zhan , Junjie Liao , Kaimin Zheng , Tao Jiang , Minghao Mi , Penghui Yao , Lijian Zhang

Despite remarkable achievements in its practical tractability, the notorious class of NP-complete problems has been escaping all attempts to find a worst-case polynomial time-bound solution algorithms for any of them. The vast majority of…

Computational Complexity · Computer Science 2017-05-05 Stefan Rass

The resolution of the P vs. NP problem, a cornerstone in computational theory, remains elusive despite extensive exploration through mathematical logic and algorithmic theory. This paper takes a novel approach by integrating information…

Information Theory · Computer Science 2024-03-19 Florian Neukart