Lade Inhalt...

A faster approximation scheme for #k-SAT

Exploiting independent subformulars

Hausarbeit (Hauptseminar) 2014 15 Seiten

Informatik - Theoretische Informatik

Zusammenfassung

Diese Ausarbeitung zum Thema „Approximationsschema für #k-SAT“ entstand im Rahmen des Seminars „Algorithmische Schönheiten“ im Wintersemester 2013/14. Zunächst werden relevante Grundlagen vorgestellt. Danach wird der Algorithmus von Thurley beleuchtet. Dieser ist der Ausgangspunkt für die anschließend vorgestellten Verbesserungen. Sofern nichts anderes erwähnt wird, beziehen sich die Inhalte dieser Arbeit auf das Paper [SCH13].

Details

Seiten
15
Erscheinungsform
Originalausgabe
Jahr
2014
ISBN (eBook)
9783956363757
Dateigröße
2.6 MB
Sprache
Deutsch
Katalognummer
v282383
Institution / Hochschule
Fachhochschule für Verwaltung Saarland; Saarbrücken – Informatik
Note
unbenotet
Schlagworte
exploiting

Autor

Teilen

Zurück

Titel: A faster approximation scheme for #k-SAT