Optimierung in dynamischer Umgebung Lösung 2

  Die Teilmenge aller Inputs, für die die Antwort “ja” ist, ist offenbar eine Sprache.. Sprachbeschreibungen

; D EMAINE , Erik D.: PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model

Die Schranken der Existenzvariablen x und z müssen in das Ungleichungssystem

a) Die Formel ist nicht erfüllbar. Dies erkennt man daran, dass an der markierten Stelle die beiden roten Kanten nicht gleichzeitig nach oben zeigen können, während die blaue Kante

Gerichtete Graphen unterscheiden sich von ungerichteten dadurch, dass die Kanten nicht Mengen (ungerichtet) sondern geordnete Paare von Knoten (gerichtet) sind... Grad

(Die beiden letzten F¨ alle kann man auch gut mit dem Intervallhalbierungsverfahren ohne Computerhilfe rechnen.). Alle Serien sind im WWW erh¨

– Für jedes Label der ursprünglichen Aufgabe wird eine binäre Variable eingeführt (einen Knoten im Graphen der neuen Aufgabe). – Die neuen Knoten werden mit „speziellen“ Kanten

In einem sozialen Netzwerk, beispielsweise bestehend aus einer Men- ge von Personen (repr¨ asentiert durch Knoten) und der unter diesen Personen stattfindenden Kommunikation