Hallo im Anhang ist eine Aufgabenstellung und meine Lösung dazu.
Der Kommentar des Dozenten zu meiner Lösung lautet:
"Hallo,
Entscheidbarkeit bitte nicht mit NP-Problemen verwechseln. Das Sat findet hier keine Anwendung!! Das Problem Nr. 4 ist entscheidbar, da maximal 2^n Kombinationen verglichen werden müssen."
Ich verstehe nicht genau an welchem Punkt es sich von SAT unterscheidet ? Oder was müsste anders sein damit die Reduktion Sinn ergibt ??
Viele Grüße
apfelnymous hat diese Bilder (verkleinerte Versionen) angehängt: