Ремонт принтеров, сканнеров, факсов и остальной офисной техники


назад Оглавление вперед




[174]

вершину j, если рассматривать пути с не более чем т рёбрами. При т = 0 допустимы лишь «пути» вовсе без рёбер, то есть

d(o) j 0 если i = j,

оо если г ф j.

Если же т 1, то минимум d достигается либо на пути из не

более чем т - 1 ребра (и тогда равен d1 ), либо же на пути из т ребер. В последнем случае этот путь можно разбить на начальный отрезок из т - 1 рёбер, ведущий из начальной вершины г в некоторую вершину к, и на последнее ребро (k,j). Мы приходим к формуле

4т) = тт(4т 1) mm {d{~l) + wkj}) =

r j(m-l) .-i

(Последнее равенство использует равенство Wjj = 0.)

Если граф не содержит циклов с отрицательными весами, кратчайший путь можно выбрать без циклов; такой путь содержит не более га - 1 рёбер. Следовательно,

s(ij) = 4?-v = 4? = 4?+v = .., (2б.з)

Вычисление кратчайших путей «снизу вверх»

По заданной матрице весов W = (wij) мы будем последовательно

вычислять матрицыD2\ ... , D1, где Dm) = (m)). Как

мы видели, последняя матрицабудет содержать веса крат-

чайших путей. Заметим, что матрица(веса путей из одного

ребра) совпадает с W.

Шаг алгоритма состоит в вычислении Dm) По JJ)(m 1) и W.

{\sc Extend-Shortest-Paths}$(D,W)$\\

\verb \verb \verb \verb \verb \verb \verb \verb

1$n \leftarrow rows[D]$\\

2пусть $D=(d {ij>)$ --- $n\times п$-матрица

3I for $i \leftarrow 1$ to $n$\\

4I do for $j \leftarrow 1$ to $n$\\

5I do $d {ij> \leftarrow \infty$\\

6I for $k \leftarrow 1$ to $n$\\

7I do $d {ij> \leftarrow \min(d {

8I return $D$\\

Эта процедура вычисляет матрицу D в соответствии с формулой (26.2) при этом роль матриц D и D играют матрицы JJ)(m 1) и 7J)(m). Процедура содержит три вложенных цикла, так что время её работы есть в (га3).


Чтобы увидеть аналогию этой процедуры с процессом умножения матриц, запишем процедуру умножения матриц А ж В размером га X га по формуле

п

ctJ = агк bkj(26.4)

k=i

{\sc Matrix-Multiply}$(A,B)$\\ \verbl $n \leftarrow rows[A]$\\

\verb2 Iпусть $C=(c {ij})$---$n\times п$-матрица

\verb3 I for $i \leftarrow 1$ to $n$\\

\verb4I do for $j \leftarrow 1$ to $n$\\

\verb5I do $c {ij> \leftarrow 0$\\

\verb6I for $k \leftarrow 1$ to $n$\\

\verb7I do $c {ij} \leftarrow c {ij}+a {ik}\cdot

b {kj>$\\

\verb8 I return $C$

Видно, что эта процедура получается из предыдущей заменами

d(m-l)

а,

w -7> Ь, rf(m) -> с, min -т- +,

+•

При этом символу оо, являющемуся нейтральным элементом для операции min (в том смысле, что min(oo,a) = а, соответствует число 0, являющееся нейтральным элементов для операции + (0 + а = а).

С точки зрения этой аналогии, мы как бы вычисляем «произведение» га-1 экземпляров матрицы W с помощью последовательных умножений:

= z>(°)

W

= w,

Z>(2)

= £>(i)

W

= w2.

= Z)(2)

W

= w3

£)("-!)

= D(n~

= Wn

Результат этих «умножений», матрица= Wn~l содержит

веса кратчайших путей. Оформим описанное вычисление в виде процедуры (с временем работы О (га4)):

{\sc Slow-All-Paths-Shortest-Paths}$(W)$\\ \verb11 I$n \leftarrow rows[W]$\\


( о

DC1)

-4\

оо оо 2

3 7 2

V8

О

4 оо

оо оо /О 3

оо О

-5 оо -3 -4 О

оо 1 7 оо оо О 6 2 1 5

1 -5 О 1 6

/ о

оо

О )

-1 11 -2

О /

£>(2)

£>(4)

3

оо 2 8

3 7 2

\8

О

4

-1 оо 1 О

4

-1 5

О

1

-5 О 1 6

-4\

7 11 -2

О / -4\

-1 3

-2 О /

Рис. 26.1 26.1 Ориентированный граф G и последовательность матриц DmK Можно убедиться, что матрица

£>(5) = d(4) . w

значит, и все последующие)

будет равна £>4.

\verb2$D~{(1)> \leftarrow W$\\

\verb3I for $m \leftarrow 2$ to $n-l$\\

\verb4I do $D~{(m)} \leftarrow \mbox{\sc Extend-Shortest-Paths}(D~{(m-:

)$\\

\verb5I return $D~{(n-l)}$\\

На рис. 26.1 показан пример графа и соответствующих ему матриц L>(m).

Более быстрый способ

Заметим, что мы вычисляем все матрицы Dm\ хотя нас интересует лишь матрица

D(n-i)

или любая из следующих за ней (при отсутствии циклов с отрицательными весами все они равны). Продолжим аналогию с умножением: степень числа а можно вычислить быстрее, если не домножать всё время на а, а возводить в квадрат (такой метод заведомо применим, если показатель степени есть 2,4,8,...).

Аналогичным образом мы мы можем определить Dn выполнив всего \lg(n - 1)] умножений матриц, вычисляя матрицы в последовательности

L>W=W

L)(2)=W2=W-W,

£)(4)=W4=W2-W2,

£)(8)=W8=W-W4,

то тех пор, пока показатель степени станет большим или равным п-1 (при этом он будет равен 2Г1§(П 1)1, как легко видеть).

Реализуем этот метод повторного возведения в квадрат (repeated squaring) в виде процедуры:

{\sc Faster-All-Pairs-Shortest-Paths}$(W)$\\



[стр.Начало] [стр.1] [стр.2] [стр.3] [стр.4] [стр.5] [стр.6] [стр.7] [стр.8] [стр.9] [стр.10] [стр.11] [стр.12] [стр.13] [стр.14] [стр.15] [стр.16] [стр.17] [стр.18] [стр.19] [стр.20] [стр.21] [стр.22] [стр.23] [стр.24] [стр.25] [стр.26] [стр.27] [стр.28] [стр.29] [стр.30] [стр.31] [стр.32] [стр.33] [стр.34] [стр.35] [стр.36] [стр.37] [стр.38] [стр.39] [стр.40] [стр.41] [стр.42] [стр.43] [стр.44] [стр.45] [стр.46] [стр.47] [стр.48] [стр.49] [стр.50] [стр.51] [стр.52] [стр.53] [стр.54] [стр.55] [стр.56] [стр.57] [стр.58] [стр.59] [стр.60] [стр.61] [стр.62] [стр.63] [стр.64] [стр.65] [стр.66] [стр.67] [стр.68] [стр.69] [стр.70] [стр.71] [стр.72] [стр.73] [стр.74] [стр.75] [стр.76] [стр.77] [стр.78] [стр.79] [стр.80] [стр.81] [стр.82] [стр.83] [стр.84] [стр.85] [стр.86] [стр.87] [стр.88] [стр.89] [стр.90] [стр.91] [стр.92] [стр.93] [стр.94] [стр.95] [стр.96] [стр.97] [стр.98] [стр.99] [стр.100] [стр.101] [стр.102] [стр.103] [стр.104] [стр.105] [стр.106] [стр.107] [стр.108] [стр.109] [стр.110] [стр.111] [стр.112] [стр.113] [стр.114] [стр.115] [стр.116] [стр.117] [стр.118] [стр.119] [стр.120] [стр.121] [стр.122] [стр.123] [стр.124] [стр.125] [стр.126] [стр.127] [стр.128] [стр.129] [стр.130] [стр.131] [стр.132] [стр.133] [стр.134] [стр.135] [стр.136] [стр.137] [стр.138] [стр.139] [стр.140] [стр.141] [стр.142] [стр.143] [стр.144] [стр.145] [стр.146] [стр.147] [стр.148] [стр.149] [стр.150] [стр.151] [стр.152] [стр.153] [стр.154] [стр.155] [стр.156] [стр.157] [стр.158] [стр.159] [стр.160] [стр.161] [стр.162] [стр.163] [стр.164] [стр.165] [стр.166] [стр.167] [стр.168] [стр.169] [стр.170] [стр.171] [стр.172] [стр.173] [стр.174] [стр.175] [стр.176] [стр.177] [стр.178] [стр.179] [стр.180] [стр.181] [стр.182] [стр.183] [стр.184] [стр.185] [стр.186] [стр.187] [стр.188] [стр.189] [стр.190] [стр.191] [стр.192] [стр.193] [стр.194] [стр.195] [стр.196] [стр.197] [стр.198] [стр.199] [стр.200] [стр.201] [стр.202] [стр.203] [стр.204] [стр.205] [стр.206] [стр.207] [стр.208] [стр.209] [стр.210] [стр.211] [стр.212] [стр.213] [стр.214] [стр.215] [стр.216] [стр.217] [стр.218] [стр.219] [стр.220] [стр.221] [стр.222] [стр.223] [стр.224] [стр.225] [стр.226] [стр.227] [стр.228] [стр.229] [стр.230] [стр.231] [стр.232] [стр.233] [стр.234] [стр.235] [стр.236] [стр.237] [стр.238] [стр.239] [стр.240] [стр.241] [стр.242] [стр.243] [стр.244] [стр.245] [стр.246] [стр.247] [стр.248] [стр.249] [стр.250] [стр.251] [стр.252] [стр.253] [стр.254] [стр.255] [стр.256] [стр.257] [стр.258] [стр.259] [стр.260] [стр.261] [стр.262] [стр.263] [стр.264] [стр.265] [стр.266] [стр.267] [стр.268] [стр.269] [стр.270] [стр.271] [стр.272] [стр.273] [стр.274] [стр.275] [стр.276] [стр.277] [стр.278] [стр.279] [стр.280] [стр.281] [стр.282] [стр.283] [стр.284] [стр.285] [стр.286] [стр.287] [стр.288] [стр.289] [стр.290] [стр.291] [стр.292] [стр.293] [стр.294]