Übung Modellierung/Graphen

• Erreichbarkeit in ungerichteten Graphen:

  wenn E symmetrisch, dann ist E^* eine Äquivalenz-Relation

• topologisches Sortieren:

  wenn (V, E) ein DAG, dann gibt es eine Knotenreihenfolge ohne Rückwärtskanten

  (1. Aussage formulieren, 2. beweisen)

• weiteres Scheduling-Beispiel (lesen)
• Scheduling-Beispiel (Klausursitzplan) (schreiben)
• Zustandsübergänge bei Spielen/Puzzles (Bauer/Kohl/Ziege/Wolf, Umfüllen von Flüssigkeiten, Lunar Lockout)