国家集训队2000论文集 张一飞论文.docVIP

冗繁削尽留清瘦 ——浅谈信息的充分利用 长沙市雅礼中学 张一飞 【摘要】 在算法设计中，人们往往不自觉地进行了大量多余的运算，这些累赘将大大降低算法的效率。作者认为，充分利用已知信息，是解决这一问题的一个有效方法。 所谓充分利用信息，就是在算法设计中，把已知信息尽可能充分地利用起来，以避免冗余运算，降低算法的时空复杂度，从而提高算法的效率。本文对充分利用信息，在优化回溯法、动态规划和数值计算中的应用作了初步的探讨。 【关键字】 信息，算法优化 “冗繁削尽留清瘦”[1]虽然讲的是画竹，却包含着深刻的哲理。算法设计同画竹一样，也需要削尽冗繁。但在解题实践中，人们往往不自觉地做了一些多余的运算，而忽视了对已知信息的充分利用。 所谓充分利用信息，就是在算法设计中，把已知信息尽可能充分地利用起来，以避免冗余运算，降低算法的时空复杂度，从而提高算法的效率。限于篇幅，本文仅对这种方法提高回溯法、动态规划和数值计算的效率进行探讨。 提高回溯法的效率 我们知道，回溯法实质上是从树根出发，遍历一棵解答树的过程。如果解答树中存在一些性质相同的子树，那么，只要我们知道了其中一棵子树的性质，就可以根据这个信息，导出其它子树的性质。这就是自顶向下记忆化搜索[2]的基本思想。 记忆化搜索避免了一些多余的运算，因而比非记忆化搜索效率要高。但在有些记忆化搜索中，对信息的利用仍不够充分，还有进一步优化的余地。 下面，我们看一个例子： 【序关系计数问题】 用关系’’和’=’将3个数A、B和C依次排列有13种不同的关系： ABC, AB=C, ACB, A=BC, A=B=C, A=CB, BAC, BA=C, BCA, B=CA, CAB, CA=B, CBA。 编程求出N个数依序排列时有多少种关系。 1.枚举出所有的序关系表达式 我们可以采用回溯法枚举出所有的序关系表达式。N个数的序关系表达式，是通过N个大写字母和连接各字母的N-1个关系符号构成。依次枚举每个位置上的大写字母和关系符号，直到确定一个序关系表达式为止。 由于类似于‘A=B’和‘B=A’的序关系表达式是等价的，为此，规定等号前面的大写字母在ASCII表中的序号，必须比等号后面的字母序号小。基于这个思想，我们很容易写出解这道题目的回溯算法。 算法1-1，计算N个数的序关系数。 procedure Count(Step,First,Can); {Step表示当前确定第Step个大写字母； First表示当前大写字母可能取到的最小值； Can是一个集合，集合中的元素是还可以使用的大写字母} begin if Step=N then begin{确定最后一个字母} for i:=First to N do if i in Can then Inc(Total); {Total为统计的结果} Exit end; for i:=First to N do{枚举当前的大写字母} if i in Can then begin{i可以使用} Count(Step+1,i+1,Can-[i]);{添等于号} Count(Step+1,1,Can-[i]){添小于号} end end; 调用Count(1,1,[1..N])后，Total的值就是结果。该算法的时间复杂度是O(N!) 2.粗略利用信息，优化算法1-1 算法1-1中存在大量冗余运算。如图1，三个方框内子树的形态完全一样。一旦我们知道了其中某一个方框内所产生的序关系数，就可以利用这个信息，直接得到另两个方框内将要产生的序关系数。 显然，在枚举的过程中，若已经确定了前k个数，并且下一个关系符号是小于号，这时所能产生的序关系数就是剩下的N-k个数所能产生的序关系数。 设i个数共有F[i]种不同的序关系，那么，由上面的讨论可知，在算法1-1中，调用一次Count(Step+1,1,Can-[i])之后，Total的增量应该是F[N-Step]。这个值可以在第一次调用Count(Step+1,1,Can-[i])时求出。而一旦知道了F[N-Step]的值，就可以用Total:=Total+F[N-Step] 代替调用Count(Step+1,1,Can-[i])。这样，我们可以得到改进后的算法1-2。 算法1-2，计算N个数的序关系数。 procedure Count(Step,First,Can); {Step,First,Can的含义同算法1-1} begin if Step=N then begin {确定最后一个字母} for i:=First to N do if i in C