Parametrisierte Komplexität in der polynomiellen Hierarchie
| dc.contributor.author | De Haan, Ronald | |
| dc.contributor.editor | Hölldobler, Steffen | |
| dc.date.accessioned | 2019-01-23T14:30:41Z | |
| dc.date.available | 2019-01-23T14:30:41Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | In dieser Arbeit erweitern wir die Theorie der parametrisierten Komplexität, um Probleme, die von häheren Ebenen der polynomiellen Hierarchie stammen, adäquat analysieren zu kännen. Wir erweitern die bekannten Konzepte und Methoden in grundlegender Weise, um auch die bemerkenswerte Effektivität von existierenden SAT-Solvern theoretisch zu berücksichtigen. Wir demonstrieren, dass unser neues Instrumentarium es ermöglicht, die exakte Komplexität einer Vielzahl von fundamentaler Berechnungsproblemen zu bestimmen, und in Folge deren theoretische Schwere einzuordnen und zu vergleichen. Die betrachteten Probleme stammen aus vielen Bereichen der Informatik, z.B. der Künstlichen Intelligenz, Wissensräpresentation, Verifikation und Optimierung. | de |
| dc.identifier.isbn | 978-3-88579-976-4 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19949 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Ausgezeichnete Informatikdissertationen 2016 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume D-17 | |
| dc.title | Parametrisierte Komplexität in der polynomiellen Hierarchie | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 40 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 31 | |
| gi.conference.date | 21.-24. Mai 2017 | |
| gi.conference.location | Schoss Dagstuhl, Deutschland |
Dateien
Originalbündel
1 - 1 von 1