Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.

Cuvillier Verlag

30 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

De En Es
Complexity Results for Boolean Constraint Satisfaction Problems

Printausgabe
EUR 18,00 EUR 17,10

E-Book
EUR 12,60

Complexity Results for Boolean Constraint Satisfaction Problems

Michael Bauland (Autor)

Vorschau

Inhaltsverzeichnis, Datei (22 KB)
Leseprobe, Datei (290 KB)

ISBN-13 (Printausgabe) 3867271518
ISBN-13 (Printausgabe) 9783867271516
ISBN-13 (E-Book) 9783736921511
Sprache Englisch
Seitenanzahl 104
Auflage 1
Band 0
Erscheinungsort Göttingen
Promotionsort Hannover
Erscheinungsdatum 14.02.2007
Allgemeine Einordnung Dissertation
Fachbereiche Informatik
Beschreibung

Meine Dissertation befasst sich mit Boole’schen Constraint Satisfaction Problemen (kurz: CSP). Ein Constraint besteht aus einer Menge von Variablen und einer (Boole’schen) Relation, die die Belegungen bestimmter Tupel von Variablen einschränkt. Ein CSP ist
dann die Frage, ob es zu einer gegebenen Menge von Constraints eine Belegung aller Variablen gibt, die alle Constraints gleichzeitig erfüllt. Dieses CSP und einige seiner Derivationen werden unter komplexitätstheoretischen Aspekten betrachtet. Als wichtiges Instrument zur Bestimmung der Komplexität von CSP wird die algebraische Methode verwendet. Diese nutzt die von Emil Post gefundene vollständige
Klassifikation aller unter Superposition abgeschlossener Klassen Boole’scher Funktionen
(Clones). Der Abschluss einer Menge von Funktionen unter Superposition bedeutet dabei, dass die Menge der Funktionen unter beliebigen Kompositionen abgeschlossen ist. Der nach ihm benannte Post’sche Graph zeigt die vollständige Inklusionsstruktur der
Clones. Hiermit konnten in Verbindung mit der Galoistheorie schon viele elegante Beweise geführt werden. Unter anderem wurde so auch das Dichotomieergebnis von Thomas Schaefer erneut bewiesen. Dieses besagt, dass das Boole’sche CSP in Abhängigkeit von den zugelassenen Boole’schen Constraints entweder in P oder NP-vollständig ist.