Abstract not found

We present a logical approach to complexity over the real numbers with respect to the model of Blum, Shub and Smale. The logics under consideration are interpreted over a special class of two-sorted structures, called R-structures: They consist of a finite structure together with the ordered field of reals and a finite set of functions from the finite structure into R. They are a special case of the metafinite structures introduced recently by Grädel and Gurevich. We argue that R-structures provide the right class of structures to develop a descriptive complexity theory over R. We substantiate this claim by a number of results that relate logical definability on R-structures with complexity of computations of BSS-machines.

This paper presents an equivalence result between computability in the BSS model and in a suitable distributive category. It is proved that the class of functions R m ! R n (with n; m finite and R a commutative, ordered ring) computable in the BSS model, and the functions distributively computable over a natural distributive graph based on the operations of R coincide. Using this result, a new structural characterization, based on iteration, of the same functions is given.

. This survey is devoted to some aspects of the \P = NP ?" problem over the real numbers and more general algebraic structures. We argue that given a structure M , it is important to nd out whether NPM problems can be solved by polynomial depth computation trees, and if so whether these trees can be eciently simulated by circuits. Point location, a problem of computational geometry, comes into play in the study of these questions for several structures of interest. 1 Introduction In algebraic complexity one measures the complexity of an algorithm by the number of basic operations performed during a computation. The basic operations are usually arithmetic operations and comparisons, but sometimes transcendental functions are also allowed [21-23, 26]. Even when the set of basic operations has been xed, the complexity of a problem depends on the particular model of computation considered. The two main categories of interest for this paper are circuits and trees. In section 2 and...

Abstract. We define a counting class #Padd in the Blum-Shub-Smalesetting of additive computations over the reals. Structural properties of this class are studied, including a characterization in terms of the classical counting class #P introduced by Valiant. We also establish transfer theorems for both directions between the real additive and the discrete setting. Then we characterize in terms of completeness results the complexity of computing basic topological invariants of semi-linear sets given by additive circuits. It turns out that the computation of the Euler characteristic is FP #Padd add-complete, while for fixed k, the computation of the kth Betti number is FPARadd-complete. Thus the latter is more difficult under standard complexity theoretic assumptions. We use all the above to prove some analogous completeness results in the classical setting. 1