#P51476. 「JOI Open 2021」决算报告
「JOI Open 2021」决算报告
题目描述
译自 JOI Open 2021 T2 「決算報告 / Financial Report」
JOI 超市是一家有着 天历史的超市。在 JOI 超市开张后,第 天的销售额是 日元。
Bitaro 是 JOI 超市的经理,他负责做财务报告。在报告中,他会选择一些天,用柱形图按时间顺序展示这些天的销售额。他会解释这些天销售额是如何变化的。为了使得这个报告给人留下更深的印象,他计划自己选择要展示的数据。
如果 Bitaro 选了 天的销售额数据,这 天分别为开业后第 天,那么一个柱形图的印象分按如下规则计算。
- 印象分等于在这些天中销售额创历史新高的天数。换句话说,印象分等于满足 或 的下标 的个数。
Bitaro 想要最大化印象分,但是对于某些数据的选法,这个报告可能会不太自然。因此,他决定选择满足如下条件的数据。
- Bitaro 会展示最新的销售额数据。换句话说,满足 。
- 对于报告中展示的两个连续的销售额数据,两天日期最多差 天。换句话说,如果 ,对于每个 ,都要满足不等式 。
给出 JOI 超市开业后的销售额数据和一个整数 ,计算报告中的柱形图的最大印象分。
输入格式
第一行两个整数 。
第二行 个整数 。
输出格式
输出一行一个整数,表示最大印象分。
样例 1
7 1
100 600 600 200 300 500 500
3
在这组样例中,报告中可能有 种满足条件的柱形图。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
- 如果 Bitaro 用从开业起第 天的数据,印象分是 。
因此最大印象分是 。如果你的程序输出 ,则你的程序被认为是正确的。
这组样例满足子任务 的限制。
6 6
100 500 200 400 600 300
4
在这组样例中,如果 Bitaro 展示开业起第 天的数据,印象分最大。被选的天里,销售额分别为 日元。因为销售额创历史新高的天数为 。因此输出 。
这组样例满足子任务 的限制。
11 2
1 4 4 2 2 4 9 5 7 0 3
4
在这组样例中,如果 Bitaro 展示开业起第 天的数据,印象分最大。被选的天里,销售额分别为 日元。因为销售额创历史新高的天数为 。因此输出 。注意,在这组样例输入中,有多种方式能够使得印象分为 。
这组样例满足子任务 的限制。
数据范围与提示
对于全部数据,满足:
详细子任务附加限制及分值如下表。
子任务编号 | 附加限制 | 分值 |
---|---|---|
无附加限制 |