0
dag上的简单路径,后边缘
以下问题( P?NP-hard?)的复杂性是什么:∈∈\in 输入:有向无环图,一组后沿,以及两个不同的节点和。D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt 问题:让表示通过将的边添加到形成的图。是否有从一个简单的路径到在使用至少一个向后边缘?G=(V,E∪E′)G=(V,E∪E′)G=(V,E\cup E')DDDE′E′E'ssstttGGG 注意:0)简单路径是不重复顶点的路径,后边缘是与DAG隐含的偏序相反的边缘。1)如果我们要求简单路径通过平凡减少不相交路径问题来要求简单路径仅使用一个后向边缘(或常数),则该问题就很容易了,这可以接受DAG中的简单PTime解决方案(Perl和Shiloach,JACM'78) 2)不相交路径问题在一般图中是NP完全的(Fortune等人,TCS'80)。