标签：le limits Towers 题解 sum 划分 CF229D 复杂度 dp

给定长度为\(n\)的数列\(a_i\)，每次可以将相邻的数字加起来合并为一个（然后数字总数就会减\(1\)），求使序列非减的最少次数。

\(a_i\le 10^5， n\le 5000\)

Solution

可以发现相当于将数列划分为若干区间，每个区间内部合并为一个数，大小为\(1\)的区间不合并。且要满足段内和不减。

划分区间！考虑dp。

设\(dp_{i,j}\)表示划分前\(i\)个数，上一次划分的右端点为\(j\)，使前\(i\)个数划分的段内和不减的最少操作次数。
则\(dp_{i,j}=min\{dp_{j,k}\}~~(\sum\limits_{x=k+1}^{j}a_x \le \sum\limits_{x=j+1}^{i}a_x)\)

复杂度\(O(n^3)\)，喜提TLE。

仔细思考可以发现，将前\(i\)个数划分为非减段时，最后一段段内和越小越好。于是我们可以将二维的dp拆为两个一维的。

设\(f_i\)表示划分前\(i\)个数，使段内和不减的最小次数；\(g_i\)表示在\(f_i\)状态下，最后一段的最小段内和。

转移为\(f_i=min\{f_j\}~~(g_j\le \sum\limits_{x=j+1}^{i}a_x)\)，在\(f_i\)相同的时候同时最小化\(g_i\)。

时间复杂度\(O(n^2)\)，可以通过。

显然\(f_i,g_i\)都是是单调不减的，每次转移的时候二分最后一个满足\(g_j\le \sum\limits_{x=j+1}^{i}a_x\)的位置\(j\)即可。

时间复杂度\(O(nlogn)\)。

标签：le,limits,Towers,题解,sum,划分,CF229D,复杂度,dp
来源： https://www.cnblogs.com/hzy1/p/15704365.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。