Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT

A more general form of my Theorem (which will replace Theorems 6 & 7)
is as follows:

***** THEOREM BEGINS *****
Let P = Q K + P1 K1 + P2 K2 + P3 K3 + ... + Pu Ku. Then P is a
Polynomial with positive real coefficients, if and only if, Q does not
have a real root.
***** THEOREM ENDS *****

Here Q is the 3SAT u-variate Polynomial, and Pi = (Xi – 1)^2 (Xi –
2)^2, for all i as integers in [1,u].

K, K1, K2...Ku are u -variate Polynomials, whose existance we are
trying to determine. These Polynomials exist, if and only if, the 3SAT
instance is unsatisfiable.

Please hold on until end of Aug-2008, where I promise to explain it
all clearly in my Version_5 paper.

Thanks & faithfully,
-Deepak
.

Relevant Pages