Comp Sci Prove Dijkstra's O(E + VlogV) complexity

Click For Summary
Dijkstra's algorithm complexity can be analyzed by considering the operations on edges and vertices, leading to a formula of O(E + V log V). Each edge and vertex must be visited to ensure the minimum path is found, contributing to the overall complexity. The use of Fibonacci Heaps allows for efficient operations, with the decrease key operation being O(1) and the extract minimum operation being O(log V). To prove the complexity, one must establish that the time for edge operations is constant and that sorting requires at least O(log n). This framework demonstrates the efficiency of Dijkstra's algorithm when implemented with Fibonacci Heaps.
SadPaul
Messages
2
Reaction score
0
Homework Statement
Prove that Dijkstra's time complexity O(E + VlogV) with Fibonacci priority queue is the best by reducing it to a sorting problem
Relevant Equations
-
My effort:
I think that the sorting problem in question is Heap Sort which has an O(logV) complexity, but how can I operate with that information so I can solve this? Can you help me by giving me the outline of an idea?
 
Physics news on Phys.org
I would reason this way:

You have to visit each edge and each vertex at least once, for otherwise you might lose the minimum. This gets you ##O(|E|\cdot T_1 +|V|\cdot T_2)## where ##T_i## is the time you use at each edge: ##T_1=T(\text{decrease key})## and the time at each vertex: ##T_2=T(\text{extract minimum})##.

To extract minimum we use Fibonacci Heaps which run in ##O(\log n)##. So all you have to do is to show that ##T_1=O(1)## and ##T_2 > O(\log |V|)##. So you have to show the lower boundary for the sort operation via Fibonacci heap (sufficiency) and that any sort algorithm needs at least ##O(\log n)## (necessity).
 
  • Like
Likes SadPaul

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K