最適状態に収束し、その後停止/ステータス維持するアルゴリズムの設計

並列実行時にも最適状態に収束するためには、グローバル状態空間がDAG構造を形成することが必要かつ十分な条件である。