• Treffer 1 von 1
Zurück zur Trefferliste

Algebraic closures in complexity theory

Algebraische Hüllen in der Komplexitätstheorie

Zitieren Sie bitte immer diese URN: urn:nbn:de:bvb:20-opus-16106
  • We use algebraic closures and structures which are derived from these in complexity theory. We classify problems with Boolean circuits and Boolean constraints according to their complexity. We transfer algebraic structures to structural complexity. We use the generation problem to classify important complexity classes.
  • Algebraische Hüllen und Strukturen, die mit solchen zusammenhängen, werden für die Komplexitätstheorie genutzt. Es werden Probleme im Zusammenhang mit Booleschen Schaltkreisen und Constraint-Satisfaction Problemen komplexitätstheoretisch klassifiziert. Strukturen aus der Algebra werden auf die Strukturelle Komplexität übertragen. Das Generierungsproblem, wird zur Klassifikation wichtiger Komplexitätsklassen benutzt.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar Statistik - Anzahl der Zugriffe auf das Dokument
Metadaten
Autor(en): Elmar Böhler
URN:urn:nbn:de:bvb:20-opus-16106
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
Datum der Abschlussprüfung:16.12.2005
Sprache der Veröffentlichung:Englisch
Erscheinungsjahr:2005
Allgemeine fachliche Zuordnung (DDC-Klassifikation):0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Normierte Schlagworte (GND):Komplexitätstheorie
Freie Schlagwort(e):Clones; Generierungsproblem; Komplexitätstheorie; Postsche Klassen
Clones; Complexity Theory; Generation Problem; Post's Classes
Fachklassifikation Mathematik (MSC):03-XX MATHEMATICAL LOGIC AND FOUNDATIONS / 03Dxx Computability and recursion theory / 03D15 Complexity of computation (including implicit computational complexity) [See also 68Q15, 68Q17]
68-XX COMPUTER SCIENCE (For papers involving machine computations and programs in a specific mathematical area, see Section {04 in that areag 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) / 68Qxx Theory of computing / 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19]
68-XX COMPUTER SCIENCE (For papers involving machine computations and programs in a specific mathematical area, see Section {04 in that areag 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) / 68Qxx Theory of computing / 68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15]
Datum der Freischaltung:22.12.2005
Betreuer:Prof. Dr. Klaus Wagner