Expressing an NP-Complete Problem as the Solvability of a Polynomial Equation
Deepak Chermakani

TL;DR
This paper presents a polynomial method to encode the NP-Complete Hamiltonian Cycle Problem as a polynomial equation solvability problem with a fixed number of variables, aiming to shed light on the P vs NP question.
Contribution
It introduces four new theorems for periodic functions and uses trigonometric substitution to express HCP as a polynomial equation with bounded variables.
Findings
HCP can be represented as a polynomial equation solvability problem.
The approach uses a fixed number of variables within bounded real numbers.
Future work is needed to prove whether P=NP.
Abstract
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 real space. We first introduce four new Theorems for a set of periodic Functions with irrational periods, based on which we then use a trigonometric substitution, to show how the HCP can be expressed as the Solvability of a single polynomial Equation with a constant number of variables. The feasible solution of each of these variables is bounded within two real numbers. We point out what future work is necessary to prove that P=NP.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Formal Methods in Verification · Advanced Differential Equations and Dynamical Systems
