数学建模-动态规划 下载本文

-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

-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 阶段的状态变量,它可以是一个数或一个向量。 用k X 表示第k 阶段的允许状态集合。在例1 中2 x 可取1 2 B ,B ,或将i B 定义为

i(i = 1,2),则1 2 x = 或2,而{1,2} 2 X = 。

n 个阶段的决策过程有n +1个状态变量,n+1 x 表示n x 演变的结果。在例1 中7 x 取 G ,或定义为1,即1 7 x = 。

根据过程演变的具体情况,状态变量可以是离散的或连续的。为了计算的方便有时 将连续变量离散化;为了分析的方便有时又将离散变量视为连续的。 状态变量简称为状态。 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 1 u B 可取1 2 C ,C 或3 C ,

可记作(1) 1,2,3 2 u = ,而(1) {1,2,3} 2 U = 。 决策变量简称决策。 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 阶段的子过程的策略记作

-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, , . 1 x T x u k n k = k k k = L + (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。指标函 数应具有可分离性,即k n V , 可表为k k k n x u V 1, , , + 的函数,记为

( , , , , ) ( , , ( , , , )) , +1 +1 +1, +1 +1 +1 = k n k k k n k k k k n k k n V x u x L x ?x u V x u L x

并且函数k

?对于变量k n V +1, 是严格单调的。

过程在第j 阶段的阶段指标取决于状态j x 和决策j u ,用( , ) j j j v x u 表示。指标函 数由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 j

V (x ,u , x , , x ) v (x ,u ) , 1 L 1 ,

阶段指标之极大(或极小),即

( , , , , ) max(min) ( , ) k ,n k k k 1 n 1 k j n j j j V x u x x v x u

+ + ≤≤

L = .

这些形式下第k 到第j阶段子过程的指标函数为( , , , ) k , j k k j+1 V x u L x 。

根据状态转移方程指标函数k n V , 还可以表示为状态k x 和策略kn p 的函数,即

( , ) k ,n k kn V x p 。在k x 给定时指标函数k n V , 对kn p 的最优值称为最优值函数(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 最优策略和最优轨线

使指标函数k n V , 达到最优值的策略是从k 开始的后部子过程的最优策略,记作

*

{ * , , *} p = u L u 。*

kn k n 1n

p 是全过程的最优策略,简称最优策略(optimal policy)。从初始 状态( * )

1 1 x = x 出发,过程按照*

1n p 和状态转移方程演变所经历的状态序列 { , , , * }

1 * 2 *

1 n+

x x L x 称最优轨线(optimal trajectory)。

-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