龙 Evirir 写了关于信息学奥林匹克的 页内容。对于每个整数 ,恰好有一页的知识量为 。Evirir 将把这些页装订成一本书。形式化地,Evirir 会从 到 中选择一个长度为 的由互不相同整数组成的序列 。然后,它会制作一本书,使得第 页()的知识量为 。
由于古老的龙族法律,某些页的知识量是固定的。法律规定了 个整数 。对于每个 ,如果 ,那么必须有 。满足 的 一共有 个。
Evirir 希望它的 个学生(编号为 )阅读整本书。然而,由于注意力持续时间较短,每个学生 只会阅读第 页。一个学生的知识收益定义为该学生所阅读页面的知识量之和。
如果 Evirir 以最优方式装订这些页面,所有学生的总知识收益最大可以是多少?