網(wǎng)絡流理論在理論計算機科學、運籌學和離散數(shù)學等學科中均有應用,可用于貨物運輸建模和計算機視覺圖像分割等眾多問題。本書主要源于康奈爾大學的網(wǎng)絡流算法課程講義,包含出版年代較早的經(jīng)典書籍中未能涵蓋的新研究成果。本書采用簡潔且統(tǒng)一的視點,討論解決網(wǎng)絡流問題的多種組合算法、多項式算法及其分析,涵蓋流、小代價流、廣義流、多物流和全局小割集等,還介紹了關于計算電流的新研究成果及其在經(jīng)典問題上的應用。本書可作為面向研究生的網(wǎng)絡流算法教材,也適合該領域的研究人員參考。
拾人花卉,系之一束;他供鮮花,我獻彩帶。
Montaigne
網(wǎng)絡流方面的任何新書似乎都應說明其存在的合理性,因為該領域的權威著作早已出版。我所參考的書籍《網(wǎng)絡流:理論、算法和應用》(Network Flows: Theory, Algorithms, and Applications) 已于 1993 年出版。該書作者為 Ahuja、Magnanti 和 Orlin[4],他們是網(wǎng)絡流算法領域理論研究和實踐應用的先驅(qū)。我用該書作者姓名的首字母 AMO 來代表此書。20 世紀 80 年代末至 90 年代初是研究網(wǎng)絡流問題的組合算法和多項式算法的黃金時期。AMO 不僅討論了當時已完成的大部分研究,還給出了網(wǎng)絡流領域的廣泛綜述,其內(nèi)容貫穿網(wǎng)絡流理論研究和實際應用。既然如此,為何還需寫此書?我有下面三方面的理由。
:關注點問題。我在寫另一領域的嚴謹性書籍 [206] 時意識到,書籍內(nèi)容很難兼顧準確嚴謹 和 簡潔明了。AMO 無疑是前者,本書的目標是后者。本書主要關注網(wǎng)絡流問題的組合算法、多項式算法及其分析。在康奈爾大學運籌學和信息工程學院任教期間,我教過幾次網(wǎng)絡流算法方面的研究生課程,本書內(nèi)容源于對這些課程內(nèi)容的提煉。該課程主要面向運籌學和計算機科學系的學生,也有電氣和土木工程系的部分學生。從教學觀點來看,需做點取舍,以保證本書的大部分內(nèi)容可在一學期內(nèi)講完。
此外,由于本書是課堂教學的成果,其涵蓋的知識點是一次授課所能講完的內(nèi)容。因此,太長或太復雜而無法在一次授課中講完的知識點,本書都不涵蓋。我不太關注網(wǎng)絡流理論中的某些領域,比如沒有多項式運行時間的網(wǎng)絡流應用和算法等。對于本書未涉及的某些網(wǎng)絡流理論部分,感興趣的讀者可參閱 AMO。
第二:提供一些 AMO 沒有涉及的知識。對流問題和小代價環(huán)流問題,雖然本書所提的算法 AMO 也有涉及,但本書給出了一些重要的特殊情形。如前所述,雖然 20 世紀 80 年代末至 90 年代初是研究網(wǎng)絡流算法的黃金時代,但該領域在過去 25 年里的研究成果是 AMO 無法涵蓋的。
1998 年,Goldberg 和 Rao 所發(fā)表的論文 [98] 就是一個著名的研究成果。對流問題,他們給出了至今為止在理論上仍被認為快的算法。1991 年,Wallacher[201] 關于小代價環(huán)流問題的算法是另一個研究成果,該算法具有相當簡單的分析。此外,AMO 出版時,針對某些流問題,一些多項式算法正好脫穎而出。顯然,AMO 無法涵蓋這些算法。
我主要思考的是全局小割集、廣義流和多物流等問題的算法。近年來,內(nèi)點方法在網(wǎng)絡流問題的特殊應用中產(chǎn)生了一些快速算法,但這些算法不是組合算法,因此,它們不在本書的選取范圍內(nèi)。本書還包含了一些與電流經(jīng)典主題相關的成果。
第三:情不自禁。我的主要研究興趣是組合算法和多項式算法,但在網(wǎng)絡流領域,除有一項研究成果外 [173],幾乎一無所獲。所以,作為一位公正的旁觀者,我可以說,該領域是一個優(yōu)美且存在一些有用算法思想的領域,這些算法思想以一種令人愉悅的方式相互支持著。
用前面引述的 Montaigne 的話來說,寫本書的目的就是做選擇和重組,盡我所能地展現(xiàn)一些算法及其分析的美妙之處。希望讀者和我一樣欣賞這終呈現(xiàn)的花束。
David P. Williamson
紐約,伊薩卡
2019 年 1 月
---作者簡介---
大衛(wèi)·P. 威廉姆森(David P. Williamson) 康奈爾大學運籌學和信息工程學院教授,ACM會士,SIAM會士。他在離散優(yōu)化方面的研究獲得了多個獎項,包括2000年由美國數(shù)學協(xié)會和數(shù)學規(guī)劃協(xié)會贊助的Fulkerson獎。他與David B. Shmoys合著的The Design of Approximation Algorithms(Cambridge, 2011)獲得了2013年的INFORMS Lanchester獎。他在多個編委會任職,曾任SIAM Journal on Discrete Mathematics的主編。
---譯者簡介---
吳向軍 博士,中山大學副教授。主要研究方向為人工智能和算法設計等,近年來主要從事智能規(guī)劃領域的研究和規(guī)劃系統(tǒng)的設計與開發(fā)。
譯者序
前言
致謝
第 1 章 預備知識:短路徑算法 1
1.1 無負權邊:Dijkstra 算法 2
1.2 有負權邊:Bellman-Ford算法 5
1.3 負權回路的檢測算法 9
練習 16
章節(jié)后記 17
第 2 章 流算法 19
2.1 化條件 21
2.2 應用:汽車共享問題 27
2.3 應用:棒球隊淘汰問題 28
2.4 應用:密子圖問題 33
2.5 改進增廣路徑算法 37
2.6 容量度量算法 40
2.7 短增廣路徑算法 42
2.8 推送重標算法 44
練習 54
章節(jié)后記 59
第 3 章 全局小割集算法 61
3.1 Hao-Orlin 算法 62
3.2 MA 序算法 68
3.3 隨機合并算法 72
3.4 Gomory-Hu 樹 76
練習 83
章節(jié)后記 85
第 4 章 其他流算法 88
4.1 阻塞流算法 88
4.2 單位容量圖的阻塞流 90
4.3 Goldberg-Rao 算法 92
練習 96
章節(jié)后記 97
版權聲明 97
第 5 章 小代價環(huán)流算法 99
5.1 化條件 101
5.2 Wallacher 算法 104
5.3 小均值回路消去算法 109
5.4 容量度量算法 115
5.5 逐次逼近 119
5.6 網(wǎng)絡單純形 124
5.7 應用: 帶時限的流問題 126
練習 130
章節(jié)后記 136
第 6 章 廣義流算法 139
6.1 化條件 141
6.2 Wallacher 式 GAP 消去算法 146
6.3 負代價 GAP 檢測 151
6.4 有損圖、Truemper 算法和收益度量 155
6.5 誤差度量 161
練習 163
章節(jié)后記 164
第 7 章 多物流算法 166
7.1 化條件 166
7.2 雙物流問題 168
7.3 預備知識:乘權算法 171
7.4 Garg-K.nemann 算法 175
7.5 Awerbuch-Leighton 算法 178
練習 184
章節(jié)后記 185
第 8 章 電流算法 187
8.1 化條件 187
8.2 無向圖的流問題 196
8.3 圖的稀疏化 199
8.4 簡易 Laplacian 求解器 204
練習 210
章節(jié)后記 212
版權聲明 213
第 9 章 開放問題 214
參考文獻 216