原创力文档- 1、本文档共2页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
SPOJ685SEQPAR解题报告
YangZhe
1题目简述
给一个长度为n的整数数列,找到一个最小的M,使得可以将这个数列划分为k段,每段之和不大于M.
1≤k≤n≤15000,每个数在−30000到30000之间.
2一个猜想及其证明
先给出一些定义:
•对于一个给定的序列和M,一个划分“合法”当且仅当划分为的各段的和都小于等于M;
•如果一个合法划分,将给定的序列划分为k段,则定义这k段每段的最后一个数为一个划分点.给
定序列的最后一个数为第k个划分点.
•对于给定的序列和M,如果对任意的a≤k≤b,存在长度为k的合法划分,则称这个序列
是“(a,b)-连续”的.
•对于给定的M,如果一个序列的合法划分中段数最少的合法划分为min段,段数最多的合法划分
为max段,则这个序列是“简单的”当且仅当这个序列是(min,max)-连续的.
我们希望证明这个猜想:任何序列都是“简单的”.为了证明这个猜想,先证明两个引理.
引理1如果一个长度等于n的序列{x}n的某两个合法划分的某一划分点完全相同,则如果左半部分
ii=1
是(a,b)-连续的,右半部分是(a,b)-连续的,则这个序列是(a+a,b+b)-连续的.
11221212
证明将左半部分划分为a段,右半部分分别划分为a,...,b段,则原序列是(a+a,a+b)-连续的.
1221212
将左半部分分别划分为a,...,b段,右半部分划分为b段,则原序列是(a+b,b+b)-连续的.
1121212
所以原序列是(a+a,b+b)-连续的.?
1212
引理2如果一个序列可以被分为一段,则这个序列是“简单的”.
证明我们证明,如果这个序列可以被划分为k(k≥2)段,则这个序列可以被划分为k−1段.
如果这k段中存在某段之和是非正数,则将这段与任意相邻一段合并,就得到了一个k−1段的划分.
否则,这k段每段之和都是正数.则任意两段之和小于等于整个序列的和,小于等于M.所以可将任意
相邻两端合并,得到一个k−1段的划分.
假设这个序列最多可以被划分为max段,那么这个序列可以被划分为max−1,max−2,...,1段,即它
是“简单的”.?
现在用归纳法证明猜想.
当序列的长度n=1时,这个序列显然是“简单的”.
假设长度为n≤k−1的序列都是“简单的”,往证长度为n=k的序列都是“简单的”.
文档评论（0）