, o& M& b6 v! Q; O+ X$ X其中 c 和 x 为 n 维列向量, A 、 Aeq 为适当维数的矩阵, b 、 beq 为适当维数的列向量。 4 B8 H2 w! K' D' F& l. o5 A! q3 T$ c# p
1.2相关问题* W) r \% z. t* Z. ?8 D# G
$ ^4 z8 U; Y3 J1 ` B T$ R' A运输问题(产销平衡)、指派问题(匈牙利算法)、对偶理论与灵敏度分析、投资的收益和风险# a! A0 W' X- ^: E1 R
3 X7 L8 E: B7 Y8 m! z% ~3 T; U L
. N; W! F R- Q0 Q0 Q+ v. I1 t5 _, ^/ @
§2 整数规划& G. z( a/ X9 |" y
7 _& t0 Z$ f3 q$ B; J6 ?
2.1 定义 . F3 m& Q+ Z& E% {: y7 D1 H规划中的变量(部分或全部)限制为整数时,称为整数规划。若在线性规划模型中,变量限制为整数,则称为整数线性规划。目前所流行的求解整数规划的方法,往往只适% j$ `. O+ b" e$ s! C
用于整数线性规划。目前还没有一种方法能有效地求解一切整数规划。 2 t$ W3 i6 n: m2 A! N7 t* s+ q2.2 整数规划的分类0 ~3 x) ?2 P ~6 Y2 M3 H
如不加特殊说明,一般指整数线性规划。对于整数线性规划模型大致可分为两类: 7 _1 W/ h6 y* q9 B$ E \. K+ ~1 变量全限制为整数时,称纯(完全)整数规划。 2 L6 {+ P- C$ t' y, I" Q( Q2 变量部分限制为整数的,称混合整数规划。* Z0 H& l6 `: c9 c' |. w0 V$ z
2.3 整数规划特点 @5 O0 W! ?6 z! ^9 |2 Q, [2 ]+ }
(i) 原线性规划有最优解,当自变量限制为整数后,其整数规划解出现下述情况:5 G, d; \ h& b2 q5 Z7 t
①原线性规划最优解全是整数,则整数规划最优解与线性规划最优解一致。 : t( R9 Q. B& A, K+ I②整数规划无可行解。5 |- v% y! q: w4 Y* _
( E' M/ z/ n) D# A( Y" O
③有可行解(当然就存在最优解),但最优解值变差。 # m1 T$ g1 m8 n3 w/ R5 e9 s: [ 7 D6 P/ s+ S: R T/ h(ii) 整数规划最优解不能按照实数最优解简单取整而获得。7 A, b& Q4 K6 o. R6 ?. c
2.4 求解方法分类:8 s4 R7 q( K: Z* U8 I& \1 a7 M
(i)分枝定界法—可求纯或混合整数线性规划。 5 g" a- k* J* G(ii)割平面法—可求纯或混合整数线性规划。3 D. G: D6 q8 ~. I3 h
(iii)隐枚举法—求解“0-1”整数规划:2 l0 h, Q) D- k" h! y. T
①过滤隐枚举法;+ G6 X1 ]. q b% ]5 v
②分枝隐枚举法。 ! `& `" U6 Q5 ~5 M4 q# y7 `(iv)匈牙利法—解决指派问题(“0-1”规划特殊情形)。 ( |; f( Q2 s( X/ h8 t(v)蒙特卡洛法—求解各种类型规划。3 e" l. p" X7 [$ ]
$ a/ ]( ]- a, S6 W- r 2 n/ V* t" B% P1 L. ?9 J % v- ` {9 I% `- s- s- `# Q& T3 L§3 非线性规划 $ e) y( X4 O' i$ h& B) O, x" M" d: v8 @/ }4 M. l0 H$ F3 t
如果目标函数或约束条件中包含非线性函数,就称这种规划问题为非线性规划问题。一般说来,解非线性规划要比解线性规划问题困难得多。而且,也不象线性规划有% [ Z) T. x) A- \ t
单纯形法这一通用方法,非线性规划目前还没有适于各种问题的一般算法,各个方法都有自己特定的适用范围。 3 F2 s! A# w5 m( {5 q% I$ g9 E @0 i: n/ F
3.1 线性规划与非线性规划的区别 r0 A8 c" q% D- V如果线性规划的最优解存在,其最优解只能在其可行域的边界上达到(特别是可行域的顶点上达到);而非线性规划的最优解(如果最优解存在)则可能在其可行域的任& @, t% L: U: ?) @! n2 m
意一点达到。: Y& X0 B6 h5 A
3.2 非线性规划的 Matlab 解法 - m" x& {$ p% N) l* b( ?Matlab 中非线性规划的数学模型写成以下形式4 c7 }. Z' J3 H( f3 v
) a- s0 W9 Y2 k+ e- x
$ n- {& ^0 t6 N5 E# [/ v+ a! D; j; D9 S
其中f(x)是标量函数, Beq,Aeq,B,A 是相应维数的矩阵和向量, Ceq(x),C(x) 是非线性向量函数。3 F/ F6 ~4 y6 p6 q$ t9 f8 _
Matlab 中的命令是* u7 G3 _& I* @1 Q8 j$ ~
X=FMINCON(FUN,X0,A,B,Aeq,Beq,LB,UB,NONLCON,OPTIONS) % y/ z; R+ H$ p7 _" `& M9 O e* v/ V它的返回值是向量 x ,其中 FUN 是用 M 文件定义的函数f(x);X0 是 x 的初始值;A,B,Aeq,Beq 定义了线性约束 Beq= X *Aeq , A*x≤ B,如果没有线性约束,则A=[],B=[],Aeq=[],Beq=[];LB 和 UB 是变量 x 的下界和上界,如果上界和下界没有约束,则 LB=[],UB=[],如果 x 无下界,则 LB 的各分量都为-inf,如果 x 无上界,则 UB的各分量都为 inf;NONLCON 是用 M 文件定义的非线性向量函数Ceq(x),C(x) ;OPTIONS定义了优化参数,可以使用 Matlab 缺省的参数设置。 - \) }6 i3 H, |! s8 j+ y! y l- |% B# q: |1 u
3.3 相应问题/ C+ l: l1 X2 N$ j
9 w7 U4 n* B0 p0 n, \
无约束问题(一维搜索方法、二次插值法、无约束极值问题的解法)、约束极值问题(二次规划、罚函数法)、飞行管理问题/ ] W( N9 c, j# Z
. D2 @: d% T6 ^1 |* v; {0 |. n9 x
6 Q. H7 e% L3 `" b
§4 动态规划(搞ACM的较熟)3 k3 K$ u/ l+ D2 u& l$ F
8 P' l) l/ T: O, @. y+ v动态规划(dynamic programming)是运筹学的一个分支,是求解决策过程(decisionprocess)最优化的数学方法。例如最短路线、库存管理、资源分配、设备更新、排序、装载等问题,用动态规划方法比用其它方法求解更为方便。 + U# d6 ~' ~) l0 o- y# S+ n8 J" C+ x. E
虽然动态规划主要用于求解以时间划分阶段的动态过程的优化问题,但是一些与时间无关的静态规划(如线性规划、非线性规划),只要人为地引进时间因素,把它视为多阶段决策过程,也可以用动态规划方法方便地求解。应指出,动态规划是求解某类问题的一种方法,是考察问题的一种途径,而不是一种特殊算法(如线性规划是一种算法)。因而,它不象线性规划那样有一个标准的数学表达式和明确定义的一组规则,而必须对具体问题进行具体分析处理。因此,在学习时,除了要对基本概念和方法正确理解外,应以丰富的想象力去建立模型,用创造性的技巧去求解。 9 | o. s7 U4 z - ]8 S5 R. [, w6 a6 K' M: A2 [) T% i, b+ S' I8 c9 |2 S
, W. `! M) y( a: f1 H0 [0 E
§5 与网络模型及方法(搞ACM的较熟)# \" F) l0 _9 O4 ?
' i" K3 ~: {! j3 u图论中所谓的“图”是指某类具体事物和这些事物之间的联系。如果我们用点表示这些具体事物,用连接两点的线段(直的或曲的)表示两个事物的特定的联系,就得到了描述这个“图”的几何形象。图论为任何一个包含了一种二元关系的离散系统提供了一个数学模型,借助于图论的概念、理论和方法,可以对该模型求解。哥尼斯堡七桥问题就是一个典型的例子。在哥尼斯堡有七座桥将普莱格尔河中的两个岛及岛与河岸联结起来,问题是要从这四块陆地中的任何一块开始通过每一座桥正好一次,再回到起点。 % F; ~; o1 E+ d6 M0 {3 T, C# w( R, Y
图与网络是运筹学(Operations Research)中的一个经典和重要的分支,所研究的问题涉及经济管理、工业工程、交通运输、计算机科学与信息技术、通讯与网络技术等诸多领域。主要包括最短路问题、最大流问题、最小费用流问题和匹配问题等。4 D& H5 q" H. j; G0 d: P3 j4 J/ v
9 {2 B) H: K' X E0 h
t. a% a2 X \
( ~" ?, V, [' w7 z3 k
§6 排队论模型(2017年美赛B题,2005年美赛B题主要涉及排队论)) a/ r: N% p, {7 ]/ H8 @8 g
$ O, c# v0 d' S排队是在日常生活中经常遇到的现象,如顾客到商店购买物品、病人到医院看病常常要排队。此时要求服务的数量超过服务机构(服务台、服务员等)的容量。也就是说,到达的顾客不能立即得到服务,因而出现了排队现象。这种现象不仅在个人日常生活中出现,电话局的占线问题,车站、码头等交通枢纽的车船堵塞和疏导,故障机器的停机待修,水库的存贮调节等都是有形或无形的排队现象。由于顾客到达和服务时间的随机性。可以说排队现象几乎是不可避免的。- ~% y4 w: X9 \- g
排队论(Queuing Theory)也称 随机服务系统理论,就是为解决上述问题而发展的一门学科。它研究的内容有下列三部分: $ I: }- \9 g' r0 v(i)性态问题,即研究各种排队系统的概率规律性,主要是研究队长分布、等待时间分布和忙期分布等,包括了瞬态和稳态两种情形。. Q3 P4 o5 Y- u+ w7 s
(ii)最优化问题,又分静态最优和动态最优,前者指最优设计。后者指现有排队系统的最优运营。 * h" L. F9 L; D(iii)排队系统的统计推断,即判断一个给定的排队系统符合于哪种模型,以便根据排队理论进行分析研究。 9 l" W7 |0 S' Y& g3 m/ ~ & @: B. t4 I3 H. |+ U6.1 排队系统的组成和特征 0 z& C0 b$ A" ]: H: `" R一般的排队过程都由输入过程、排队规则、服务过程三部分组成,现分述如下: 7 K8 S- G. ~$ d0 K0 }2 |6.1.1 输入过程 7 _4 X" M' h& ]8 D; g+ l- j6 g4 b I/ |输入过程是指顾客到来时间的规律性,可能有下列不同情况: + n* Z B) d y8 h(i)顾客的组成可能是有限的,也可能是无限的。4 } U3 j5 Z1 H4 t
(ii)顾客到达的方式可能是一个—个的,也可能是成批的。 $ c2 i( F2 f! k9 |(iii)顾客到达可以是相互独立的,即以前的到达情况对以后的到达没有影响;否则是相关的。 5 H, _. A, X% |5 t: }$ [ y(iv)输入过程可以是平稳的,即相继到达的间隔时间分布及其数学期望、方差等数字特征都与时间无关,否则是非平稳的。' O' z- t. k0 R5 V& l
6.1.2 排队规则 8 X/ X i: V. [. W; S排队规则指到达排队系统的顾客按怎样的规则排队等待,可分为损失制,等待制和混合制三种。) n& y' t( H4 g" I W; p
(i)损失制(消失制)。当顾客到达时,所有的服务台均被占用,顾客随即离去。 6 z% C1 j4 Z, M! D9 G: x9 x4 p0 n) D(ii)等待制。当顾客到达时,所有的服务台均被占用,顾客就排队等待,直到接受完服务才离去。例如出故障的机器排队等待维修就是这种情况。. B/ i/ B6 F( ?- ?
(iii)混合制。介于损失制和等待制之间的是混合制,即既有等待又有损失。有队列长度有限和排队等待时间有限两种情况,在限度以内就排队等待,超过一定限度就离去。; D7 q) Y% g9 i4 x! ?: ?7 r
排队方式还分为单列、多列和循环队列。 9 D: e3 ?8 c' P- k' k6.1.3 服务过程3 B4 G0 ?% l# ?5 v* z
(i)服务机构。主要有以下几种类型:单服务台;多服务台并联(每个服务台同时为不同顾客服务);多服务台串联(多服务台依次为同一顾客服务);混合型。' Z* O/ \( I: _" v H2 y
(ii)服务规则。按为顾客服务的次序采用以下几种规则:! p' M. r8 o) Z2 g
①先到先服务,这是通常的情形。! x9 D* `* W% S h. l; k& [& B6 `
②后到先服务,如情报系统中,最后到的情报信息往往最有价值,因而常被优先处理。 6 n# n0 q# J5 \1 D$ J③随机服务,服务台从等待的顾客中随机地取其一进行服务,而不管到达的先后。" M& b! |8 N2 q. P
④优先服务,如医疗系统对病情严重的病人给予优先治疗。0 F$ k! B& E& v/ `: y
$ W0 K9 O1 r5 p9 O3 `& e8 H% t" x9 R+ e) j* h
s& V4 L. B6 q( m; Q
§7 对策论(搞ACM的较熟) % v5 }, t5 H' O0 E, L4 D! u7 d) R2 P: I1 H7 q# A
对策论亦称竞赛论或博弈论。是研究具有斗争或竞争性质现象的数学理论和方法。一般认为,它既是现代数学的一个新分支,也是运筹学中的一个重要学科。对策论发展的历史并不长,但由于它所研究的现象与人们的政治、经济、军事活动乃至一般的日常生活等有着密切的联系,并且处理问题的方法又有明显特色。所以日益引起广泛的注意。4 G, Y( }" g! E
在日常生活中,经常看到一些具有相互之间斗争或竞争性质的行为。具有竞争或对抗性质的行为称为 对策行为。在这类行为中。参加斗争或竞争的各方各自具有不同的目标和利益。为了达到各自的目标和利益,各方必须考虑对手的各种可能的行动方案,并力图选取对自己最为有利或最为合理的方案。对策论就是研究对策行为中斗争各方是否存在着最合理的行动方案,以及如何找到这个合理的行动方案的数学理论和方法。# m) @- t) y: f0 U