Probleme und Algorithmen, die einen gerichteten azyklischen Graphen (DAG) induzieren

Die Ausführung eines Algorithmus, der in einem DAG konvergiert und dann terminiert/stottert, erfordert, dass der Zustandsraum, den er durchläuft, einen DAG bildet und seine Senkenknoten optimale Zustände sind. Dieser Beitrag untersucht die Bedingungen, die garantieren, dass die Ausführung eines Algorithmus korrekt ist, auch wenn er parallel und ohne Synchronisation ausgeführt wird.