计算图的传递闭包所需的渐近运行时间?

时间:2009-03-31 23:58:37

标签: language-agnostic runtime theory graph-theory

图的传递闭包定义为e。 G。在这里:http://mathworld.wolfram.com/TransitiveClosure.html

很容易在O(n ^ 3)中,其中n是顶点的数量。我想知道它是否可以及时完成O(n ^ 2)。

3 个答案:

答案 0 :(得分:3)

不。我不认为它有O(n 2 )算法。我希望如果存在这样的算法,你也可以解决O(n 2 )中的所有对最短路径问题,但事实并非如此。我能想到的渐近最快的算法是Dijkstra的最短路径算法的实现,其中包含Fibonacci堆(O( n 2 log n )不是非常密集的图表。)

答案 1 :(得分:1)

嗯。我找到了一个算法,用于计算O(n ^ 2)EXPECTED运行时的传递闭包。

答案 2 :(得分:1)

鉴于此:

  

你能想出一个O(kn ^ 2 + m)传递闭合/缩减   算法,其中k是传递中丢失/额外边缘的数量   闭合/还原?

对于那些比我们更多地思考这些事情的人来说仍然被认为是一个悬而未决的问题,我会说“我不知道”。

(但如果你解决它并想要博士学位,我就知道 算法。)