resolution |
| 16.02.2004, 16:55 | arzoo | Auf diesen Beitrag antworten » |
| resolution (a) Eine Klausel heiße positiv (bzw. negativ), wenn sie nur nichtnegierte Variable (bzw. negierte Variable) enthält. Zeigen Sie, dass Mengen von positiven (bzw. negativen) Klauseln stets ein Modell besitzen. (b) Sei K eine unerfüllbare Klauselmenge. Sei K'TEilmenge von K eine endliche unerfüllbare Teilmenge (muss es wegen des Kompaktheitssatzes geben) mit minimaler Kardinalität k. zeigen Sie, dass jede Herleitung der leeren Klausel aus K' mittels resolution mindestens k -1 Resolutionsschritte macht. |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
