„Benutzer Diskussion:Quartl“ – Versionsunterschied
Slllu (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Slllu (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 10: | Zeile 10: | ||
Hi, |
Hi, |
||
⚫ | |||
ich denke du hast einen Fehler in den verlinkten Artikel eingebaut... |
|||
⚫ | Edit: Ich kenne es wirklich nur so, dass bei der unit propagation eine Einheitsklausel ausgewählt wird, mit welcher dann die unit propagation durchgeführt wird, um die Klauselmenge zu vereinfachen. Dabei verringert sich immer die Anzahl der Klauseln in der Klauselmenge und insbesondere die Einheitsklausel wird dabei aus der Klauselmenge entfernt. Das muss auch so sein, da sonst z.B. der DPLL-Algorithmus nicht terminieren würde. |
||
⚫ | |||
Edit2: Hmm ich habe mal hier geschaut: http://en.wikipedia.org/wiki/Talk:Unit_propagation |
|||
⚫ | Edit: |
||
Das scheint wohl nicht immer ganz eindeutig zu sein. Die Erklärung, warum man es auch so interpretieren kann, wie du es gemacht hast, verstehe ich im englischen Artikel nicht so genau. Vor allem Würde aus meiner Sicht der DPLL-Algorithmus so nicht terminieren, weil er das eben nur dann tut, wenn die Klauselmenge schlussendlich leer ist. |
|||
Grüße, -- [[Benutzer:Slllu|Slllu]] ([[Benutzer Diskussion:Slllu|Diskussion]]) 23:35, 25. Nov. 2012 (CET) |
Grüße, -- [[Benutzer:Slllu|Slllu]] ([[Benutzer Diskussion:Slllu|Diskussion]]) 23:35, 25. Nov. 2012 (CET) |
Version vom 26. November 2012, 03:30 Uhr
Archiv |
Wie wird ein Archiv angelegt? |
Fehler bei Vorlage * Parametername unbekannt (Vorlage:Archivübersicht): "2"
Hi,
wieso bist du der Meinung, dass die Klausel, die nur aus einem Literal besteht erhalten bleiben muss? Könntest du das belegen? So wie ich die Regeln kenne, sind sie eigentlich eindeutig und können nicht so interpretiert werden, wie du es gemacht hast...
Edit: Ich kenne es wirklich nur so, dass bei der unit propagation eine Einheitsklausel ausgewählt wird, mit welcher dann die unit propagation durchgeführt wird, um die Klauselmenge zu vereinfachen. Dabei verringert sich immer die Anzahl der Klauseln in der Klauselmenge und insbesondere die Einheitsklausel wird dabei aus der Klauselmenge entfernt. Das muss auch so sein, da sonst z.B. der DPLL-Algorithmus nicht terminieren würde.
Edit2: Hmm ich habe mal hier geschaut: http://en.wikipedia.org/wiki/Talk:Unit_propagation Das scheint wohl nicht immer ganz eindeutig zu sein. Die Erklärung, warum man es auch so interpretieren kann, wie du es gemacht hast, verstehe ich im englischen Artikel nicht so genau. Vor allem Würde aus meiner Sicht der DPLL-Algorithmus so nicht terminieren, weil er das eben nur dann tut, wenn die Klauselmenge schlussendlich leer ist.
Grüße, -- Slllu (Diskussion) 23:35, 25. Nov. 2012 (CET)