是否有一种算法可以解决以下决策问题:
给定一个G由其转移矩阵定义的强连通加权有向图,是否存在G没有负周期的强连通跨度子图?
的强连接子图G是与G共享相同顶点的强连接子图G。您可以在本文中找到强连通生成子图的定义。在本文中,他们为最小强连通子图问题提供了一个近似值。
解决此问题的一种幼稚方法是使用Ford-Bellman或Floyd-Warshall算法找到图的负循环,从该循环中删除边,并在图仍然牢固连接时重复进行。但是这种幼稚的方法的时间复杂度很差,因为我们可能会运行福特贝尔曼算法并多次检查强连通性-而且我无法证明该算法在所有情况下都是正确的。
我希望在这里找到专家,他们可以告诉我该决策问题是否可以在多项式时间内解决,以及采用哪种算法可以解决。提前谢谢了。