atcoder abc143 F题解

链接

从给定的数列，最多可以取出长度$K(1\le K\le N)$的严格的单调递增数列。

这个问题以更换元素的顺序

$X(1\le X\le N)$表示取出$x$个列时的最大长度的函数$f(X)$

这是将$C_j$作为$A_i=j$的$i$的个数
$$f(X)=\lfloor \frac{{\sum }_{j=1}^{N}min(C_j,X)}{X}\rfloor$$

用这样的式子表示，如果假设$D_k$是$C_j=k$，那么：

$$f(X)=\lfloor \frac{{\sum }_{j=1}^{N}min(C_j,X)}{X}\rfloor =\lfloor \frac{{\sum }_{k=0}^{N}min(k,X)\times D_k}{X}\rfloor =\lfloor \frac{{\sum }_{k=0}^{X}k{D}_k+X{\sum }_{k=X+1}^N{D}_k}{X}\rfloor$$

因此，用累计和计算 ${\sum }_{k=0}^{X}k{D}_k$和${\sum }_{k=X+1}^N{D}_k$，可以以$O(N)$求出所有$f(x)$的值。 之后，针对不同的$K$，求出满足$K\le f(X)$的最大$X$即可(不存在的话$0$)。