P not equal NP for the reals with various analytic functions
We show that non-deterministic machines in the sense of L. Blum, hi. Shub, and S. Smale (1989. Bull. Amer. Math. Soc. 21) defined over wide classes of real analytic structures are more powerful than the corresponding deterministic machines. (C) 2001 Academic Press.
p not equal np analytic bss-model non-determinism semi-algebraic