SAT Probleme < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Aufgabe | Variablen setzten bei erfüllbaren 2-SAT-Formel |
Hallo zusammen!!!
Ich hätte gern wissen, wie man auf dem, zu einer erfüllbaren 2-SAT-Formel, konstruierten Graphen, die Variablenbelegung bekommt, bzw. die Variablen setzt?
Wo und wie fängt man an? Einheitsklauseln sind nicht da.
Vielen Dank im Voraus!!!
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 16:20 Mi 24.06.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 11:24 Fr 26.06.2009 | Autor: | Bastiane |
Hallo Gitarist!
> Variablen setzten bei erfüllbaren 2-SAT-Formel
> Hallo zusammen!!!
> Ich hätte gern wissen, wie man auf dem, zu einer
> erfüllbaren 2-SAT-Formel, konstruierten Graphen, die
> Variablenbelegung bekommt, bzw. die Variablen setzt?
> Wo und wie fängt man an? Einheitsklauseln sind nicht da.
> Vielen Dank im Voraus!!!
Falls dich die Frage noch interessiert, kannst du ja mal kurz erläutern, wie der zugehörige Graph aussieht, da erinnere ich mich nämlich gerade nicht dran.
Viele Grüße
Bastiane
|
|
|
|