0
後方エッジのあるDAGの単純なパス
次の問題の複雑さは何ですか(?NP-hard?):∈∈\in 入力:有向非巡回グラフ、後方エッジの集合E ' ⊂ V × V、及び二つの異なるノードS及びT。D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt 質問:レッツに添加することにより形成されたグラフで表すDからエッジEを'。少なくとも1つの後方エッジを使用するG のsからtへの単純なパスはありますか?G=(V,E∪E′)G=(V,E∪E′)G=(V,E\cup E')DDDE′E′E'ssstttGGG 注:0)シンプルパスは、頂点が繰り返されないパスです。後方エッジは、DAGによって暗示される部分的な順序と矛盾するエッジです。1)DAGでの単純なPTimeソリューションを認める分離パス問題への自明な削減により、単純なパスに正確に1つのバックワードエッジ(または定数)を使用するように要求した場合、問題は簡単です(PerlおよびShiloach、JACM'78)。 2)素な経路の問題は、一般的なグラフではNP完全です(Fortune et al。、TCS'80)。