TU Berlin

Fachgebiet Algorithmische AlgebraProf. Dr. Peter Bürgisser

Inhalt des Dokuments

zur Navigation

Leitung

Prof. Dr. Peter Bürgisser

Lupe

Anschrift
Technische Universität Berlin
Institut für Mathematik
Sekretariat MA 3-2
Straße des 17. Juni 136
10623 Berlin

Büro
Raum MA 317 (3. OG)
Institut für Mathematik

Kontakt

Sekretariat
Beate Nießen
Raum MA 318
Tel.: +49 (0)30 314 - 25771

eMail
peter.buergisser@offmath.tu-berlin.de

Telefon
+49 (0)30 314 - 75902
Faxgerät
+49 (0)30 314 - 25839

Sprechstunde
Während der Vorlesungszeit: Do, 15-16 Uhr.
Während der vorlesungsfreien Zeit: nach Vereinbarung.

Publikationen

Exotic quantifiers, complexity classes, and complete problems
Zitatschlüssel BC-Exotic-Quantifiers-Complexity-Classes-And-Complete-Problems
Autor Peter Bürgisser and Felipe Cucker
Seiten 135-170
Jahr 2009
Journal Foundations of Computational Mathematics
Jahrgang 9
Nummer 2
Notiz ECCC Report TR05-138
Zusammenfassung We introduce some operators defining new complexity classes from existing ones in the Blum-Shub-Smale theory of computation over the reals. Each one of these operators is defined with the help of a quantifier differing from the usual ones, ∀ and ∃, and yet having a precise geometric meaning. Our agenda in doing so is twofold. On the one hand, we show that a number of problems whose precise complexity was previously unknown are complete in some of the newly defined classes. This substancially expands the catalog of complete problems in the BSS theory over the reals thus adding evidence to its appropriateness as a tool for understanding of the complexity of numeric computations. On the other hand, we show that some of our newly defined quantifiers have a natural meaning in complexity theoretical terms. An additional profit of our development is given by the relationship of the new complexity classes with some complexity classes in the Turing model of computation. This relationship naturally leads to a new notion in complexity over the reals (we call it ``gap narrowness'') and to a series of completeness results in the discrete, classical setting.
Link zur Publikation Link zur Originalpublikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe