本書(shū)是Brian W. Kernighan和Rob Pike合著的最新力作。本書(shū)從排錯(cuò)、測(cè)試、性能、可移植性、設(shè)計(jì)、界面、風(fēng)格和記法等方面，討論了程序設(shè)計(jì)中實(shí)際的、又是非常深刻和具有廣泛意義的思想、技術(shù)和方法，它的翻譯出版將填補(bǔ)國(guó)內(nèi)目前這方面書(shū)籍的空白。本書(shū)值得每個(gè)夢(mèng)想并努力使自己成為優(yōu)秀程序員的人參考，值得每個(gè)計(jì)算機(jī)專業(yè)的學(xué)生和計(jì)算機(jī)工作者閱讀，也可作為程序設(shè)計(jì)高級(jí)課程的教材或參考書(shū)。
Floyd-Warshall算法描述
1)適用范圍：
a)APSP(All Pairs Shortest Paths)
b)稠密圖效果最佳
c)邊權(quán)可正可負(fù)
2)算法描述：
a)初始化：dis[u,v]=w[u,v]
b)For k:=1 to n
For i:=1 to n
For j:=1 to n
If dis[i,j]>dis[i,k]+dis[k,j] Then
Dis[I,j]:=dis[I,k]+dis[k,j]
c)算法結(jié)束：dis即為所有點(diǎn)對(duì)的最短路徑矩陣
3)算法小結(jié)：此算法簡(jiǎn)單有效，由于三重循環(huán)結(jié)構(gòu)緊湊，對(duì)于稠密圖，效率要高于執(zhí)行|V|次Dijkstra算法。時(shí)間復(fù)雜度O(n^3)。
考慮下列變形：如(I,j)∈E則dis[I,j]初始為1,else初始為0，這樣的Floyd算法最后的最短路徑矩陣即成為一個(gè)判斷I,j是否有通路的矩陣。更簡(jiǎn)單的，我們可以把dis設(shè)成boolean類型，則每次可以用“dis[I,j]:=dis[I,j]or(dis[I,k]and dis[k,j])”來(lái)代替算法描述中的藍(lán)色部分，可以更直觀地得到I,j的連通情況。
