《信息技術(shù)和電氣工程學(xué)科國際知名教材中譯本系列:凸優(yōu)化》從理論、應(yīng)用和算法三個方面系統(tǒng)地介紹凸優(yōu)化內(nèi)容。
凸優(yōu)化在數(shù)學(xué)規(guī)劃領(lǐng)域具有非常重要的地位。從應(yīng)用角度看,現(xiàn)有算法和常規(guī)計算能力已足以可靠地求解大規(guī)模凸優(yōu)化問題,一旦將一個實際問題表述為凸優(yōu)化問題,大體上意味著相應(yīng)問題已經(jīng)得到徹底解決,這是非凸的優(yōu)化問題所不具有的性質(zhì)。從理論角度看,用凸優(yōu)化模型對一般性非線性優(yōu)化模型進行局部逼近,始終是研究非線性規(guī)劃問題的主要途徑,因此,通過學(xué)習(xí)凸優(yōu)化理論,可以直接或間接地掌握數(shù)學(xué)規(guī)劃領(lǐng)域幾乎所有重要的理論結(jié)果。由于上述原因,對于涉足優(yōu)化領(lǐng)域的人員,無論是理論研究還是實際應(yīng)用,都應(yīng)該對凸優(yōu)化理論和方法有一定程度的了解。
本書內(nèi)容非常豐富。理論部分由4章構(gòu)成,不僅涵蓋了凸優(yōu)化的所有基本概念和主要結(jié)果,還詳細介紹了幾類基本的凸優(yōu)化問題以及將特殊的優(yōu)化問題表述為凸優(yōu)化問題的變換方法,這些內(nèi)容對靈活運用凸優(yōu)化知識解決實際問題非常有用。應(yīng)用部分由3章構(gòu)成,分別介紹凸優(yōu)化在解決逼近與擬合、統(tǒng)計估計和幾何關(guān)系分析這三類實際問題中的應(yīng)用。算法部分也由3章構(gòu)成,依次介紹求解無約束凸優(yōu)化模型、等式約束凸優(yōu)化模型以及包含不等式約束的凸優(yōu)化模型的經(jīng)典數(shù)值方法,以及如何利用凸優(yōu)化理論分析這些方法的收斂性質(zhì)。通過閱讀本書,能夠?qū)ν箖?yōu)化理論和方法建立完整的認識。
本書對每章內(nèi)容都配備了大量習(xí)題,因此也非常適合用作教科書。實際上,該書多年來已在美國多所大學(xué)用于課堂教學(xué),近兩年也在清華大學(xué)自動化系用作相關(guān)研究生課程的主要教材。
本書由美國斯坦福大學(xué)StephenBoyd教授和加州大學(xué)洛杉磯分校LievenVanden-berghe教授合著,從理論、應(yīng)用和算法三個方面系統(tǒng)地介紹凸優(yōu)化內(nèi)容。
凸優(yōu)化在數(shù)學(xué)規(guī)劃領(lǐng)域具有非常重要的地位。從應(yīng)用角度看,現(xiàn)有算法和常規(guī)計算能力已足以可靠地求解大規(guī)模凸優(yōu)化問題,一旦將一個實際問題表述為凸優(yōu)化問題,大體上意味著相應(yīng)問題已經(jīng)得到徹底解決,這是非凸的優(yōu)化問題所不具有的性質(zhì)。從理論角度看,用凸優(yōu)化模型對一般性非線性優(yōu)化模型進行局部逼近,始終是研究非線性規(guī)劃問題的主要途徑,因此,通過學(xué)習(xí)凸優(yōu)化理論,可以直接或間接地掌握數(shù)學(xué)規(guī)劃領(lǐng)域幾乎所有重要的理論結(jié)果。由于上述原因,對于涉足優(yōu)化領(lǐng)域的人員,無論是理論研究還是實際應(yīng)用,都應(yīng)該對凸優(yōu)化理論和方法有一定程度的了解。
本書內(nèi)容非常豐富。理論部分由4章構(gòu)成,不僅涵蓋了凸優(yōu)化的所有基本概念和主要結(jié)果,還詳細介紹了幾類基本的凸優(yōu)化問題以及將特殊的優(yōu)化問題表述為凸優(yōu)化問題的變換方法,這些內(nèi)容對靈活運用凸優(yōu)化知識解決實際問題非常有用。應(yīng)用部分由3章構(gòu)成,分別介紹凸優(yōu)化在解決逼近與擬合、統(tǒng)計估計和幾何關(guān)系分析這三類實際問題中的應(yīng)用。算法部分也由3章構(gòu)成,依次介紹求解無約束凸優(yōu)化模型、等式約束凸優(yōu)化模型以及包含不等式約束的凸優(yōu)化模型的經(jīng)典數(shù)值方法,以及如何利用凸優(yōu)化理論分析這些方法的收斂性質(zhì)。通過閱讀本書,能夠?qū)ν箖?yōu)化理論和方法建立完整的認識。
本書對每章內(nèi)容都配備了大量習(xí)題,因此也非常適合用作教科書。實際上,該書多年來已在美國多所大學(xué)用于課堂教學(xué),近兩年也在清華大學(xué)自動化系用作相關(guān)研究生課程的主要教材。
本書前言及第1,3,5,7章由許鋆翻譯;第2,4,6,8章由黃曉霖翻譯;第9~11章及附錄部分由王書寧翻譯。全書由王書寧定稿。
感謝StephenBoyd教授提供本書英文版本的電子文件,為翻譯本書提供了極大的便利。
譯者
2012年10月
前言
本書研究優(yōu)化問題的一個重要分支凸優(yōu)化。事實上,最小二乘以及線性規(guī)劃問題都屬于凸優(yōu)化問題。眾所周知,關(guān)于最小二乘和線性規(guī)劃問題的理論相當(dāng)成熟,這兩個問題出現(xiàn)在很多應(yīng)用領(lǐng)域,均能很快地進行數(shù)值求解。本書的基本觀點是,除了這兩個問題以外,還有很多凸優(yōu)化問題亦是如此。
盡管凸優(yōu)化的研究已經(jīng)持續(xù)了一個世紀左右,然而,最近一些相關(guān)的研究成果使得這一問題重新引起人們的關(guān)注。這當(dāng)中首推對內(nèi)點法的重新認識。內(nèi)點法于20世紀80年代提出,本是用以求解線性規(guī)劃問題,但是最近人們認識到,它亦可以被應(yīng)用于求解凸優(yōu)化問題。這些新的方法使得我們可以如求解線性規(guī)劃一樣有效求解一些特殊的凸優(yōu)化問題,如半定規(guī)劃以及二階錐規(guī)劃問題。
第二個相關(guān)的研究成果是人們發(fā)現(xiàn)凸優(yōu)化問題(不僅僅是最小二乘和線性規(guī)劃)在實踐中的應(yīng)用遠遠超乎人們的想象。從20世紀90年代開始,凸優(yōu)化即被用在自動控制系統(tǒng)、估計和信號處理、通信網(wǎng)絡(luò)、電路設(shè)計、數(shù)據(jù)分析及建模、統(tǒng)計和金融方面。此外,在組合優(yōu)化以及全局優(yōu)化方面,凸優(yōu)化經(jīng)常被用來估計最優(yōu)值的界以及給出近似解。我們相信,還有很多其他凸優(yōu)化的應(yīng)用領(lǐng)域正在等待著人們?nèi)グl(fā)現(xiàn)。
發(fā)現(xiàn)某個問題是凸優(yōu)化問題或能將其描述為凸優(yōu)化問題將會大有裨益。最本質(zhì)的好處就是對此問題可以用內(nèi)點法或者其他凸優(yōu)化方法進行可靠且迅速的求解。這些求解方法可靠,足以嵌入于電腦輔助設(shè)計或分析工具,甚至用于實時響應(yīng)系統(tǒng)或者自動控制系統(tǒng)。此外,將某個問題描述為凸優(yōu)化問題還具有理論或概念上的優(yōu)越性。例如,相應(yīng)的對偶問題經(jīng)?梢曰谠瓎栴}給出有意義的解釋,有時可導(dǎo)向有效的或分布式的求解原問題的方法。
我們認為,凸優(yōu)化非常重要,任何從事計算數(shù)學(xué)的人至少需要對其有一定的了解。在我們看來,凸優(yōu)化理所當(dāng)然地是繼近代線性代數(shù)(如最小二乘,奇異值)和線性規(guī)劃之后的又一重要領(lǐng)域。
本書目的
對于很多一般性的優(yōu)化方法,通常人們用它直截了當(dāng)?shù)卦嚱獯獾膯栴}。凸優(yōu)化就與此不同,只有我們知道待解的問題是凸的,它的優(yōu)越性才可能完整地體現(xiàn)出來。當(dāng)然,很多優(yōu)化問題是非凸的,判斷某個問題是否凸或者將某個問題表述為凸優(yōu)化的形式是比較困難的。
本書的主要目的是幫助讀者掌握應(yīng)用凸優(yōu)化方法的相關(guān)知識,即判斷、描述以及求解凸優(yōu)化問題的技能和背景知識。
獲取凸優(yōu)化的相關(guān)應(yīng)用知識對數(shù)學(xué)要求較高,對于主要關(guān)注應(yīng)用的讀者更是如此。根據(jù)我們的經(jīng)驗,對于電氣工程以及計算科學(xué)的研究生來說,在這方面的投入會獲得良好的、有時是豐厚的回報。
在此之前,有不少關(guān)于線性規(guī)劃以及一般的非線性規(guī)劃的書籍,這些書籍的側(cè)重點在于問題的描述,建模以及應(yīng)用。另有一些書籍主要討論凸優(yōu)化的理論,內(nèi)點法以及復(fù)雜度分析。本書介于二者之間,介紹一般的凸優(yōu)化理論,側(cè)重于問題描述以及建模。
我們也要指出本書并不追求什么。它不是一本側(cè)重于凸分析或者凸優(yōu)化的數(shù)學(xué)知識的教材,已經(jīng)有一些別的書籍涵蓋了這些內(nèi)容。此外,本書也不是凸優(yōu)化算法的一個綜述。我們只是挑選了一些較好的算法,介紹其簡化了的或者是典型的形式(但是它們在實踐中確實能發(fā)揮作用)。本書也不試圖涵蓋求解凸問題的內(nèi)點法(或其他方法)的最新發(fā)展動態(tài)。雖然本書所提供的一些數(shù)值仿真實例經(jīng)過了高度簡化,但是我們認為,它們能夠適應(yīng)一些潛在用戶的應(yīng)用要求。并且,對于一些凸優(yōu)化算法,本書詳細地探討了如何利用問題的結(jié)構(gòu)使得求解更為迅速。對于所描述算法的復(fù)雜性理論,我們也只是以一種簡單方式進行了介紹。然而,對于內(nèi)點法的自和諧和復(fù)雜度分析的重要思想我們都有一定的介紹。
讀者范圍
對于在工作中需要用到數(shù)學(xué)優(yōu)化,或者更一般地說,用到計算數(shù)學(xué)的科研人員、科學(xué)家以及工程師,本書較為適合。這些人群包括直接從事優(yōu)化或者運籌學(xué)的科技工作者,亦包括一些工作在其他科學(xué)和工程領(lǐng)域但是需要借助數(shù)學(xué)優(yōu)化工具的科技工作者,這些領(lǐng)域包括計算科學(xué)、經(jīng)濟學(xué)、金融、統(tǒng)計學(xué)、數(shù)據(jù)挖掘等。本書主要針對后者,即可能使用凸優(yōu)化的科技工作者,而不是針對人數(shù)相對少很多的凸優(yōu)化領(lǐng)域的專家。
在閱讀本書之前,讀者只需要掌握現(xiàn)代微積分和線性代數(shù)的相關(guān)知識。如果讀者對一些基本的數(shù)學(xué)分析知識(如范數(shù)、收斂性、初等拓撲學(xué))和基本的概率論有一定的了解,應(yīng)能較好地理解本書的所有論證和討論。當(dāng)然,我們希望即使沒有學(xué)過數(shù)學(xué)分析和概率論的讀者也能夠理解本書所有的基本思想和要點。此外,本書的正文以及附錄部分包含了數(shù)值計算和優(yōu)化方法需要的所有輔助資料,因此,讀者并不需要事先具備這些知識。
使用本書作為教材
我們希望本書能夠在不同的課程中作為基本教材或者是參考教材發(fā)揮它的作用。從1995年開始,我們即在Stanford和UCLA的一些研究生課程中使用本書的初稿,這些課程包括線性優(yōu)化、非線性優(yōu)化和凸優(yōu)化(偏工程應(yīng)用)。我們的經(jīng)驗表明,用一個研究生課程的四分之一時間即可以粗略講授完本書的大部分內(nèi)容,如果用一個滿學(xué)期的課程時間,講課進度就可以比較從容,也可以增加更多的例子,并且可以更加詳盡地討論有關(guān)理論。若能用兩個四分之一的研究生課程時間,就可以對線性規(guī)劃和二次規(guī)劃(對于以應(yīng)用為目的的學(xué)生極為重要)這些基本內(nèi)容進行較廣泛的討論,或者對學(xué)生布置更多的大練習(xí)。
本書可以作為線性優(yōu)化、非線性優(yōu)化等基礎(chǔ)課的參考讀物。對于涉及凸優(yōu)化的應(yīng)用領(lǐng)域如控制系統(tǒng)等課程,本書亦可以作為替換教材。此外,對于凸優(yōu)化方面更關(guān)注理論的課程,本書可以作為輔助教材,它提供了一些簡單的實際例子。
致謝
本書的完成歷時將近十年。這十年中,我們收到了不少關(guān)于本書的反饋以及建議,這些建議來自我們的研究生、我們課程上的學(xué)生以及我們在Stanford和UCLA的同事等。篇幅有限,我們無法一一表達我們的感謝,僅列出下述名單,表達我們誠摯的謝意。A.Aggarwal,V.Balakrishnan,A.Bernard,B.Bray,R.Cottle,A.d’Aspremont,
J.Dahl,J.Dattorro,D.Donoho,J.Doyle,L.ElGhaoui,P.Glynn,M.Grant,A.Hansson,T.Hastie,A.Lewis,M.Lobo,Z.-Q.Luo,M.Mesbahi,W.Naylor,P.Parrilo,
I.Pressman,R.Tibshirani,B.VanRoy,L.Xiao和Y.Ye.我們要感謝J.Jalden以及A. d’Aspremont 在時間序列分析§6.5.4 中所提供的例子,§6.5.5中的界定顧客喜好的例子也由他們提供。此外,感謝P.Parrilo對習(xí)題4.4和習(xí)題4.56所提供的建議。
我們還要特別感謝兩個人。ArkadiNemirovski引發(fā)了我們對凸優(yōu)化的興趣并且鼓勵我們撰寫本書。而KishanBaheti對本書的完成也發(fā)揮了極大的作用。早在1994年的時候,他就鼓勵我們以凸優(yōu)化在實際工程中的應(yīng)用為題申請美國科學(xué)基金會的科研課程基金,本書可以認為是當(dāng)年的基金成果,雖然在時間上可能有所滯后。
StephenBoydStanford,CaliforniaLievenVandenbergheLosAngeles,California
2003 年7 月
1 引言
1.1 數(shù)學(xué)優(yōu)化
1.2 最小二乘和線性規(guī)劃
1.3 凸優(yōu)化
1.4 非線性優(yōu)化
1.5 本書主要內(nèi)容
1.6 符號
參考文獻
I 理論
2 凸集
2.1 仿射集合和凸集
2.2 重要的例子
2.3 保凸運算
2.4 廣義不等式
2.5 分離與支撐超平面
2.6 對偶錐與廣義不等式
參考文獻
習(xí)題
3 凸函數(shù)
3.1 基本性質(zhì)和例子
3.2 保凸運算
3.3 共軛函數(shù)
3.4 擬凸函數(shù)
3.5 對數(shù)-凹函數(shù)和對數(shù)-凸函數(shù)
3.6 關(guān)于廣義不等式的凸性
參考文獻
習(xí)題
4 凸優(yōu)化問題
4.1 優(yōu)化問題
4.2 凸優(yōu)化
4.3 線性規(guī)劃問題
4.4 二次優(yōu)化問題
4.5 幾何規(guī)劃
4.6 廣義不等式約束
4.7 向量優(yōu)化
參考文獻
習(xí)題
5 對偶
5.1 Lagrange對偶函數(shù)
5.2 Lagrange對偶問題
5.3 幾何解釋
5.4 鞍點解釋
5.5 最優(yōu)性條件
5.6 擾動及靈敏度分析
5.7 例子
5.8 擇一定理
5.9 廣義不等式
參考文獻
習(xí)題
Ⅱ 應(yīng)用
應(yīng)用
6 逼近與擬合
6.1 范數(shù)逼近
6.2 最小范數(shù)問題
6.3 正則化逼近
6.4 魯棒逼近
6.5 函數(shù)擬合與插值
參考文獻
習(xí)題
7 統(tǒng)計估計
7.1 參數(shù)分布估計
7.2 非參數(shù)分布估計
7.3 最優(yōu)檢測器設(shè)計及假設(shè)檢驗
7.4 Chebyshev界和Cherno.界
7.5 實驗設(shè)計
參考文獻
習(xí)題
8 幾何問題
8.1 向集合投影
8.2 集合間的距離
8.3 Euclid距離和角度問題
8.4 極值體積橢球
8.5 中心
8.6 分類
8.7 布局與定位
8.8 平面布置
參考文獻
習(xí)題
Ⅲ 算法
9 無約束優(yōu)化
9.1 無約束優(yōu)化問題
9.2 下降方法
9.3 梯度下降方法
9.4 最速下降方法
9.5 Newton方法
9.6 自和諧
9.7 實現(xiàn)
參考文獻
習(xí)題
10 等式約束優(yōu)化
10.1 等式約束優(yōu)化問題
10.2 等式約束的Newton方法
10.3 不可行初始點的Newton方法
10.4 實現(xiàn)
參考文獻
習(xí)題
11 內(nèi)點法
11.1 不等式約束的極小化問題
11.2 對數(shù)障礙函數(shù)和中心路徑
11.3 障礙方法
11.4 可行性和階段1方法
11.5 自和諧條件下的復(fù)雜性分析
11.6 廣義不等式問題
11.7 原對偶內(nèi)點法
11.8 實現(xiàn)
參考文獻
習(xí)題
附錄
A 有關(guān)的數(shù)學(xué)知識
A.1 范數(shù)
A.2 分析
A.3 函數(shù)
A.4 導(dǎo)數(shù)
A.5 線性代數(shù)
參考文獻
B 雙二次函數(shù)的問題
B.1 單約束二次優(yōu)化
B.2 S-程序
B.3 雙對稱矩陣的數(shù)值場
B.4 強對偶結(jié)果的證明
參考文獻
C 有關(guān)的數(shù)值線性代數(shù)知識
C.1 矩陣結(jié)構(gòu)與算法復(fù)雜性
C.2 求解已經(jīng)因式分解的矩陣的線性方程組
C.3 LU,Cholesky和LDLT 因式分解
C.4 分塊消元和Schur補
C.5 求解不確定線性方程組
650參考文獻
參考文獻
符號
索引