荔园在线

荔园之美,在春之萌芽,在夏之绽放,在秋之收获,在冬之沉淀

[回到开始] [上一篇][下一篇]


发信人: hhh (hhh), 信区: ACMICPC
标  题: 动态规划的状态表示(二)
发信站: 荔园晨风BBS站 (2005年04月22日22:09:17 星期五), 站内信件

发信人: splutter (呆子), 信区: ACMICPC
标  题: 动态规划的状态表示(二)
发信站: 逸仙时空 Yat-sen Channel (Tue Jun 26 10:13:03 2001), 站内信件

                                        中国科技大学计算机系----黄浩达

三、状态表示对动态规划性能的影响

  我们分析问题的时候,总是从不同的角度去思考,以便能全面、本质地认识问
题。分析问题的状态表示,我们也是尽可能从不同角度去思考。由此会得到对问题
的不同状态表示,从动态规划原理来看,其中有些状态表示不能合乎要求,而在满
足要求的那些状态表示中,我们可以以之为基础,构造动态规划模型,实现动态规
划算法。在通常情况下,基于不同的状态表示的动态规划算法性能存在着差异,这
主要从算法的时间复杂度和空间复杂度体现出来。
上面介绍了问题二的两种状态表示, 状态表示2-1从问题的自然特征来思考, 提
出对一般多边形的表示方法,具有其通用性,状态表示2-2则根据多边形划分中关
于顶点划分的性质来思考,进而提出了半连续多边形, 现在我们考虑关于多边形
边的划分性质,提出状态表示2-3, 并比较三种状态表示,探讨状态表示对动态规
划性能的影响。

状态表示2-3
定义2-3 多边形(A1,A2,…,Ak)是由多边形(1,2,…,N)划分而来的多边形,
我们称多边形(A1,A2,…,Ak)为连续多边形,当且仅当Ai+1 = Ai+1 ,
k>i >0。图6中多边形(3,4,5,6,7)就是一个连续多边形。
性质2-3 对于一个多边形,它的任一条边一定与另一个顶点组成三角形。如图5,
边(1,2)可以与顶点4等顶点相连,形成三角形。
根据性质2-3, 对多边形划分时,我们可以按需要选择边来与其他顶点相连,而不
会遗漏多边形的任一种划分,自然也不会遗漏多边形的最优划分。

   连续多边形(X,X+1,,…,Y)可以用二元组(X,Y)来表示,则D(X,Y)表示
连续多边形的划分区域数。
  对于连续多边形(X,Y),只要我们选择边(X,Y)与顶点Z(X<Z<Y)连接,那
么(X,Y)划分为三部分:连续多边形(X,Z)、连续多边形(Z,Y)和三角形(
X,Z,Y)。(X,Y)的最优划分包含了(X,Z)、(Z,Y)的最优划分,满足最优
子结构性质。
注意到初始多边形是一个连续多边形,根据数学归纳法,它的子问题都是连续多边
形。因此二元组(X,Y)是一个正确的状态表示。状态转移方程为
D(X,Y) = min(g(X,Y,Z) + D(X,Z)+D(Z,Y)), X<Z<Y,
f(i,i) = 0, n+1>i>0,
当x,y,z在一条直线时,g(x,y,z) = 0, 否则g(x,y,z) = 1。
子问题空间复杂度是O(n2),在本文的假设条件下,使用基本堆空间可以处理顶
点数700以内的多边形。下面是求连续多边形最优划分区域数的函数。
[算法2-3]:
function Dynamic(s, t : integer) : integer; {求连续多边形(s,t)的最优划
分}
var j, tot : integer;
begin
  if D[s, t][1] = 255 then
    if t - s = 1 then D[s, t][1] := 0
       else begin
              for j := s + 1 to t - 1 do {j 是边(s,t)要连接的顶点}
                if 顶点j与顶点s、t连接合法 then
                begin
                  Tot := Dynamic(s, j) + Dynamic(j, t); {子多边形的最优划分}
                  If 顶点s、t、j不在一条直线上 then Tot := Tot + 1;
                  if Tot < D[s, t][1] then
                  begin
                    D[s, t][1] := Tot;
                    D[s, t][2] := j;
                  end;
                end;
            end;
  Dynamic := D[s, t][1];
end;

图7
我们来比较三种状态表示描述的子问题空间以及相应动态规划算法的时空性能。在
图7中,动态规划的时间复杂度、空间复杂度与子问题空间增长是同阶的。事实上
,这样的关系不仅仅局限于这个例子,它具有普遍意义。首先,动态规划空间花费
主要是用来存储描述子问题的状态表示,因此空间复杂度自然随着子问题的增多而
增大。其次,动态规划的时间花费主要取决于要解决的不同子问题的数目,随着子
问题数目的增多,时间复杂度当然就增大了。
既然不同的状态表示会描述不同大小的子问题空间,那么原因何在呢?在这道题中
,我们仅仅从多边形的定义来看,有这样的关系:{连续多边形} 是{半连续多边形
}的子集,{半连续多边形}是{多边形}的子集。由此可知,应该是状态表示描述子
问题不精确造成。
回顾状态表示2-1和状态表示2-2、2-3的分析,我们之所以采取状态表示2-1 是基
于对多边形自然特征的认识,而没有考虑到在特定环境下多边形划分而成的子多边
形与多边形本身有特殊的联系。比较状态表示2-2、2-3,两者都利用了多边形划分
的性质,但显然研究的深度不同。状态表示2-3保证了每种划分都是对多边形的不
同划分,因为至少有一条边所在的三角形是与其他划分中所在的三角形不一样。状
态2-2就不能保证这一点,如下图所示的两种划分顺序得出了同一种划分。因为这
种无意义的划分而产生的多边形属于{半连续多边形}-{连续多边形},如半连续多
边形(1,3,5)。

状态表示的改进不仅仅使动态规划的性能提高,通常也会使算法实现更加简洁。比
较算法[2-2]、[2-3]我们就可以看出这一点。算法[2-3]的程序见附录。
以上,我们主要讨论状态表示描述的子问题空间不同而影响动态规划。这是状态表
示影响动态规划性能的主要原因,但是在算法实现过程中,由于某种原因我们可能
对同一子问题采取了不同的描述方法,存储空间会产生极大的差异。下面这个例子
说明了这个问题。
问题三: “#”这个操作符被定义为一个双目运算符,且两个运算对象为正整数,
对于整数X,Y,# 号运算定义为(X#Y)=十进制数X各数字之和*十进制数Y的最大
数字+十进制数Y的最小数字。例
(9#30)=9*3+0=27,(30#9)=3*9+9=36
对于表达式我们约定或是一正数或是(表达式#表达式)。以下表达式是合法的表
达式
a
(a#a)
((a#a)#a)
(a#(a#a)#(a#a)#a))
对于给定的十进制正数a和表达式的值K,计算具有K值的表达式中“#”的个数。具
有k值的表达式可能有许多,并且具有不同的#个数,只需输出最小个数。a,k是均
不大于1000000000的正整数。

运算时,我们描述的是正整数k的各位数字和、最大数字和最小数字两个信息(这
里把最大、最小数字看成一个信息)以及得到k所用的最少 # 数,那么可以有两种
状态表示。
状态表示3-1
我们用一元组(k)表示正数k, D(k)表示所用的#数目。(k)已经隐含了各数字和、
最大数字和最小数字两个信息。
状态表示3-2
因为对每个数而言,各位数字和与最大数字、最小数字两个信息具有独立性,我们
可以分别记录这两个信息。用一元组(X)表示各位数字和,用二元组(Y,Z)表示
最大数字、最小数字。
我们对输入的数a进行特殊处理,而一次运算后的最大数字不超过738,状态表示
3-1只要开一个数组,定义如下
Type NumBerType = array[1..738] of integer
因为一次运算后的数值最大是三位数,各位数值和不超过27,用来存储数值和的数
组可定义为
Type TotalType = array[1..27] of integer
最大数字、最小数字与数大小无关,它们范围在[0,9],定义为
Type MaxMinType = array[0..9,0..9] of integer
状态表示3-1用一元组同时记录了两个信息,而状态表示3-2则分别记录了这两个信
息。显然状态表示3-2所用的空间比状态表示3-1所用的要小的多。同样一个对象,
只是由于我们采取不同的描述方法,所用的空间大小就迥然不同。程序见附录。

综上所述,状态表示对动态规划的性能的影响是多方面的。因此,在解决问题时,
从各方面比较状态表示,根据具体情况选择高效的状态表示,才能进一步优化动态
规划。



可以分别记录这两个信息。用一元组(X)表示各位数字和,用二元组(Y,Z)表示
最大数字、最小数字。
我们对输入的数a进行特殊处理,而一次运算后的最大数字不超过738,状态表示
3-1只要开一个数组,定义如下
Type NumBerType = array[1..738] of integer
因为一次运算后的数值最大是三位数,各位数值和不超过27,用来存储数值和的数
组可定义为
Type TotalType = array[1..27] of integer
最大数字、最小数字与数大小无关,它们范围在[0,9],定义为
Type MaxMinType = array[0..9,0..9] of integer
状态表示3-1用一元组同时记录了两个信息,而状态表示3-2则分别记录了这两个信
息。显然状态表示3-2所用的空间比状态表示3-1所用的要小的多。同样一个对象,
只是由于我们采取不同的描述方法,所用的空间大小就迥然不同。程序见附录。

综上所述,状态表示对动态规划的性能的影响是多方面的。因此,在解决问题时,
从各方面比较状态表示,根据具体情况选择高效的状态表示,才能进一步优化动态
规划。



--
※ 来源:.逸仙时空 Yat-sen Channel bbs.zsu.edu.cn.[FROM: 192.168.3.73]
--
※ 来源:·荔园晨风BBS站 bbs.szu.edu.cn·[FROM: 192.168.32.153]


[回到开始] [上一篇][下一篇]

荔园在线首页 友情链接:深圳大学 深大招生 荔园晨风BBS S-Term软件 网络书店