Problem Statement
You are given integers $N$, $K$, and a length-$N$ sequence of non-negative integers $A = (A_1, A_2, \dots, A_N)$.
$A$ is a monotonically non-decreasing sequence. That is, $A_i \leq A_{i+1}$ holds for all $i = 1, 2, \dots, N - 1$.
We call a length-$N$ sequence of non-negative integers $X = (X_1, X_2, \dots, X_N)$ a "good sequence" if $X$ is monotonically non-decreasing and one can make all elements of $X$ equal to $0$ by applying the following operation zero or more times:
- Choose an integer
$i$such that$1 \leq i \leq N - K + 1$. Let$S = X_i + X_{i+1} + \dots + X_{i+K-1}$. Replace each of the$i$-th through$(i+K-1)$-th elements of$X$with$\left\lfloor \frac{S}{K} \right\rfloor$.
Find the maximum possible value of $\sum_{i=1}^N B_i$ for a sequence of non-negative integers $B = (B_1, B_2, \dots, B_N)$ that satisfy all of the following conditions:
$B_i \leq A_i$holds for all$i = 1, 2, \dots, N$.$B$is a monotonically non-decreasing sequence and is a "good sequence."
You have $T$ test cases; solve each of them.
Constraints
$1 \leq T \leq 10^5$$2 \leq K \leq N \leq 2 \times 10^5$$0 \leq A_i \leq 10^{9}$$A_i \leq A_{i+1}$holds for all$i = 1, 2, \dots, N - 1$.- All input values are integers.
- The sum of
$N$over all test cases in one input is at most$2 \times 10^5$.
Input
The input is given from Standard Input in the following format:
T
\mathrm{case}_1
\vdots
\mathrm{case}_T
Each case is given in the following format:
N K
A_1 A_2 \dots A_N
Output
Print $T$ lines. The $i$-th line should contain the answer for the $i$-th test case.
样例
4
4 2
0 1 2 3
4 3
0 1 2 3
20 5
1 2 3 3 4 5 6 7 7 8 9 9 11 13 14 16 16 17 18 19
20 10
36410986 135774405 160873759 200077345 386257217 408140905 426675713 448759426 470780343 572969565 653981029 693304642 741916215 764524315 768298046 811893935 840607643 847634785 856942510 883746061
6
5
185
739
题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。