《運(yùn)籌學(xué)基礎(chǔ)》一書以線性規(guī)劃與單純形法為主線,系統(tǒng)地闡述了線性規(guī)劃對(duì)偶理論和靈敏度分析、 圖與網(wǎng)絡(luò)優(yōu)化、運(yùn)輸問(wèn)題和博弈論基礎(chǔ),同時(shí)介紹了非線性規(guī)劃基礎(chǔ)。全書共6章,每章結(jié)尾都配有一定數(shù)量的習(xí)題。此外,本書以MATLAB實(shí)驗(yàn)的方式給出動(dòng)態(tài)規(guī)劃、線性目標(biāo)規(guī)劃和網(wǎng)絡(luò)計(jì)劃的相關(guān)內(nèi)容,具體介紹求解相應(yīng)實(shí)際問(wèn)題的MATLAB程序。本書注重闡明運(yùn)籌學(xué)基本理論和經(jīng)典算法的數(shù)學(xué)思想,借助幾何直觀通俗易懂,兼顧理論、算法和應(yīng)用,是一本運(yùn)籌學(xué)的入門教材。
《運(yùn)籌學(xué)基礎(chǔ)》這本教材主要針對(duì)數(shù)學(xué)與應(yīng)用數(shù)學(xué)專業(yè)、信息與計(jì)算科學(xué)專業(yè)本科生編寫,同時(shí)也可作為經(jīng)濟(jì)、管理、金融、工程等相關(guān)專業(yè)本科生的參考教材。
運(yùn)籌學(xué)(Operations Research,OR)是一門定性分析(如建立數(shù)學(xué)模型)與定量方法(如求解數(shù)學(xué)模型)相結(jié)合的綜合應(yīng)用學(xué)科,廣泛運(yùn)用現(xiàn)有的科學(xué)技術(shù)和數(shù)學(xué)方法,解決實(shí)際問(wèn)題,為決策者選擇最優(yōu)或較優(yōu)方案提供定量依據(jù)。運(yùn)籌學(xué)作為一門新興的學(xué)科,是在第二次世界大戰(zhàn)期間出現(xiàn)的。此后,美國(guó)數(shù)學(xué)家George B.Dantzig于20世紀(jì)40年代末50年代初提出了求解線性規(guī)劃問(wèn)題的單純形法,這成為運(yùn)籌學(xué)發(fā)展史上最重大的進(jìn)展之一,使得二戰(zhàn)后的運(yùn)籌學(xué)在方法論上得到了很大的發(fā)展,形成了許多分支,而計(jì)算機(jī)的發(fā)展和廣泛應(yīng)用,使得運(yùn)籌學(xué)的方法論能成功及時(shí)地解決大量經(jīng)濟(jì)管理中的決策問(wèn)題。目前,運(yùn)籌學(xué)在管理科學(xué)、系統(tǒng)科學(xué)、工業(yè)工程等領(lǐng)域有著廣泛的應(yīng)用。運(yùn)籌學(xué)的教學(xué)有利于增強(qiáng)學(xué)生的實(shí)際工作能力,特別是科學(xué)決策的能力。因此,運(yùn)籌學(xué)目前已成為所有高等院校經(jīng)濟(jì)管理類專業(yè)的專業(yè)必修課程。同時(shí),考慮到大學(xué)生就業(yè)的需要,或是經(jīng)濟(jì)社會(huì)發(fā)展的需要,以及計(jì)算機(jī)的普及、運(yùn)籌學(xué)軟件的開發(fā)和學(xué)生知識(shí)的儲(chǔ)備,運(yùn)籌學(xué)也成為很多高校非經(jīng)濟(jì)管理類專業(yè)的選修課。
《運(yùn)籌學(xué)基礎(chǔ)》一書作者在多年從事運(yùn)籌學(xué)和相關(guān)科研工作成果的基礎(chǔ)上,參考了國(guó)內(nèi)外相關(guān)專著、教材和期刊文獻(xiàn)編寫了本書。全書包含6章和4個(gè)MATLAB實(shí)驗(yàn),全書的內(nèi)容可用51~68學(xué)時(shí)授完,以下簡(jiǎn)要介紹這本書的內(nèi)容。第1章線性規(guī)劃和單純形法,從二維線性規(guī)劃的圖解法出發(fā),介紹單純形法的幾何表現(xiàn)形式,直觀地闡明單純形法的設(shè)計(jì)思想。本章分別詳細(xì)地闡述了表格單純形法和修正單純形法,其中后者是前者在計(jì)算機(jī)上的實(shí)現(xiàn),此外還證明了單純形法的收斂性并討論退化情況的處理方式。第2章對(duì)偶理論和靈敏度分析,利用線性不等式組引出標(biāo)準(zhǔn)不等式形式線性規(guī)劃問(wèn)題的對(duì)偶問(wèn)題,并討論其對(duì)偶理論,再把相關(guān)結(jié)論推廣到一般形式的線性規(guī)劃問(wèn)題,并討論對(duì)偶理論與線性不等式組的關(guān)系; 接著探討對(duì)偶單純形法,最后利用對(duì)偶理論進(jìn)行靈敏度分析的討論。第3章圖與網(wǎng)絡(luò)優(yōu)化,網(wǎng)絡(luò)優(yōu)化是特殊的一類線性規(guī)劃問(wèn)題,其中的一類重要問(wèn)題——最小費(fèi)用流問(wèn)題(包括最短路問(wèn)題和最大流問(wèn)題)是本章考慮的對(duì)象,本章細(xì)致地闡述了網(wǎng)絡(luò)單純形法基本原理和求解過(guò)程。第4章運(yùn)輸問(wèn)題,該問(wèn)題是特殊的最小費(fèi)用流問(wèn)題,利用問(wèn)題的特殊結(jié)構(gòu),本章詳細(xì)討論了運(yùn)輸單純形法求解產(chǎn)銷平衡的運(yùn)輸問(wèn)題,對(duì)于產(chǎn)銷不平衡的問(wèn)題將在本章的習(xí)題中介紹。此外,本章利用攝動(dòng)法解決退化情形的運(yùn)輸問(wèn)題。第5章博弈論基礎(chǔ),主要闡述二人零和博弈,也稱矩陣博弈,利用線性規(guī)劃的對(duì)偶理論證明了矩陣博弈的基本定理,即最小最大值定理,并介紹了求解矩陣博弈的線性方程組方法和線性規(guī)劃方法,此外本章的習(xí)題還給出雙矩陣博弈與線性互補(bǔ)問(wèn)題的關(guān)系。第6章非線性規(guī)劃基礎(chǔ),以學(xué)生的先修課程數(shù)學(xué)分析或高等數(shù)學(xué)中的費(fèi)爾馬定理為基礎(chǔ), 探討無(wú)約束優(yōu)化問(wèn)題的最優(yōu)性條件和約束優(yōu)化問(wèn)題的最優(yōu)性條件及拉格朗日對(duì)偶理論,其中對(duì)偶理論是利用博弈論的思想來(lái)闡述。第1章到第6章的結(jié)尾都給出一定數(shù)量的習(xí)題,這些習(xí)題有些是對(duì)章節(jié)知識(shí)點(diǎn)的鞏固,有些是對(duì)知識(shí)點(diǎn)的提升和補(bǔ)充。實(shí)驗(yàn)一到實(shí)驗(yàn)四分別介紹了用MATLAB軟件解決動(dòng)態(tài)規(guī)劃、線性目標(biāo)規(guī)劃、網(wǎng)絡(luò)計(jì)劃和博弈論中的相關(guān)實(shí)際問(wèn)題。
由此可見,本書的特色在于:第一,以線性規(guī)劃和單純形法為主線,各章節(jié)的內(nèi)容聯(lián)系緊密,銜接完好。第二,對(duì)于大部分的同類書籍中,關(guān)于對(duì)偶問(wèn)題均是直接給出, 并未道出其所以然,本書利用了初等代數(shù)工具——線性不等式組的線性運(yùn)算,自然地引出對(duì)偶問(wèn)題,于是便有了利用對(duì)偶理論解決線性不等式組的方法。第三,運(yùn)用博弈論理論解釋非線性規(guī)劃的拉格朗日對(duì)偶理論,顯得通俗易懂。第四,本書運(yùn)用MATLAB實(shí)驗(yàn)的方式介紹運(yùn)籌學(xué)的其他分支, 即動(dòng)態(tài)規(guī)劃、線性目標(biāo)規(guī)劃和網(wǎng)絡(luò)計(jì)劃問(wèn)題,同時(shí)列舉了用MATLAB程序解決應(yīng)用問(wèn)題的實(shí)例,加強(qiáng)了學(xué)生的數(shù)學(xué)建模和用計(jì)算機(jī)解決實(shí)際問(wèn)題的能力。
本書在編寫過(guò)程中得到國(guó)家自然科學(xué)基金委數(shù)學(xué)天元基金(11526053),教育部留學(xué)回國(guó)人員科研啟動(dòng)基金“非精確PB算法研究及其在大規(guī)模凸錐規(guī)劃中應(yīng)用和凸錐規(guī)劃的誤差分析”,福建省教育廳科技項(xiàng)目(JA15106)的部分支持,在此深表感謝。
本書在編寫過(guò)程中還參考了新加坡南洋理工大學(xué)數(shù)理學(xué)院副教授Chua Chek Beng主講課程“Basic Optimization”的講義,在此表示衷心感謝。
盡管本書作者多年來(lái)一直從事運(yùn)籌與優(yōu)化的研究和教學(xué),但限于水平和時(shí)間,書中難免有不妥和錯(cuò)誤之處,歡迎讀者批評(píng)指正。
作者
2016年4月
第1章 線性規(guī)劃和單純形法
1.1 優(yōu)化模型概述
1.1.1 一般優(yōu)化模型
1.1.2 線性規(guī)劃模型
1.2 線性規(guī)劃的圖解法
1.3 單純形法的幾何意義
1.3.1 單純形法的幾何描述
1.3.2 基本可行解
1.3.3 線性規(guī)劃的解的性質(zhì)
1.4 單純形法的代數(shù)描述
1.5 標(biāo)準(zhǔn)不等式形線性規(guī)劃的表格單純形法
1.5.1 單純形表
1.5.2 最優(yōu)性檢驗(yàn)
1.5.3 最小比率規(guī)則
1.5.4 旋轉(zhuǎn)運(yùn)算
1.5.5 無(wú)界解
1.5.6 無(wú)窮多最優(yōu)解
1.6 非標(biāo)準(zhǔn)形線性規(guī)劃問(wèn)題
1.6.1 化為線性規(guī)劃的標(biāo)準(zhǔn)形式
1.6.2 人工變量法
1.6.3 單純形法的收斂性
1.7 修正單純形法
習(xí)題
第2章 對(duì)偶理論和靈敏度分析
2.1 線性規(guī)劃的對(duì)偶問(wèn)題及對(duì)偶理論
2.1.1 標(biāo)準(zhǔn)不等式形線性規(guī)劃問(wèn)題的對(duì)偶問(wèn)題
2.1.2 強(qiáng)對(duì)偶定理與互補(bǔ)松弛性
2.1.3 原始問(wèn)題與對(duì)偶問(wèn)題的關(guān)系
2.1.4 其他形式線性規(guī)劃的對(duì)偶問(wèn)題
2.1.5 對(duì)偶理論與線性不等式組
2.2 對(duì)偶單純形法
2.2.1 表格對(duì)偶單純形法
2.2.2 修正對(duì)偶單純形法
2.3 線性規(guī)劃的其他方法簡(jiǎn)介
2.4 靈敏度分析和優(yōu)化后分析
2.4.1 靈敏度分析
2.4.2 變量的增加
2.4.3 約束的增加
習(xí)題
第3章 圖與網(wǎng)絡(luò)優(yōu)化
3.1 基本概念
3.1.1 有向網(wǎng)絡(luò)與無(wú)向網(wǎng)絡(luò)
3.1.2 路
3.1.3 生成樹
3.1.4 流
3.2 最小費(fèi)用流問(wèn)題
3.2.1 最短路問(wèn)題
3.2.2 最大流問(wèn)題
3.2.3 最小費(fèi)用流的線性規(guī)劃模型
3.3 網(wǎng)絡(luò)單純形法
3.3.1 網(wǎng)絡(luò)單純形法的基本定理
3.3.2 樹的求解
3.3.3 基本解的整數(shù)性
3.3.4 網(wǎng)絡(luò)單純形法
習(xí)題
第4章 運(yùn)輸問(wèn)題
4.1 運(yùn)輸問(wèn)題
4.1.1 最小費(fèi)用流的表示
4.1.2 西北角法
4.2 運(yùn)輸單純形法
4.3 指派問(wèn)題
習(xí)題
第5章 博弈論基礎(chǔ)
5.1 博弈論的基本概念
5.2 矩陣博弈
5.2.1 純策略矩陣博弈
5.2.2 混合策略矩陣博弈
5.2.3 最小最大值定理
5.3 矩陣博弈的解法
5.3.1 線性方程組方法
5.3.2 線性規(guī)劃方法142
習(xí)題
第6章 非線性規(guī)劃基礎(chǔ)
6.1 非線性規(guī)劃模型
6.2 約束優(yōu)化問(wèn)題
6.2.1 非負(fù)約束的優(yōu)化問(wèn)題
6.2.2 一般的約束優(yōu)化問(wèn)題
6.2.3 拉格朗日對(duì)偶性
6.2.4 KKT條件
習(xí)題
MATLAB實(shí)驗(yàn)一 用線性規(guī)劃方法解決多階段決策問(wèn)題
MATLAB實(shí)驗(yàn)二 用線性規(guī)劃方法解決線性目標(biāo)規(guī)劃問(wèn)題
MATLAB實(shí)驗(yàn)三 用線性規(guī)劃方法解決網(wǎng)絡(luò)計(jì)劃問(wèn)題
MATLAB實(shí)驗(yàn)四 用線性規(guī)劃方法解決矩陣博弈
參考文獻(xiàn)