トポロジカルソートですが、特定の種類のグループ化があります

Question

これは一般的なスケジューリングの問題であるに違いないようですが、解決策や問題の呼び方すらわかりません。トポロジカルソートのようなものですが、違います...

いくつかの依存関係がある場合、たとえば ジェネラコディセタグプレ

トポロジカルソートには複数の解決策がある可能性があります： ジェネラコディセタグプレ

両方のソリューションです。

これを返すアルゴリズムが必要です： ジェネラコディセタグプレ

つまり、Aを実行し、次にBとCのすべてを実行してから、Dを実行できます。すべてのあいまいさまたはドントケアがグループ化されます。

トポロジカルソートとグループ化のようなアルゴリズムではケースが正しく処理されないと思います次のように。 ジェネラコディセタグプレ

このため、アルゴリズムはを返す必要があります ジェネラコディセタグプレ

これ ジェネラコディセタグプレ

戻る必要があります ジェネラコディセタグプレ

この間 ジェネラコディセタグプレ

戻る必要があります ジェネラコディセタグプレ

そしてこれ ジェネラコディセタグプレ

戻る必要があります ジェネラコディセタグプレ

この問題の名前と従来の解決策はありますか？ （そして、グループ化によるトポロジカルソートに投稿されたアルゴリズムはこれを正しく処理しますか？）

編集して他の例のリクエストに答える： ジェネラコディセタグプレ

戻る必要があります ジェネラコディセタグプレ

そして ジェネラコディセタグプレ

戻る必要があります ジェネラコディセタグプレ

そして ジェネラコディセタグプレ

戻る必要があります ジェネラコディセタグプレ

Answer 1

Gをグラフの推移閉包とします。G 'を、Gから方向を削除し、補集合を取ることから生じる無向グラフとします。G 'の連結成分は、探しているセットです。