「题解」300iq Contest 2 H. Honorable Mention

本文将同步发布于：

• 洛谷博客；
• csdn；
• 博客园；
• 简书。

题目

题目链接：gym102331H。

题意概述

给定一个长度为 $n$ 的序列 $a$，有 $q$ 次询问，每次询问给定三个参数 $l,r,k$，求出对于区间 $[l,r]$，你将其划分为若干个子区间，然后取其中的 $k$ 个，最大化取出来的所有元素的和。即：最大 $k$ 子段和。

$1\le n,q\le 3.5\times 10^4$，$|a_i|\le 3.5\times 10^4$。

题解

寻找函数的性质

如果我们设 $f_{[l,r]}(k)$ 表示区间 $l,r$ 的最大 $k$ 子段和，那么我们不难猜测到 $l,r$ 相同时，$f(k)$ 是一个上凸函数。

我们考虑证明这一点，即 $f(k)-f(k-1)\ge f(k+1)-f(k)$。

考虑反证法，设 $\exists x\in \mathbb{N}$，满足 $f(x)-f(x-1)<f(x+1)-f(x)$。

那么我们考虑在 $x-1,x,x+1$ 的时候的选取方案。

• 若取 $x+1$ 的时候正子段仍未取完，那么 $f(x)$ 比 $f(x-1)$ 多取了一个区间 $p(p>0)$；$f(x+1)$ 比 $f(x)$ 多取了一个区间 $q(q>0)$。
  如果我们认为 $f(x$