Untere Schranken für heuristische Algorithmen

dc.contributor.author	Berkholz, Christoph
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:50:51Z
dc.date.available	2020-08-21T08:50:51Z
dc.date.issued	2015
dc.description.abstract	Dieser Beitrag ist eine deutschsprachige Zusammenfassung der Dissertation des Autors. In der Dissertation werden drei verwandte heuristische Verfahren zum Lösen schwerer Probleme untersucht: der k-Konsistenztest für das Constraint-Satisfaction-Problem, Resolution beschränkter Weite für 3-SAT und der Knotenpartitionierungsalgorithmus für das Graphisomorphieproblem. Die Hauptergebnisse der Dissertation sind untere Schranken an die Zeitkomplexität der Verfahren. In diesem Beitrag werden die untersuchten Verfahren eingeführt und die erzielten unteren Schranken vorgestellt.	de
dc.identifier.isbn	978-3-88579-419-6
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33853
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2014
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-15
dc.title	Untere Schranken für heuristische Algorithmen	de
gi.citation.endPage	40
gi.citation.publisherPlace	Bonn
gi.citation.startPage	31

Dateien

1 - 1 von 1