Run SLOW-ALL-PAIRS-SHORTEST-PATHS on the weighted, directed graph of Figure 25.2, showing the matrices that result for each iteration of the loop. Then do the same for FASTER-ALL-PAIRS-SHORTEST-PATHS.
straightforward.
Why do we require that wii = 0 for all 1≤i≤n?
为了保证递归定义式25.2的正确性.
What does the matrix
0 ∞ ∞ ... ∞
∞ 0 ∞ ... ∞
L(0) = ∞ ∞ 0 ... ∞
. . . . .
. . . . .
. . . . .
∞ ∞ ∞ ... ∞
used in the shortest-paths algorithms correspond to in regular matrix multiplication?
单位矩阵
Show that matrix multiplication defined by EXTEND-SHORTEST-PATHS is associative.
UNSOLVED
Show how to express the single-source shortest-paths problem as a product of matrices and a vector. Describe how evaluating this product corresponds to a Bellman-Ford-like algorithm (see Section 24.1).
UNSOLVED
Suppose we also wish to compute the vertices on shortest paths in the algorithms of this section. Show how to compute the predecessor matrix Π from the completed matrix L of shortest-path weights in O(n3) time.
FING-Π(L, w)
for i <- 1 to n
for j <- 1 to n
for k <- 1 to n
do if L(i,k)+w(k,j) = L(i,j)
do Π(i,j) = k
The vertices on shortest paths can also be computed at the same time as the shortest-path weights. Let us define  to be the predecessor of vertex j on any minimum-weight path from i to j that contains at most m edges. Modify EXTEND-SHORTEST-PATHS and SLOW- ALL-PAIRS-SHORTEST-PATHS to compute the matrices Π(1), Π(2),..., Π(n-1) as the matrices L(1), L(2),..., L(n-1) are computed.
这个改动很简单.
就是更新l(ij)的时候同时更新Π,类似于relax松弛操作.
所以伪代码暂时就不写啦.
The FASTER-ALL-PAIRS-SHORTEST-PATHS procedure, as written, requires us to store ⌈lg(n - 1)⌉ matrices, each with n2 elements, for a total space requirement of Θ(n2 lg n). Modify the procedure to require only Θ(n2) space by using only two n × n matrices.
这道题跟pow(2, n)一样.
pow(2,n)
res <- 1
temp <- 2
while(n > 0)
if n%2 = 1
res *= temp
n--
else
temp *= 2
n /= 2
return res
这里的res和temp就是对应的两个n*n矩阵.
Modify FASTER-ALL-PAIRS-SHORTEST-PATHS so that it can detect the presence of a negative-weight cycle.
只需要查看最后的L(n-1)矩阵.如果对角线上的元素有负值,就说明有负权回路.
Give an efficient algorithm to find the length (number of edges) of a minimum-length negative-weight cycle in a graph.
跟练习25.1-9差不多,我们可以根据L矩阵的对角线判断存不存在负权回路.如果L(m)是第一次对角线出现负值,那么m就是我们的值.
Follow @louis1992 on github to help finish this task.