Das Logik-Puzzle "Spotlight" ist eine NP-vollständige Denksportaufgabe, die wir in dieser Praxisaufgabe mit Hilfe eines aussagenlogischen SAT(isfiability) Solvers lösen wollen.
Für die vollständige Lösung dieser Praxisaufgabe erhalten Sie 1,5 Bonuspunkte fur die Abschlussklausur (bitte beachten Sie die Erlauterung zu Bonuspunkten auf der Webseite zur Vorlesung).
Auch für Teillosungen, die nicht in allen Fallen korrekte Ergebnisse liefern, werden Punkte anteilig vergeben.
Die Abgabe der Praxisaufgabe erfolgt über die Abgabe-Seite. Auf dieser Seite müssen Sie sich beim ersten Betreten mit Ihrer Matrikelnummer registrieren.
Wir haben einen Dienst installiert, der regelmäßig die abgegebenen Lösungen übersetzt und mit einigen Beispielproblemen konfrontiert. Sie können das Protokoll dieses Laufes einsehen, sobald dieser erfolgt ist.
