Proving the Minimum Directed Cycle Mean Cost Using Bellman-Ford Algorithm

  • Thread starter Thread starter Ganesh Ujwal
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving the minimum directed cycle mean cost, denoted as ##\lambda##, using the Bellman-Ford algorithm. It establishes that ##\lambda = \min_{i = 1,\ldots, n} \max_{0 \le k \le n-1} \left(\frac {p_i(n) - p_i(k)} {n-k}\right)##, where ##p_i(t)## represents the length of the shortest walk starting at vertex ##i## and traversing ##t## arcs in a directed graph ##\mathcal G = (\mathcal V, \mathcal A)## with edge costs ##c_{i,j}##. The proof requires understanding the relationship between the shortest paths and the directed cycles formed by traversing ##n## arcs.

PREREQUISITES
  • Understanding of the Bellman-Ford algorithm for shortest paths
  • Knowledge of directed graphs and their properties
  • Familiarity with mathematical induction in proofs
  • Concept of directed cycle mean cost in graph theory
NEXT STEPS
  • Study the Bellman-Ford algorithm implementation and its applications in graph theory
  • Explore mathematical induction techniques for proving properties in graph algorithms
  • Learn about directed graphs and their cycle structures
  • Investigate the implications of cycle mean costs in optimization problems
USEFUL FOR

Mathematicians, computer scientists, and students studying graph theory, particularly those interested in algorithm design and optimization techniques.

Ganesh Ujwal
Messages
51
Reaction score
0
Member warned about not using the homework template
Prove ##\displaystyle \lambda=\min_{i = 1,\ldots, n}\max_{0 \le k \le n-1}\left(\frac {p_i(n)-p_i(k)}{n-k}\right)##
Prove the minimum directed cycle mean cost satisfies: ##\lambda = \min_{i = 1,\ldots, n} \max_{0 \le k \le n-1} \left(\frac {p_i(n) - p_i(k)} {n-k}\right)## using the Bellman-Ford algorithm.Let ##\mathcal G = (\mathcal V, \mathcal A)## be directed graph with associated edge costs ##c_{i,j}## that has at least one directed cycle (##c_{i,j} = \infty## for all ##(i,j) \notin \mathcal A##).Define the directed cycle mean cost to be ##\frac {\{\text {sum of cost of arcs}\}} { \text {# arcs}}##.Set ##p_i(0) = 0## and ##p_i(t+1) = \min_{j \in O(i)} \{ c_{i,j} + p_j(t) \}## for all ##i\in \mathcal V##.I've proven by induction that ##p_i(t)## denotes the length of the shortest walk start starts at ##i## and traverses ##t## arcs.Now, I want to prove that the minimum directed cycle mean cost ##\lambda## satisfies:##\lambda = \min_{i = 1,\ldots, n} \max_{0 \le k \le n-1} \left(\frac {p_i(n) - p_i(k)} {n-k}\right)##, where ##n## is the number of vertices in the graph ##\mathcal G##.I see that traversing ##n## arcs will always create a directed cycle. However, I don't know how to continue from here.
 
Physics news on Phys.org

Homework Statement


Prove ##\lambda=\min_{i = 1,\ldots, n}\max_{0 \le k \le n-1}\left(\frac {p_i(n)-p_i(k)}{n-k}\right)##

Homework Equations


This is the part I can't figure out

The Attempt at a Solution


Prove the minimum directed cycle mean cost satisfies:
##\lambda = \min_{i = 1,\ldots, n} \max_{0 \le k \le n-1} \left(\frac {p_i(n) - p_i(k)} {n-k}\right)##using the Bellman-Ford algorithm.

Let ##\mathcal G = (\mathcal V, \mathcal A)## be directed graph with associated edge costs $c_{i,j}$ that has at least one directed cycle (##c_{i,j} = \infty## for all ##(i,j) \notin \mathcal A##).

Define the directed cycle mean cost to be ##\frac {\{\text {sum of cost of arcs}\}} { \text {# arcs}}##.

Set ##p_i(0) = 0## and ##p_i(t+1) = \min_{j \in O(i)} \{ c_{i,j} + p_j(t) \}## for all ##i\in \mathcal V##.

I've proven by induction that ##p_i(t)## denotes the length of the shortest walk start starts at ##i## and traverses ##t## arcs.

Now, I want to prove that the minimum directed cycle mean cost ##\lambda## satisfies:

##\lambda = \min_{i = 1,\ldots, n} \max_{0 \le k \le n-1} \left(\frac {p_i(n) - p_i(k)} {n-k}\right)##, where ##n## is the number of vertices in the graph ##\mathcal G##.

I see that traversing ##n## arcs will always create a directed cycle. However, I don't know how to continue from here.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
3K