We propose a weak version of the Blum Shub Smale model of computation over the real numbers. In this weak model only a ``moderate'' usage of multiplications and divisions is allowed. The class of boolean languages recognizable in polynomial time is shown to be the complexity class PΓpoly. The main t
Computability of a map and decidability of its graph in the model of Blum, Shub and Smale
β Scribed by Corine Ceola; Pierre B.A. Lecomte
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 304 KB
- Volume
- 194
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this paper we compare recursively enumerable subsets of R" in two computing models over real numbers: the Blum-Shub-Smale machine and the oracle Turing machine. We prove that any Turing RE open subset of RY is a BSS RE set, while a Turing RE closed set may not be a BSS RE set. As an application
## Abstract For a graphb __F__ without isolated vertices, let __M__(__F__; __n__) denote the minimum number of monochromatic copies of __F__ in any 2βcoloring of the edges of __K__~__n__~. Burr and Rosta conjectured that when __F__ has order __t__, size __u__, and __a__ automorphisms. Independent
Intermittent behaviour has been found in many systems able to switch between two different dynamic states, e.g. between long laminar phases and short chaotic bursts. Despite the apparently high-dimensional complexity, certain one-dimensional (l-D) maps are known to mimic properties of such dynamics.