第四章动态规划 §1引言 动态规划的发展及研究内容 动态规划( dynamic programming)是运筹学的一个分支,是求解决策过程( decision rocess)最优化的数学方法。20世纪50年代初RE. Bellman等人在研究多阶段决策过 程( multistep decision process)的优化问题时,提出了著名的最优性原理( principle of optimality),把多阶段过程转化为一系列单阶段问题,逐个求解,创立了解决这类过程 优化问题的新方法一动态规划。1957年出版了他的名著《 Dynamic Programming.》,这 是该领域的第一本著作 动态规划问世以来,在经济管理、生产调度、工程技术和最优控制等方面得到了广 泛的应用。例如最短路线、库存管理、资源分配、设备更新、排序、装载等问题,用动 态规划方法比用其它方法求解更为方便。 虽然动态规划主要用于求解以时间划分阶段的动态过程的优化问题,但是一些与时 间无关的静态规划(如线性规划、非线性规划),只要人为地引进时间因素,把它视为 多阶段决策过程,也可以用动态规划方法方便地求解。 应指出,动态规划是求解某类问题的一种方法,是考察问题的一种途径,而不是 一种特殊算法(如线性规划是一种算法)。因而,它不象线性规划那样有一个标准的数 学表达式和明确定义的一组规则,而必须对具体问题进行具体分析处理。因此,在学习 时,除了要对基本概念和方法正确理解外,应以丰富的想象力去建立模型,用创造性的 技巧去求解 例1最短路线问题 图1是一个线路网,连线上的数字表示两点之间的距离(或费用)。试寻求一条由A 到G距离最短(或费用最省)的路线。 3?( ⊙(O 图1最短路线问题 例2生产计划问题 工厂生产某种产品,每单位(千件)的成本为1(千元),每次开工的固定成本为3 (千元),工厂每季度的最大生产能力为6(千件)。经调查,市场对该产品的需求量第 二、三、四季度分别为2,3,2,4(千件)。如果工厂在第一、二季度将全年的需 求都生产出来,自然可以降低成本(少付固定成本费),但是对于第三、四季度才能上 市的产品需付存储费,每季每千件的存储费为05(千元)。还规定年初和年末这种产品 均无库存。试制定一个生产计划,即安排每个季度的产量,使一年的总费用(生产成本 和存储费)最少 2决策过程的分类 根据过程的时间变量是离散的还是连续的,分为离散时间决策过程( discrete-time
-56- 第四章 动态规划 §1 引言 1.1 动态规划的发展及研究内容 动态规划(dynamic programming)是运筹学的一个分支,是求解决策过程(decision process)最优化的数学方法。20 世纪 50 年代初 R. E. Bellman 等人在研究多阶段决策过 程(multistep decision process)的优化问题时,提出了著名的最优性原理(principle of optimality),把多阶段过程转化为一系列单阶段问题,逐个求解,创立了解决这类过程 优化问题的新方法—动态规划。1957 年出版了他的名著《Dynamic Programming》,这 是该领域的第一本著作。 动态规划问世以来,在经济管理、生产调度、工程技术和最优控制等方面得到了广 泛的应用。例如最短路线、库存管理、资源分配、设备更新、排序、装载等问题,用动 态规划方法比用其它方法求解更为方便。 虽然动态规划主要用于求解以时间划分阶段的动态过程的优化问题,但是一些与时 间无关的静态规划(如线性规划、非线性规划),只要人为地引进时间因素,把它视为 多阶段决策过程,也可以用动态规划方法方便地求解。 应指出,动态规划是求解某类问题的一种方法,是考察问题的一种途径,而不是 一种特殊算法(如线性规划是一种算法)。因而,它不象线性规划那样有一个标准的数 学表达式和明确定义的一组规则,而必须对具体问题进行具体分析处理。因此,在学习 时,除了要对基本概念和方法正确理解外,应以丰富的想象力去建立模型,用创造性的 技巧去求解。 例 1 最短路线问题 图 1 是一个线路网,连线上的数字表示两点之间的距离(或费用)。试寻求一条由 A 到G 距离最短(或费用最省)的路线。 图 1 最短路线问题 例 2 生产计划问题 工厂生产某种产品,每单位(千件)的成本为 1(千元),每次开工的固定成本为 3 (千元),工厂每季度的最大生产能力为 6(千件)。经调查,市场对该产品的需求量第 一、二、三、四季度分别为 2,3,2,4(千件)。如果工厂在第一、二季度将全年的需 求都生产出来,自然可以降低成本(少付固定成本费),但是对于第三、四季度才能上 市的产品需付存储费,每季每千件的存储费为 0.5(千元)。还规定年初和年末这种产品 均无库存。试制定一个生产计划,即安排每个季度的产量,使一年的总费用(生产成本 和存储费)最少。 1.2 决策过程的分类 根据过程的时间变量是离散的还是连续的,分为离散时间决策过程(discrete-time
decision process)和连续时间决策过程( continuous-time decision process);根据过程的 演变是确定的还是随机的,分为确定性决策过程( deterministic decision process)和随 机性决策过程( stochastic decision process),其中应用最广的是确定性多阶段决策过程。 §2基本概念、基本方程和计算方法 2.1动态规划的基本概念和基本方程 个多阶段决策过程最优化问题的动态规划模型通常包含以下要素。 2.1.1阶段 阶段(step)是对整个过程的自然划分。通常根据时间顺序或空间顺序特征来划分阶 段,以便按阶段的次序解优化问题。阶段变量一般用k=1,2,…,n表示。在例1中由A 出发为k=1,由B(=1,2)出发为k=2,依此下去从F(i=1,2)出发为k=6,共 n=6个阶段。在例2中按照第一、二、三、四季度分为k=1,2,34,共四个阶段。 2.12状态 状态( state)表示每个阶段开始时过程所处的自然状况。它应能描述过程的特征并 且无后效性,即当某阶段的状态变量给定时,这个阶段以后过程的演变与该阶段以前各 阶段的状态无关。通常还要求状态是直接或间接可以观测白 描述状态的变量称状态变量( state variable)。变量允许取值的范围称允许状态集合 ( set of admissible states)。用x表示第k阶段的状态变量,它可以是一个数或一个向量。 用Xk表示第k阶段的允许状态集合。在例1中x2可取B1,B2,或将B定义为 i(i=1,2),则x2=1或2,而X2={1,2 n个阶段的决策过程有n+1个状态变量,xn,表示xn演变的结果。在例1中x,取 G,或定义为1,即x2= 根据过程演变的具体情况,状态变量可以是离散的或连续的。为了计算的方便有时 将连续变量离散化;为了分析的方便有时又将离散变量视为连续的。 状态变量简称为状态。 2.1.3决策 当一个阶段的状态确定后,可以作出各种选择从而演变到下一阶段的某个状态,这 种选择手段称为决策( decision),在最优控制问题中也称为控制( control)。 描述决策的变量称决策变量( decision variable),变量允许取值的范围称允许决策 集合( set of admissible decisions)。用l4(x)表示第k阶段处于状态xk时的决策变量 它是xk的函数,用Uk(xk)表示x的允许决策集合在例1中u2(B1)可取C1,C2或C3, 可记作2(1)=1,2,3,而U2(1)={1,2,3}。 决策变量简称决策。 2.14策略 决策组成的序列称为策略( policy)。由初始状态x1开始的全过程的策略记作 Pin(xD) Pn(x1)={1(x1),n2(x2)…,un(xn)} 由第k阶段的状态xk开始到终止状态的后部子过程的策略记作P(x),即 P1(xk)={u1(xk),…,un(xn)},k=1,2,…,n-1 类似地,由第k到第j阶段的子过程的策略记作
-57- decision process)和连续时间决策过程(continuous-time decision process);根据过程的 演变是确定的还是随机的,分为确定性决策过程(deterministic decision process)和随 机性决策过程(stochastic decision process),其中应用最广的是确定性多阶段决策过程。 §2 基本概念、基本方程和计算方法 2.1 动态规划的基本概念和基本方程 一个多阶段决策过程最优化问题的动态规划模型通常包含以下要素。 2.1.1 阶段 阶段(step)是对整个过程的自然划分。通常根据时间顺序或空间顺序特征来划分阶 段,以便按阶段的次序解优化问题。阶段变量一般用k = 1,2,L,n 表示。在例 1 中由 A 出发为 k = 1,由 B (i = 1,2) i 出发为 k = 2 ,依此下去从 F (i = 1,2) i 出发为 k = 6 ,共 n = 6个阶段。在例 2 中按照第一、二、三、四季度分为k = 1,2,3,4,共四个阶段。 2.1.2 状态 状态(state)表示每个阶段开始时过程所处的自然状况。它应能描述过程的特征并 且无后效性,即当某阶段的状态变量给定时,这个阶段以后过程的演变与该阶段以前各 阶段的状态无关。通常还要求状态是直接或间接可以观测的。 描述状态的变量称状态变量(state variable)。变量允许取值的范围称允许状态集合 (set of admissible states)。用 k x 表示第k 阶段的状态变量,它可以是一个数或一个向量。 用 Xk 表示第 k 阶段的允许状态集合。在例 1 中 2 x 可取 1 2 B ,B ,或将 Bi 定义为 i(i = 1,2) ,则 1 x2 = 或2 ,而 {1,2} X2 = 。 n 个阶段的决策过程有n +1个状态变量, n+1 x 表示 n x 演变的结果。在例 1 中 7 x 取 G ,或定义为1,即 x7 = 1。 根据过程演变的具体情况,状态变量可以是离散的或连续的。为了计算的方便有时 将连续变量离散化;为了分析的方便有时又将离散变量视为连续的。 状态变量简称为状态。 2.1.3 决策 当一个阶段的状态确定后,可以作出各种选择从而演变到下一阶段的某个状态,这 种选择手段称为决策(decision),在最优控制问题中也称为控制(control)。 描述决策的变量称决策变量(decision variable),变量允许取值的范围称允许决策 集合(set of admissible decisions)。用 ( ) k k u x 表示第k 阶段处于状态 k x 时的决策变量, 它是 k x 的函数,用 ( ) k k U x 表示 k x 的允许决策集合。在例 1 中 ( ) 2 B1 u 可取 1 2 C ,C 或C3 , 可记作 (1) 1,2,3 u2 = ,而 (1) {1,2,3} U2 = 。 决策变量简称决策。 2.1.4 策略 决策组成的序列称为策略(policy)。由初始状态 1 x 开始的全过程的策略记作 ( ) 1 1 p x n ,即 ( ) { ( ), ( ), , ( )} 1n 1 1 1 2 2 n n p x = u x u x L u x . 由第k 阶段的状态 k x 开始到终止状态的后部子过程的策略记作 ( ) kn k p x ,即 ( ) { ( ), , ( )} kn k k k n n p x = u x L u x ,k = 1,2,L, n −1. 类似地,由第k 到第 j 阶段的子过程的策略记作
P4(xk)={4(xk)…,(x,) 可供选择的策略有一定的范围,称为允许策略集合( set of admissible policies),用 Pn(x1),Pb2(xk,P(x)表示 2.1.5.状态转移方程 在确定性过程中,一旦某阶段的状态和决策为已知,下阶段的状态便完全确定。用 状态转移方程( equation of state transition)表示这种演变规律,写作 x+1=T(xk,lk),k=12,…,n 在例1中状态转移方程为xk+1=l4(xk) 2.1.6.指标函数和最优值函数 指标函数( objective function)是衡量过程优劣的数量指标,它是定义在全过程和所有 后部子过程上的数量函数,用Vn(xk,lk2xk+1…,xn)表示,k=1,2,…n。指标函 数应具有可分离性,即Vkn可表为xk,u1,Vk+1n的函数,记为 Vn(xk,l2xk1…,xn1)=甲(x,u4,Vk+n(x+14+1,…,xn+1)) 并且函数对于变量n是严格单调的 过程在第j阶段的阶段指标取决于状态x,和决策u,用v(x1,u)表示。指标函 数由v(j=1,2,…,n)组成,常见的形式有 阶段指标之和,即 阶段指标之积,即 Vk(xk, lk, xk+,,x+)=v, (x, u,) 阶段指标之极大(或极小),即 VEn(xk, Uk, xk+,"",n+)=max(min)v, (r,, u) 这些形式下第k到第j阶段子过程的指标函数为V,(xk,uk,…,x+)。 根据状态转移方程指标函数Vn还可以表示为状态x和策略pn的函数,即 Vn(xk,Pm)在x给定时指标函数vn对Pon的最优值称为最优值函数( optimal value function),记为f(xk),即 f(xk)= opt Vk(xk,P如) Pn∈Pn(xk 其中opt可根据具体情况取max或min。 2.1.7最优策略和最优轨线 使指标函数Jκ达到最优值的策略是从k开始的后部子过程的最优策略,记作 Pω={u…un}。pυ是全过程的最优策略,简称最优策略( optimal policy)。从初始 状态x1(=x2)出发,过程按照pn和状态转移方程演变所经历的状态序列 x,x2…x1}称最优轨线( optimal trajectory)
-58- ( ) { ( ), , ( )} kj k k k j j p x = u x L u x . 可供选择的策略有一定的范围,称为允许策略集合(set of admissible policies),用 ( ), ( ), ( ) 1n 1 kn k kj k P x P x P x 表示。 2.1.5. 状态转移方程 在确定性过程中,一旦某阶段的状态和决策为已知,下阶段的状态便完全确定。用 状态转移方程(equation of state transition)表示这种演变规律,写作 ( , ), 1,2, , . xk +1 = Tk xk uk k = L n (1) 在例 1 中状态转移方程为 ( ) k 1 k k x = u x + 。 2.1.6. 指标函数和最优值函数 指标函数(objective function)是衡量过程优劣的数量指标,它是定义在全过程和所有 后部子过程上的数量函数,用 ( , , , , ) k ,n k k k +1 n+1 V x u x L x 表示, k = 1,2,L,n 。指标函 数应具有可分离性,即Vk ,n 可表为 k uk Vk n x 1, , , + 的函数,记为 ( , , , , ) ( , , ( , , , )) k ,n k k k+1 n+1 = k k k k+1,n k +1 k+1 n+1 V x u x L x ϕ x u V x u L x 并且函数ϕk 对于变量Vk+1, n 是严格单调的。 过程在第 j 阶段的阶段指标取决于状态 j x 和决策u j ,用 ( , ) j j u j v x 表示。指标函 数由v ( j 1,2, ,n) j = L 组成,常见的形式有: 阶段指标之和,即 ∑= + + = n j k k n k k k n j j j V (x ,u , x , , x ) v (x ,u ) , 1 L 1 , 阶段指标之积,即 ∏= + + = n j k k n k k k n j j u j V (x ,u , x , , x ) v (x , ) , 1 L 1 , 阶段指标之极大(或极小),即 ( , , , , ) max(min) ( , ) , 1 1 j j j k j n k n k k k n V x u x x v x u ≤ ≤ + L + = . 这些形式下第k 到第 j 阶段子过程的指标函数为 ( , , , ) k , j k k j+1 V x u L x 。 根据状态转移方程指标函数Vk ,n 还可以表示为状态 k x 和策略 pkn 的函数,即 ( , ) k ,n k pkn V x 。在 k x 给定时指标函数Vk ,n 对 pkn 的最优值称为最优值函数(optimal value function),记为 ( ) k k f x ,即 ( ) opt ( , ) , ( ) k n k kn p P x k k f x V x p kn∈ kn k = , 其中opt 可根据具体情况取 max 或 min 。 2.1.7 最优策略和最优轨线 使指标函数Vk ,n 达到最优值的策略是从 k 开始的后部子过程的最优策略,记作 { , , } * * * pkn = uk L un 。 * p1n 是全过程的最优策略,简称最优策略(optimal policy)。从初始 状 态 ( ) * 1 1 x = x 出发,过程按照 * p1n 和状态转移方程演变所经历的状态序列 { , , , } * 1 * 2 * 1 n+ x x L x 称最优轨线(optimal trajectory)
21.8递归方程 如下方程称为递归方程 fn(xn1)=0或l f4(x)=opt{v4(xk,u)②f+(xk+1)},k=n…,1 (2) ak∈Uk(x) 在上述方程中,当②为加法时取fn1(xn)=0;当⑧为乘法时,取fn(xn1)=1。动 态规划递归方程是动态規划的最优性原理的基础,即:最优策略的子策略,构成最优子 策略。用状态转移方程(1)和递归方程(2)求解动态规划的过程,是由k=η+1逆 推至k=1,故这种解法称为逆序解法。当然,对某些动态规划问题,也可采用顺序解 法。这时,状态转移方程和递归方程分别为: xk=Tk(xkl, uk),k=l, f(x1)=0或1 f(xk+)=opt{v(xk+12uk)⑧f-(xk),k=1…,n 例3用 lingo求解例1最短路线问题。 model Title Dynamic Programming; vertex/A, Bl, B2, C1, C2, C3, C4, D1, D2, D3, El, E2, E3, Fl, F2, G/: L; road(vertex, vertex)/A Bl, A b2, b1 Cl, Bl C2, B1 c3, B2 C2, B2 C3, B2 C4 C1 D1, Cl D2, C2 Dl, C2 D2, C3 D2, C3 D3, C4 D2,C4 D3 D1E1,D1E2,D2E2,D2E3,D3E2,D3E3, E1 Fl, El F2, E2 Fl, E2 F2, E3 F1, E3 F2, F1 G, F2 G/: D; endset data D=53136876 3336 221233 35526643; L=0,,;,;;;; @for(vertex(i)li#GT#1: L(i)=@min(road(, i): L(3)+D(, i)))i end 纵上所述,如果一个问题能用动态规划方法求解,那么,我们可以按下列步骤,首 先建立起动态规划的数学模型: (i)将过程划分成恰当的阶段。 (ⅱi〕正确选择状态变量x,使它既能描述过程的状态,又满足无后效性,同时确 定允许状态集合x (ⅲi)选择决策变量,确定允许决策集合U4(xk)。 (ⅳv)写出状态转移方程。 (ⅴ)确定阶段指标v(xk,lk)及指标函数Vn的形式(阶段指标之和,阶段指标之 积,阶段指标之极大或极小等)。 (ⅵi)写出基本方程即最优值函数满足的递归方程,以及端点条件 §3逆序解法的计算框图
-59- 2.1.8 递归方程 如下方程称为递归方程 ⎪⎩ ⎪ ⎨ ⎧ = ⊗ = = + + ∈ + + ( ) opt { ( , ) ( )}, , ,1 ( ) 0 1 1 1 ( ) 1 1 f x v x u f x k n L f x k k k k k u U x k k n n k k k 或 (2) 在上述方程中,当⊗ 为加法时取 fn+1(xn+1) = 0 ;当⊗ 为乘法时,取 fn+1(xn+1) =1。动 态规划递归方程是动态规划的最优性原理的基础,即:最优策略的子策略,构成最优子 策略。用状态转移方程(1)和递归方程(2)求解动态规划的过程,是由 k = n +1逆 推至 k = 1,故这种解法称为逆序解法。当然,对某些动态规划问题,也可采用顺序解 法。这时,状态转移方程和递归方程分别为: x T xk uk k n r k k ( , ), 1, , = +1 = L , ⎪⎩ ⎪ ⎨ ⎧ = ⊗ = = + − ∈ + + + f x v x u f x k n f x k k k k k u U x k k k r k k ( ) opt { ( , ) ( )}, 1, , ( 0 1 1 1 ( ) 1 0 1 1 1 L ) 或 例 3 用 lingo 求解例 1 最短路线问题。 model: Title Dynamic Programming; sets: vertex/A,B1,B2,C1,C2,C3,C4,D1,D2,D3,E1,E2,E3,F1,F2,G/:L; road(vertex,vertex)/A B1,A B2,B1 C1,B1 C2,B1 c3,B2 C2,B2 C3,B2 C4, C1 D1,C1 D2,C2 D1,C2 D2,C3 D2,C3 D3,C4 D2,C4 D3, D1 E1,D1 E2,D2 E2,D2 E3,D3 E2,D3 E3, E1 F1,E1 F2,E2 F1,E2 F2,E3 F1,E3 F2,F1 G,F2 G/:D; endsets data: D=5 3 1 3 6 8 7 6 6 8 3 5 3 3 8 4 2 2 1 2 3 3 3 5 5 2 6 6 4 3; L=0,,,,,,,,,,,,,,,; enddata @for(vertex(i)|i#GT#1:L(i)=@min(road(j,i):L(j)+D(j,i))); end 纵上所述,如果一个问题能用动态规划方法求解,那么,我们可以按下列步骤,首 先建立起动态规划的数学模型: (i)将过程划分成恰当的阶段。 (ii)正确选择状态变量 k x ,使它既能描述过程的状态,又满足无后效性,同时确 定允许状态集合 Xk 。 (iii)选择决策变量uk ,确定允许决策集合 ( ) k k U x 。 (iv)写出状态转移方程。 (v)确定阶段指标 ( , ) k k uk v x 及指标函数Vkn 的形式(阶段指标之和,阶段指标之 积,阶段指标之极大或极小等)。 (vi)写出基本方程即最优值函数满足的递归方程,以及端点条件。 §3 逆序解法的计算框图
以自由终端、固定始端、指标函数取和的形式的逆序解法为例给出计算框图,其它 情况容易在这个基础上修改得到。 一般化的自由终端条件为 fn+(xn+1,)=(xn,),i=1,2,…,nn 其中φ为已知。固定始端条件可表示为X1={x1}={x1}。 如果状态κ和决策α是连续变量,用数值方法求解时需按照精度要求进行离散 化。设状态x的允许集合为 x={x|=1,2,…,n},i=1,2,…,nk,k=1,2,…,n 决策L(x)的允许集合为 =unli k=1,2 状态转移方程和阶段指标应对x的每个取值x和lk的每个取值ud计算,即 T=74(x,l),v4=v(x,G)。最优值函数应对x的每个取值x计算。基本方 程可以表为 N(xm=v(x, uk)+R(T(xk, uk)) f(k)=opt(x,i), (4) 读(x:) ∫(T(x,)) j←j+1 ri+Tcxi.uiCxi) 1是 f,(EM)= opt/Grw) 输出k,x(x) 输出f1(x) 图2解法框图 60
-60- 以自由终端、固定始端、指标函数取和的形式的逆序解法为例给出计算框图,其它 情况容易在这个基础上修改得到。 一般化的自由终端条件为 1 1, 1, 1 ( ) ( ), 1,2, , n+ n+ i = n+ i = nn+ f x ϕ x i L (3) 其中ϕ 为已知。固定始端条件可表示为 { } { } * 1 1 1 X = x = x 。 如果状态 k x 和决策 uk 是连续变量,用数值方法求解时需按照精度要求进行离散 化。设状态 k x 的允许集合为 Xk = {xki | i = 1,2,L,nk }, i = 1,2,L,nk ,k = 1,2,L,n . 决策 ( ) ki ki u x 的允许集合为 U u j nki i nk k n j ki ki { | 1,2, , }, 1,2, , , 1,2, , = ( ) = L = L = L . 状态转移方程和阶段指标应对 k x 的每个取值 ki x 和 uki 的每个取值 ( j) uki 计算,即 ( , ) ( j) k k ki uki T = T x , ( , ) ( j) k ki uki v = v x 。最优值函数应对 k x 的每个取值 ki x 计算。基本方 程可以表为 1,2, , , 1,2, , , , ,2,1. ( ) opt ( ), ( ) ( , ) ( ( , )), ( ) ( ) 1 ( ) ( ) j L n i L n k n L f x f x f x v x u f T x u ki k ki j k j k ki j k k ki ki j ki k ki ki j k = = = = = + + (4) 图 2 解法框图
按照(3),(4)逆向计算出f1(x1),为全过程的最优值。记状态x的最优决策为 (x),由x和u(x)按照状态转移方程计算出最优状态,记作x。并得到相应的 最优决策,记作u(x)。于是最优策略为{u1(x1),2(x2),…,un(xn)}。 算法程序的框图如图2所示。 图的左边部分是函数序列的递推计算,可输出全过程最优值f1(x1),如果需要还 以输出后部子过程最优值函数序列f(x)和最优决策序列u4(x6)。计算过程中存 ∫(x后)是备计算∫1之用,在∫-1算完后可用∫1将∫替换掉;存l(xk)是备右边 部分读4(x)之用。 图的右边部分是最优状态和最优决策序列的正向计算,可输出最优策略 {a1(x1),u2(x2)…,un(xn)}和最优轨线{x1,x2,…,xn} §4动态规划与静态规划的关系 动态规划与静态规划(线性和非线性规划等)研究的对象本质上都是在若干约束条 件下的函数极值问题。两种规划在很多情况下原则上可以相互转换 动态规划可以看作求决策412…,Ln使指标函数Vn(x1,u1,l2…,n)达到最优 (最大或最小)的极值问题,状态转移方程、端点条件以及允许状态集、允许决策集等 是约束条件,原则上可以用非线性规划方法求解 些静态规划只要适当引入阶段变量、状态、决策等就可以用动态规划方法求解 下面用例子说明。 例4用动态规划解下列非线性规划 max∑g(ul) ll=a,lk≥ 其中gA(4)为任意的已知函数。 解按变量u的序号划分阶段,看作n段决策过程。设状态为x1 问题中的变量u13u2,…,ln为决策。状态转移方程为 x1=a,xk+1=xk-l42k=1,2,…,n 取gA(uk)为阶段指标,最优值函数的基本方程为(注意到xn1=0) f (x = max [g, (xk)+fk(kd] 0≤xk≤a,k=n,n-1…2l; fn+1(0)=0. 按照逆序解法求出对应于x每个取值的最优决策u(x),计算至f(a)后即可利 用状态转移方程得到最优状态序列{x}和最优决策序列{4(x)} 与静态规划相比,动态规划的优越性在于: (ⅱ)能够得到全局最优解。由于约束条件确定的约束集合往往很复杂,即使指标 函数较简单,用非线性规划方法也很难求出全局最优解。而动态规划方法把全过程化为
-61- 按照(3),(4)逆向计算出 ( ) * 1 1 f x ,为全过程的最优值。记状态 ki x 的最优决策为 ( ) * ki ki u x ,由 * 1 x 和 ( ) * ki ki u x 按照状态转移方程计算出最优状态,记作 * k x 。并得到相应的 最优决策,记作 ( ) * * k k u x 。于是最优策略为{ ( ), ( ), , ( )} * * * 2 * 2 * 1 * 1 n n u x u x L u x 。 算法程序的框图如图 2 所示。 图的左边部分是函数序列的递推计算,可输出全过程最优值 ( ) * 1 1 f x ,如果需要还 可以输出后部子过程最优值函数序列 ( ) k ki f x 和最优决策序列 ( ) * k ki u x 。计算过程中存 ( ) k ki f x 是备计算 k −1 f 之用,在 k −1 f 算完后可用 k −1 f 将 k f 替换掉;存 ( ) * k ki u x 是备右边 部分读 ( ) * * k k u x 之用。 图的右边部分是最优状态和最优决策序列的正向计算,可输出最优策略 { ( ), ( ), , ( )} * * * 2 * 2 * 1 * 1 n n u x u x L u x 和最优轨线{ , , , } * * 2 * 1 n x x L x 。 §4 动态规划与静态规划的关系 动态规划与静态规划(线性和非线性规划等)研究的对象本质上都是在若干约束条 件下的函数极值问题。两种规划在很多情况下原则上可以相互转换。 动态规划可以看作求决策u u un , , , 1 2 L 使指标函数 ( , , , ) 1n 1 u1 u2 un V x , L 达到最优 (最大或最小)的极值问题,状态转移方程、端点条件以及允许状态集、允许决策集等 是约束条件,原则上可以用非线性规划方法求解。 一些静态规划只要适当引入阶段变量、状态、决策等就可以用动态规划方法求解。 下面用例子说明。 例 4 用动态规划解下列非线性规划 ∑= n k gk uk 1 max ( ) ; s.t. ∑= = ≥ n k uk a uk 1 , 0 . 其中 ( ) gk uk 为任意的已知函数。 解 按变量uk 的序号划分阶段,看作n 段决策过程。设状态为 1 2 1 , , , n+ x x L x ,取 问题中的变量u u un , , , 1 2 L 为决策。状态转移方程为 , , 1,2, , . x1 = a xk +1 = xk − uk k = L n 取 ( ) gk uk 为阶段指标,最优值函数的基本方程为(注意到 xn+1 = 0 ) ( ) max [ ( ) ( )] 1 1 0 + + ≤ ≤ = k k + k k u x k k f x g x f x k k ; 0 ≤ xk ≤ a, k = n,n −1,L,2,1; f n+1 (0) = 0. 按照逆序解法求出对应于 k x 每个取值的最优决策 ( ) * k k u x ,计算至 ( ) 1f a 后即可利 用状态转移方程得到最优状态序列{ } * k x 和最优决策序列{ ( )} * * k k u x 。 与静态规划相比,动态规划的优越性在于: (i)能够得到全局最优解。由于约束条件确定的约束集合往往很复杂,即使指标 函数较简单,用非线性规划方法也很难求出全局最优解。而动态规划方法把全过程化为
系列结构相似的子问题,每个子问题的变量个数大大减少,约束集合也简单得多,易 于得到全局最优解。特别是对于约束集合、状态转移和指标函数不能用分析形式给出的 优化问题,可以对每个子过程用枚举法求解,而约束条件越多,决策的搜索范围越小 求解也越容易。对于这类问题,动态规划通常是求全局最优解的唯一方法。 (ⅱi)可以得到一族最优解。与非线性规划只能得到全过程的一个最优解不同,动 态规划得到的是全过程及所有后部子过程的各个状态的一族最优解。有些实际问题需要 这样的解族,即使不需要,它们在分析最优策略和最优值对于状态的稳定性时也是很有 用的。当最优策略由于某些原因不能实现时,这样的解族可以用来寻找次优策略。 (ⅲi)能够利用经验提高求解效率。如果实际问题本身就是动态的,由于动态规划 方法反映了过程逐段演变的前后联系和动态特征,在计算中可以利用实际知识和经验提 髙求解效率。如在策略迭代法中,实际经验能够帮助选择较好的初始策略,提高收敛速 动态规划的主要缺点是 (i)没有统一的标准模型,也没有构造模型的通用方法,甚至还没有判断一个问 题能否构造动态规划模型的准则。这样就只能对每类问题进行具体分析,构造具体的模 型。对于较复杂的问题在选择状态、决策、确定状态转移规律等方面需要丰富的想象力 和灵活的技巧性,这就带来了应用上的局限性 (ⅱ)用数值方法求解时存在维数灾( curse of dimensionality)。若一维状态变量有m 个取值,那么对于n维问题,状态xk就有m"个值,对于每个状态值都要计算、存储函 数f(x),对于n稍大的实际问题的计算往往是不现实的。目前还没有克服维数灾的 有效的一般方法。 §5若干典型问题的动态规划模型 51最短路线问题 对于例1一类最短路线问题( shortest path problem),阶段按过程的演变划分,状 态由各段的初始位置确定,决策为从各个状态出发的走向,即有xk+1=l4(xk),阶段 指标为相邻两段状态间的距离d4(xk,u4(x),指标函数为阶段指标之和,最优值函数 f4(xk)是由x出发到终点的最短距离(或最小费用),基本方程为 f(x =min[d,(k, u,(xk))+r+ (xk1)]k=n,, 1; 利用这个模型可以算出例1的最短路线为ABC2D1E2F2G,相应的最短距离为18 52生产计划问题 对于例2一类生产计划问题( Production planning problem),阶段按计划时间自然 划分,状态定义为每阶段开始时的储存量x,决策为每个阶段的产量l4,记每个阶段 的需求量(已知量)为d,则状态转移方程为 xkI=xk+uk-dk, xk 设每阶段开工的固定成本费为a,生产单位数量产品的成本费为b,每阶段单位数量产 品的储存费为c,阶段指标为阶段的生产成本和储存费之和,即 a+ buk, uk>0
-62- 一系列结构相似的子问题,每个子问题的变量个数大大减少,约束集合也简单得多,易 于得到全局最优解。特别是对于约束集合、状态转移和指标函数不能用分析形式给出的 优化问题,可以对每个子过程用枚举法求解,而约束条件越多,决策的搜索范围越小, 求解也越容易。对于这类问题,动态规划通常是求全局最优解的唯一方法。 (ii)可以得到一族最优解。与非线性规划只能得到全过程的一个最优解不同,动 态规划得到的是全过程及所有后部子过程的各个状态的一族最优解。有些实际问题需要 这样的解族,即使不需要,它们在分析最优策略和最优值对于状态的稳定性时也是很有 用的。当最优策略由于某些原因不能实现时,这样的解族可以用来寻找次优策略。 (iii)能够利用经验提高求解效率。如果实际问题本身就是动态的,由于动态规划 方法反映了过程逐段演变的前后联系和动态特征,在计算中可以利用实际知识和经验提 高求解效率。如在策略迭代法中,实际经验能够帮助选择较好的初始策略,提高收敛速 度。 动态规划的主要缺点是: (i)没有统一的标准模型,也没有构造模型的通用方法,甚至还没有判断一个问 题能否构造动态规划模型的准则。这样就只能对每类问题进行具体分析,构造具体的模 型。对于较复杂的问题在选择状态、决策、确定状态转移规律等方面需要丰富的想象力 和灵活的技巧性,这就带来了应用上的局限性。 (ii)用数值方法求解时存在维数灾(curse of dimensionality)。若一维状态变量有m 个取值,那么对于n 维问题,状态 k x 就有 n m 个值,对于每个状态值都要计算、存储函 数 ( ) k k f x ,对于n 稍大的实际问题的计算往往是不现实的。目前还没有克服维数灾的 有效的一般方法。 §5 若干典型问题的动态规划模型 5.1 最短路线问题 对于例 1 一类最短路线问题(shortest Path Problem),阶段按过程的演变划分,状 态由各段的初始位置确定,决策为从各个状态出发的走向,即有 ( ) k 1 k k x = u x + ,阶段 指标为相邻两段状态间的距离 ( , ( )) k k k k d x u x ,指标函数为阶段指标之和,最优值函数 ( ) k k f x 是由 k x 出发到终点的最短距离(或最小费用),基本方程为 ( ) min[ ( , ( )) ( )], , ,1; 1 1 ( ) f x dk xk uk xk f k xk k n L u x k k k k = + + + = ( ) 0. f n+1 xn+1 = 利用这个模型可以算出例 l 的最短路线为 AB1C2D1E2F2G ,相应的最短距离为 18。 5.2 生产计划问题 对于例 2 一类生产计划问题(Production planning problem),阶段按计划时间自然 划分,状态定义为每阶段开始时的储存量 k x ,决策为每个阶段的产量uk ,记每个阶段 的需求量(已知量)为dk ,则状态转移方程为 , 0, 1,2, , . xk +1 = xk + uk − dk xk ≥ k = L n (5) 设每阶段开工的固定成本费为a ,生产单位数量产品的成本费为b ,每阶段单位数量产 品的储存费为c ,阶段指标为阶段的生产成本和储存费之和,即 ⎩ ⎨ ⎧ + > = + 0 , 0 ( , ) k k k k k k a bu u v x u cx (6)
指标函数V为v之和。最优值函数f(xk)为从第k段的状态x出发到过程终结的最 小费用,满足 f(xk)=min[v, (xk, u,)+ f (],k=n,, 1 其中允许决策集合Uk由每阶段的最大生产能力决定。若设过程终结时允许存储量为 xm+1,则终端条件是 fn+1(xn+1)=0 (5)~(7)构成该问题的动态规划模型。 53资源分配问题 种或几种资源(包括资金)分配给若干用户,或投资于几家企业,以获得最大的 效益。资源分配问题( resource allocating problem)可以是多阶段决策过程,也可以是 静态规划问题,都能构造动态规划模型求解。下面举例说明。 例5机器可以在高、低两种负荷下生产。a台机器在高负荷下的年产量是g() 在低负荷下的年产量是h(a),高、低负荷下机器的年损耗率分别是a1和b (0β>0),即高、低负荷下每台机器的年产量分别为a和β,结果将 有什么特点 解年度为阶段变量k=1,2,…,n。状态xk为第k年初完好的机器数,决策uk为 第k年投入高负荷运行的台数。当x4或lk不是整数时,将小数部分理解为一年中正常 工作时间或投入高负荷运行时间的比例。 机器在高、低负荷下的年完好率分别记为a和b,则a a<b。因为第k年投入低负荷运行的机器台数为xk-l4,所以状态转移方程是 xkl=auk +b(xg -uk) (8) 阶段指标v是第k年的产量,有 v(Xk,u=g(ur+h(xk-W (9) 指标函数是阶段指标之和,最优值函数f(xk)满足 f(xx)=max [v,(xr, uk)+M(kl)l, ≤x 0≤xk≤m,k=n,…,2,1 及自由终端条件 fn+(xn+1)=0,0≤xn1≤m (11) 当v中的g,h用较简单的函数表达式给出时,对于每个k可以用解析方法求解极 值问题。特别,若g(u)=a,h(u)=Bt,(10)中的[v4(xk,u4)+f+1(xk)将是lk 的线性函数,最大值点必在区间0≤ak≤xk的左端点uk=0或右端点lk=xk取得, 即每年初将完好的机器全部投入低负荷或高负荷运行。 §6具体的应用实例 例6设某工厂有1000台机器,生产两种产品A、B,若投入x台机器生产A产
-63- 指标函数Vkn 为 k v 之和。最优值函数 ( ) k k f x 为从第k 段的状态 k x 出发到过程终结的最 小费用,满足 ( ) min[ ( , ) ( )], , ,1. f x vk xk uk f k 1 xk 1 k n L u U k k k k = + + + = ∈ 其中允许决策集合Uk 由每阶段的最大生产能力决定。若设过程终结时允许存储量为 0 n+1 x ,则终端条件是 ( ) 0. 0 f n+1 xn+1 = (7) (5)~(7)构成该问题的动态规划模型。 5.3 资源分配问题 一种或几种资源(包括资金)分配给若干用户,或投资于几家企业,以获得最大的 效益。资源分配问题(resource allocating Problem)可以是多阶段决策过程,也可以是 静态规划问题,都能构造动态规划模型求解。下面举例说明。 例 5 机器可以在高、低两种负荷下生产。u 台机器在高负荷下的年产量是 g(u) , 在低负荷下的年产量是 h(u) ,高、低负荷下机器的年损耗率分别是 1 a 和 1 b (0 1 β > 0),即高、低负荷下每台机器的年产量分别为α 和 β ,结果将 有什么特点。 解 年度为阶段变量k = 1,2,L, n 。状态 k x 为第k 年初完好的机器数,决策uk 为 第k 年投入高负荷运行的台数。当 k x 或uk 不是整数时,将小数部分理解为一年中正常 工作时间或投入高负荷运行时间的比例。 机器在高、低负荷下的年完好率分别记为 a 和 b ,则 1 a = 1− a , 1 b = 1− b ,有 a < b 。因为第k 年投入低负荷运行的机器台数为 k uk x − ,所以状态转移方程是 ( ) k 1 k k uk x + = au + b x − (8) 阶段指标 k v 是第k 年的产量,有 ( , ) ( ) ( ) k k k k k uk v x u = g u + h x − (9) 指标函数是阶段指标之和,最优值函数 ( ) k k f x 满足 0 , , ,2,1. ( ) max [ ( , ) ( )], 1 1 0 x m k n L f x v x u f x k k k k k k u x k k k k ≤ ≤ = = + + + ≤ ≤ (10) 及自由终端条件 ( ) 0, 0 . f n+1 xn+1 = ≤ xn+1 ≤ m (11) 当 k v 中的 g, h 用较简单的函数表达式给出时,对于每个 k 可以用解析方法求解极 值问题。特别,若 g(u) = αu ,h(u) = βu ,(10)中的[ ( , ) ( )] k k k k 1 k v x u f x + + 将是uk 的线性函数,最大值点必在区间 k k 0 ≤ u ≤ x 的左端点uk = 0 或右端点 k k u = x 取得, 即每年初将完好的机器全部投入低负荷或高负荷运行。 §6 具体的应用实例 例 6 设某工厂有 1000 台机器,生产两种产品 A、B ,若投入 x 台机器生产 A 产
品,则纯收入为5x,若投入y台机器生产B种产品,则纯收入为4y,又知:生产A种 产品机器的年折损率为20%,生产B产品机器的年折损率为10%,问在5年内如何安 排各年度的生产计划,才能使总收入最高? 解年度为阶段变量k=1,2,3,4,5 令xk表示第k年初完好机器数,lk表示第k年安排生产A种产品的机器数,则 xk-4为第k年安排生产B种产品的机器数,且0≤uk≤xk。 则第k+1年初完好的机器数 xk+1=(1-0.2)a4+(1-0.1(xk-u4)=0.9xk-0.1uk (12) 令v(xk,L)表示第k年的纯收入,f(x)表示第k年初往后各年的最大利润之 f6(x6)=0 则 f(xk)=max v(k,ur)+M(k)) max{5uk+4(xk-l4)+f+1(x+1)}=max{uk+4x+f+1(xk+1)}(14) (1)k=5时,由(13)、(14)式得 fs(xs)=max (us +4x53 、s+4x关于u求导,知其导数大于零,所以v+4x,在u等于x处取得最大值, =x5时,f5(x3)=5x (2)k=4时,由(12)、(14)式得 f4(x4)=max{4+4x4+5xs} =max{u4+4x4+5(0.9x4-0.1u4)}=max{0.5a4+8.5x4} Osu Sx4 0sM4≤x4 当l4=x4时,f4(x4)=9x4 (3)k=3时, f3(x3)=max{u23+4x3+9x4} 0≤3Sx =max{u2+4x3+90.9x3-0.l3)}=max{0.la2+121x3} 当l3=x3时,f3(x3)=122x (4)k=2时, f2(x2)=max{2+4x2+122x3}=max{-0.22a2+14.98x2} 0≤n2≤x2 当u2=0时,f2(x2)=1498x2 (5)k=1时 f(x1)=max{u1+4x1+1498x2}=max{-0.4981+17482x1} 当l1=0时,f1(x1)=17482x1。因为 x1=1000(台)
-64- 品,则纯收入为5x ,若投入 y 台机器生产 B 种产品,则纯收入为4y ,又知:生产 A 种 产品机器的年折损率为 20%,生产 B 产品机器的年折损率为 10%,问在 5 年内如何安 排各年度的生产计划,才能使总收入最高? 解 年度为阶段变量 k = 1,2,3,4,5。 令 k x 表示第 k 年初完好机器数,uk 表示第 k 年安排生产 A 种产品的机器数,则 k uk x − 为第k 年安排生产 B 种产品的机器数,且 k k 0 ≤ u ≤ x 。 则第 k +1年初完好的机器数 k k k k k uk x +1 = (1− 0.2)u + (1− 0.1)(x − u ) = 0.9x − 0.1 (12) 令 ( , ) k k uk v x 表示第 k 年的纯收入, ( ) k k f x 表示第 k 年初往后各年的最大利润之 和。 显然 f 6 (x6 ) = 0 (13) 则 ( ) max { ( , ) ( )} 1 1 0 + + ≤ ≤ = k k k + k k u x k k f x v x u f x k k max {5 4( ) ( )} max { 4 ( )} 1 1 0 1 1 0 + + ≤ ≤ + + ≤ ≤ = + − + = k + k + k k u x k k k k k u x u x u f x u x f x k k k k (14) (1)k = 5时,由(13)、(14)式得 ( ) max { 4 } 5 5 0 5 5 5 5 f x u x u x = + ≤ ≤ 5 4 5 u + x 关于u5求导,知其导数大于零,所以 5 4 5 u + x 在u5等于 5 x 处取得最大值, 即 5 5 u = x 时, 5 5 5 5 f (x ) = x 。 (2)k = 4 时,由(12)、(14)式得 ( ) max { 4 5 } 4 4 5 0 4 4 4 4 f x u x x u x = + + ≤ ≤ max { 4 5(0.9 0.1 )} max {0.5 8.5 } 4 4 0 4 4 4 4 0 4 4 4 4 u x x u u x u x u x = + + − = + ≤ ≤ ≤ ≤ 当 4 4 u = x 时, 4 4 4 f (x ) = 9x (3)k = 3时, ( ) max { 4 9 } 3 3 4 0 3 3 3 3 f x u x x u x = + + ≤ ≤ max { 4 9(0.9 0.1 )} max {0.1 12.1 } 3 3 0 3 3 3 3 0 3 3 3 3 u x x u u x u x u x = + + − = + ≤ ≤ ≤ ≤ 当 3 3 u = x 时, 3 3 2 3 f (x ) = 12. x (4)k = 2 时, ( ) max { 4 12.2 } max { 0.22 14.98 } 2 2 0 2 2 3 0 2 2 2 2 2 2 f x u x x u x u x u x = + + = − + ≤ ≤ ≤ ≤ 当 0 u2 = 时, 2 2 2 f (x ) = 14.98x 。 (5)k = 1时, ( ) max{ 4 14.98 } max{ 0.498 17.482 } 1 1 0 1 1 2 0 1 1 1 1 1 1 f x u x x u x u x u x = + + = − + ≤ ≤ ≤ ≤ 当 0 u1 = 时, 1 1 1 f (x ) = 17.482x 。因为 1000 x1 = (台)
所以由(12)式,进行回代得 x2=09x1-0.l1=900(台) x3=0.9X2-0.l2=810(台) x4=0.9x3-0.la2=648(台) 0.9x4-0.l4=5184(台) 注:x5=5184台中的04台应理解为有一台机器只能使用04年将报废 例7求解下面问题 l1≥0i=12,3 解:按问题的变量个数划分阶段,把它看作为一个三阶段决策问题。设状态变量 为x1,x2,x3,x4,并记x1=C;取问题中的变量a42,u2u2为决策变量;各阶段指标函数 按乘积方式结合。令最优值函数∫(xk)表示第k阶段的初始状态为xk,从k阶段到3 阶段所得到的最大值。 设x3=l2,x3+l2=x2,x2+l1=x1=c 则有 0≤u2Sx2,0≤l1≤x1 用逆推解法,从后向前依次有 f(x3)=max2=x3及最优解u3 f2(x2)=max uifs(,))= max u2(x2-u2))=max h,(u2, x2) ≤Ml≤xy dh 32=0,得l2=x2和l2=0(舍去 d-h d-h -2x2<0,故u2==x2为极大值点。 所以(x1)=27及最优解n2=3 4 f1(x)=max{1f2(x2)}=max{u1(x1-l1)3} 0≤sx127 同样利用微分法易知f1(x1)=x,最优解 由于x已知,因而按计算的顺序反推算,可得各阶段的最优决策和最优值。即
-65- 所以由(12)式,进行回代得 0.9 0.1 900 x2 = x1 − u1 = (台) x3 = 0.9x2 − 0.1u2 = 810(台) x4 = 0.9x3 − 0.1u3 = 648(台) x5 = 0.9x4 − 0.1u4 = 518.4 (台) 注: x5 = 518.4台中的 0.4 台应理解为有一台机器只能使用 0.4 年将报废。 例 7 求解下面问题 3 2 max z = u1u2 u ⎩ ⎨ ⎧ ≥ = + + = > 0 1,2,3 ( 0) 1 2 3 u i u u u c c i 解: 按问题的变量个数划分阶段,把它看作为一个三阶段决策问题。设状态变量 为 1 2 3 4 x , x , x , x ,并记 x = c 1 ;取问题中的变量 1 2 3 u ,u ,u 为决策变量;各阶段指标函数 按乘积方式结合。令最优值函数 ( ) k k f x 表示第k 阶段的初始状态为 k x ,从k 阶段到 3 阶段所得到的最大值。 设 3 u3 x = , 3 2 2 x + u = x , x + u = x = c 2 1 1 则有 3 3 u = x , 2 2 0 ≤ u ≤ x , 1 1 0 ≤ u ≤ x 用逆推解法,从后向前依次有 3 3 3 3 ( ) max{ } 3 3 f x u x u x = = = 及最优解 3 * 3 u = x ( ) max { ( )} max { ( )} max ( , ) 2 2 2 0 2 2 2 2 0 3 3 2 2 0 2 2 2 2 2 2 2 2 f x u f x u x u h u x ≤u ≤x ≤u ≤x ≤u ≤x = = − = 由 2 3 0 2 2 2 2 2 2 = u x − u = du dh ,得 2 2 3 2 u = x 和 0 u2 = (舍去) 又 2 2 2 2 2 2 2x 6u du d h = − ,而 2 0 2 3 2 2 2 2 2 2 2 = − < = x du d h u x ,故 2 2 3 2 u = x 为极大值点。 所以 3 2 2 2 27 4 f (x ) = x 及最优解 2 * 2 3 2 u = x 。 ( ) } 27 4 ( ) max{ ( )} max{ 3 1 1 1 0 1 2 2 0 1 1 1 1 1 1 f x u f x u x u u x u x = = − ≤ ≤ ≤ ≤ 同样利用微分法易知 4 1 1 1 64 1 f (x ) = x ,最优解 1 * 1 4 1 u = x 。 由于 1 x 已知,因而按计算的顺序反推算,可得各阶段的最优决策和最优值。即 u c 4 * 1 1 = , 4 1 1 64 1 f (x ) = c 由 x x u c c c 4 3 4 * 1 2 = 1 − 1 = − =