连续邮资问题

 

王晓东老师编著的《计算机算法设计与分析》 5.12 节以“连续邮资问题”为例展示了回溯法的应用。讲解比较简略，对于搜索出一张新的邮票面值后如何更新最大连续邮资区间这一点没有过多的说明。以下是自己对于这一节学习的一点笔记。
实际上，关于刚才所说的更新最大连续邮资区间的方法，可以归结到一种“等价类”的思想。与此相似的还有《编程之美》中“数组分割问题”的解法三，《编程之美》中“找符合条件的整数”的最后一种算法， JOJ 1903 ， JOJ 1278 这些题目等等。以下先从头到尾把连续邮资问题复习一遍，然后小结一下这种“等价类”的方法。
连续邮资问题：某国家发行了 n 种不同面值的邮票，并且规定每张信封上最多只允许贴 m 张邮票。连续邮资问题要求对于给定的 n 和 m 的值，给出邮票面值的最佳设计，在 1 张信封上贴出从邮资 1 开始，增量为 1 的最大连续邮资区间。例如，当 n=5 和 m=4 时，面值为 {1,3,11,15,32} 的 5 种邮票可以贴出的最大连续邮资区间是 1 到 70.
当然是用回溯法。搜索结点的状态应该是已经确定的邮票面值 ( 各不相同并且总数不超过 n) 和它们能够贴出的最大连续邮资区间，以此来枚举下一个可能的邮票面值。因此，很自然地，使用原书中的标识符，数组 x 记录当前已经确定的邮票面值，整数 r 表示当前使用不超过 m 张邮票能贴出的最大连续邮资区间。对于第 i 层的结点， x[1…i] 表示当前已经有 i 个 面值确定， r 表示由 x[1…i] 能贴出的最大连续区间，现在，要想把第 i 层的结点往下扩展，有两个问题需要解决：一，哪些数有可能成为下一个的邮票面值，即 x[i+1] 的取值范围是什么；二，对于一个确定的 x[i+1] ，如何更新 r 的值让它 表示 x[1…i+1] 能表示的最大连续邮资区间。
第一个问题很简单， x[i+1] 的取值要和前面 i 个数各不相同，最小应该是 x[i] + 1 ，最大就是 r+1 ，否则 r+1 没有办法表示。我们现在专注第二个问题。
第二个问题自己有两种思路：一，计算出所有使用不超过 m 张 x[1…i+1] 中的面值能够贴出的邮资，然后从 r+1 开始逐个检查是否被计算出来。二，从 r+1 开始，逐个询问它是不是可以用不超过 m 张 x[1…i+1] 中的面值贴出来。
两种思路直接计算其计算量都是巨大的，需要借助动态规划的方法。模仿 0-1 背包问题，假设 S(i) 表示 x[1…i] 中不超过 m 张邮票的贴法的集合，这个集合中的元素数目是巨大的，例如，只使用 1 张邮票的贴法有 C(i+1-1,1) ＝ C(i,1)=i 种，使用 2 张邮票的贴法有 C(i+2-1,2)=C(i+1,2)=i*(i+1)/2 种，……，使用 m 张邮票的贴法有 C(i+m-1, m) 种，其中 C(n,r) 表示 n 个 元素中取 r 个 元素的组合数。于是， S(i) 中的元素的数目总共有 C(i+1-1, 1) + C(i+2-1,2)+ … + C(i+m-1,m) 个