We consider linear and scalar versions of the Blum?Shub?Smale model of computation over the reals. The permitted computing operations of linear machines are addition and multiplication by constants. The scalar machines can only multiply by constants. The size of an input is its dimension, and the cost of any instruction is one. For each of these structures we consider DNP and NP, the corresponding complexity classes with respect to digital nondeterminism and standard real nondeterminism, respectively. We give DNP- and NP-complete problems for linear and real scalar machines. On the other hand, we show that the NP-class restricted to scalar machines over the integers with equality-tests does not own a complete problem.
[1]
S. Smale,et al.
On a theory of computation and complexity over the real numbers; np-completeness
,
1989
.
[2]
A General NP-Completeness Theorem
,
1999
.
[3]
Pascal Koiran.
Computing over the Reals with Addition and Order
,
1994,
Theor. Comput. Sci..
[4]
C. Michaux,et al.
A survey on real structural complexity theory
,
1997
.
[5]
Felipe Cucker,et al.
Separation of Complexity Classes in Koiran's Weak Model
,
1994,
Theor. Comput. Sci..
[6]
Klaus Meer.
Real Number Models under Various Sets of Operations
,
1993,
J. Complex..