- Treffer 1 von 1
Operators of Higher Order
Zitieren Sie bitte immer diese URN: urn:nbn:de:bvb:20-opus-140799
- Motivated by results on interactive proof systems we investigate the computational power of quantifiers applied to well-known complexity classes. In special, we are interested in existential, universal and probabilistic bounded error quantifiers ranging over words and sets of words, i.e. oracles if we think in a Turing machine model. In addition to the standard oracle access mechanism, we also consider quantifiers ranging over oracles to which access is restricted in a certain way.
- Angeregt durch die Resultate über interaktive Beweissysteme untersuchen wir Quantoren in Anwendung auf bereits bekannte Komplexitätsklassen hinsichtlich ihrer dadurch gegebenen Berechnungsmächtigkeit. Von besonderem Interesse sind dabei existentielle und universelle Quantoren sowie Quantoren mit begrenzter Fehlerwahrscheinlichkeit, die alle über Wörter oder Wortmengen (Orakel im Kontext der Turingmaschinen) quantifizieren. Außer in Bezug auf den Standardmechanismus eines Orakelzugriffs werden auch Quantifizierungen über Orakel, für derenAngeregt durch die Resultate über interaktive Beweissysteme untersuchen wir Quantoren in Anwendung auf bereits bekannte Komplexitätsklassen hinsichtlich ihrer dadurch gegebenen Berechnungsmächtigkeit. Von besonderem Interesse sind dabei existentielle und universelle Quantoren sowie Quantoren mit begrenzter Fehlerwahrscheinlichkeit, die alle über Wörter oder Wortmengen (Orakel im Kontext der Turingmaschinen) quantifizieren. Außer in Bezug auf den Standardmechanismus eines Orakelzugriffs werden auch Quantifizierungen über Orakel, für deren Zugriff gewisse Beschränkungen bestehen, betrachtet.…
Autor(en): | Herbert BaierORCiDGND |
---|---|
URN: | urn:nbn:de:bvb:20-opus-140799 |
Dokumentart: | Dissertation |
Titelverleihende Fakultät: | Universität Würzburg, Fakultät für Mathematik und Informatik |
Institute der Universität: | Fakultät für Mathematik und Informatik / Institut für Informatik |
Gutachter / Betreuer: | Prof. Dr. Klaus Wagner, Prof. Dr. Gerd Wechsung |
Datum der Abschlussprüfung: | 02.07.1998 |
Sprache der Veröffentlichung: | Englisch |
Erscheinungsjahr: | 1998 |
Verlag: | Shaker Verlag |
Schriftenreihe: | Berichte aus der Informatik |
ISBN: | 3-8265-4008-5 |
Seitenangabe: | V, 95 |
Originalveröffentlichung / Quelle: | Operators of Higher Order / Herbert Baier. - Aachen: Shaker Verlag, 1998 |
Allgemeine fachliche Zuordnung (DDC-Klassifikation): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Normierte Schlagworte (GND): | Komplexitätstheorie; Quantor; Operator; Komplexitätsklasse |
Datum der Freischaltung: | 28.11.2016 |
Lizenz (Deutsch): | Deutsches Urheberrecht |