• Keine Ergebnisse gefunden

Ubungen zur Vorlesung

N/A
N/A
Protected

Academic year: 2022

Aktie "Ubungen zur Vorlesung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Institut fur Informatik SS 2005 der Universitat Munchen

Dr. J. Johannsen 28. Juni 2005

Ubungen zur Vorlesung

Algorithmen f¨ ur das SAT-Problem

Blatt 4

Aufgabe 10: Fuhren Sie die Arbeitsweise eines DLL-Algorithmus fur die Schubfachprinzip-KlauselnPHP(4, 3) an der Tafel aus.

Benutzen Sie die Verzweigungsstrategie DLIS, die stets ein Literal auf 1 setzt, das am haugsten vorkommt.

Verwenden Sie Koniktanalyse mit Hilfe des Implikationsgraphen und das Lernen von Koniktklauseln.

Die FormelPHP(4, 3) besteht aus den Klauseln:

(x11x21) (x11x31) (x11x41) (x21x31) (x21x41) (x31x41) (x12x22) (x12x32) (x12x42) (x22x32) (x22x42) (x32x42) (x13x23) (x13x33) (x13x43) (x23x33) (x23x43) (x33x43)

(x11x12x13) (x21x22x23) (x31x32x33) (x41x42x43)

Besprechung am 30. Juni 2005.

Referenzen

ÄHNLICHE DOKUMENTE

Wenn die Anzahl der Punkte der Transaktion gr¨oßer als Null ist, dann sind die Punkte nach Ausf¨ uhrung der Transaktion auf dem Punktestand der als Parameter ubergebenem

In dieser Aufgabe soll gezeigt werden, daß die Untergruppen der Symmetrischen Gruppen “im wesentlichen” alle Gruppen sind. Sei

Außerdem gebe man (mit Beweis!) ein (V, +) an, f¨ur das dieser Ring nicht kommutativ

Mathematisches Institut der Universit¨ at M¨ unchen Prof.. Wilfried

Damit ist also gezeigt, daß jede linear unabh¨angige Menge zu einer Basis erg¨anzt werden kann.. Wir w¨unschen allen frohe und ge-

Um zu zeigen, daß die Gesamtheit der Elemente von G I mit endlichem Tr¨ager eine Untergruppe bilden m¨ussen wir also noch zeigen, daß sie unter Produkt und Inversen-

Wenn (P) nicht l¨ osbar ist, weil die Zielfunktion auf dem Restriktionsbereich unbe- schr¨ ankt wachen kann, welchen Wert hat dann die Zielfunktion der dualen Aufgabe ZF (D). Be-

Betrachten Sie wieder die Aufgabe 1. Durch die L¨ osung der Aufgabe 1. sind die Punkte -3 und 30 keine