浅析一类二分方法.pdfVIP

浅析一类二分方法 （IOI2012 中国国家集训队第二次作业自选部分） 哈尔滨市第三中学 王钦石 摘要 二分是算法竞赛乃至所有算法设计中常用的方法，本文介绍了一种方法，把 一类看似与二分毫不相关的限制个数的最优化问题通过二分转化为不限制个数、 可以用简单高效的算法解决的问题，从而高效的解决限制个数的问题。 关键词：二分，单调性，限制个数 几个简单的问题1 【例1】 给定一个正整数列a ..a ，分成若干段，记每段之和为S ，求最小的ΣS 2 。 0 n-1 i i 显然，把每个数分为一段答案最优。 【例2】 给定一个正整数列 a ..a ，分成若干段，记每段之和为 S ，求最小的 0 n-1 i Σ(AS 2+BS +C)。（A,B,C 均为正整数） i i 很容易得到一种动态规划算法，f(i)表示前 i 个数的最优答案，枚举最后一 段的长度进行转移，时间复杂度为O(N^2) 。 记前 i 个数之和为 sum ，g(i) = f(i)+Asum 2-Bsum ，转移时只需找出使 i i j g(j)-2Asum sum 最小的j 转移即可，这可以用凸壳进行维护，在O(N)的时间内 i j 计算出答案。 【例3】 给定一个正整数列 a ..a ，分成若干段，记每段之和为 S ，求最小的 0 n-1 i Σ(AS 3+BS 2+CS +D)。（A,B,C,D 均为正整数） i i i 朴素的动态规划算法依然成立，不过不能按例 2 的做法进行优化。记 p(i) 为f(i)决策中最优的j 中最小的一个，显然对于ij，有p(i)≥p(j) 。换而言之， 对于ij，存在一个x ，使得对于所有k≥x ，f(k)决策中i 更优，反之j 更优。所 以可以维护一个双端队列，依次计算每个f(i) 。核心部分用一下伪代码描述： Deque q For i = 0-n-1 While 对于当前i，q 中的第二个元素优于第一个 q.pop_front() 计算f(i)值 While i 比q 中最后一个元素优时，q 中最后一个元素尚不优于倒数第二 个元素( 内部需使用二分，复杂度O(logN)) q.pop_back() q.push_back(i) 时间复杂度为O(NlogN) 1这部分内容较为简略，如有不理解的地方可参照周源的论文。 限制个数的问题 【例4 】 给定一个正整数列a ..a ，分成不超过K 段，记每段之和为S ，求最小的ΣS 2 。 0 n-1 i i 显然，分为少于K 段是不优的。 仍然可以使用动态规划法，f(i,j)表示将前i 的数分为j 段的最优答案，枚举 2 最后一段的起始点进行转移，时间复杂度为O(N K) 。 同样可以利用决策单调性进行优化。记p(i,j)为使f(i,j)最优的决策中最小的 一个，易见p(i-1,j) ≤ p(i,j) ≤ p(i,j-1)，可以控制顺序