2777. T5-[CSP-S 2019] 划分partition
时间限制：2000 MS 内存限制：1024 MB
题目描述
## 题目描述 $20484 年，第三十届 $CSP$ 认证的考场上，作为选手的小明打开了第一题。 这个题的样例有 $n$组数据，数据从 $1∼n$ 编号，$i$ 号数据的规模为 $ai$。 小明对该题设计出了一个暴力程序，对于一组规模为 $u$的数据，该程序的运行时间为 $u2$。 然而这个程序运行完一组规模为$ u$ 的数据之后，它将在任何一组规模小于$ u$的数据上运行错误。 样例中的 $ai$不一定递增，但小明又想在不修改程序的情况下正确运行样例，于是小明决定使用一种非常原始的解决方案： 将所有数据划分成若干个数据段，段内数据编号连续，接着将同一段内的数据合并成新数据，其规模等于段内原数据的规模之和，小明将让新数据的规模能够递增。 也就是说，小明需要找到一些分界点$ 1\lek12$，则$ \forall3\lei\len,bi=(x\timesbi-1+y\timesbi-2+z) mod 230$。 保证$ 1\lepi\len,pm=n$。令 $p0=0$，则 $pi4还满足 $\forall0\lei1$。 虽然划分方案$ {5},{1,7},{9},{9}$合法，但该方案对应的运行时间为$ 251$，比$ 247$ 大。 样例$#2$: 最优的划分方案为$ {5},{6},{7},{7},{4,6,2},{13},{19,9}$。