Another approach to decide on real root existence for univariate Polynomials, and a multivariate extension for 3-SAT
arXiv:0803.0018
Abstract
We present six Theorems on the univariate real Polynomial, using which we develop a new algorithm for deciding the existence of atleast one real root for univariate integer Polynomials. Our algorithm outputs that no positive real root exists, if and only if, the given Polynomial is a factor of a real Polynomial with positive coefficients. Next, we define a transformation that transforms any instance of 3-SAT into a multivariate real Polynomial with positive coefficients, if and only if, the instance is not satisfiable.
arXiv comment8 pages, 6 Theorems on Univariate Polynomials, 1 Theorem on Multivariate Polynomial for 3SAT, 2 Conjectures