Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Suche » Suchergebnis » Hallo Gast [Anmelden|Registrieren]
Zeige Beiträge 1 bis 1 von 1 Treffern
Autor Beitrag
Thema: Reduktion von SAT auf eine Aufgabe
apfelnymous

Antworten: 0
Hits: 2.624
Reduktion von SAT auf eine Aufgabe 04.07.2018 13:53 Forum: Berechenbarkeits- und Komplexitätstheorie


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
Zeige Beiträge 1 bis 1 von 1 Treffern