#P6856. 「EZEC-4.5」子序列

    ID: 5868 远端评测题 1000ms 128MiB 尝试: 0 已通过: 0 难度: 5 上传者: 标签>递推线段树块状链表,块状数组,分块

「EZEC-4.5」子序列

题目背景

作为唯一一道有背景的题,此题由出题人基于

https://www.luogu.com.cn/user/322075

“子集”便是本题中 k=n1k=n-1 的情况。

题目描述

给定一个有 nn 个元素的序列 aa

定义一个有 xx 个元素的序列 ss 的值为:

$$\sum \limits _{i=1} ^ x s_i \times \prod \limits _{i=1} ^ x s_i $$

将序列 aa 的一个有 xx 个元素的子序列表示为 s={ap1,ap2,...,apx}s = \{a_{p_1},a_{p_2},...,a_{p_x}\},其中 pp 为严格单调递增的序列,1p1pxn1 \le p_1 \le p_x \le n

给定整数 kk,定义序列 aa 的一个有 xx 个元素的合法的子序列 ss 需满足 pxp1kp_x - p_1 \le k

求序列 aa 的所有合法子序列的值之和对 modmod 取模的值。

输入格式

第一行三个整数,n,k,modn,k,mod

第二行 nn 个整数,aia_i

输出格式

一行一个整数表示答案对 modmod 取模的值。

4 1 1000000007
1 2 3 4
150
3 2 114
2 3 4
65
12 8 10042020
1 1 4 5 1 4 1 9 1 9 8 10
2797740

提示

大样例

【样例解释】:

样例1:

  • 所有合法的子序列为 {1}{2}{3}{4}{1,2}{2,3}{3,4}\{1\},\{2\},\{3\},\{4\},\{1,2\},\{2,3\},\{3,4\}

  • 答案为 $1 \times 1 + 2 \times 2 + 3 \times 3 + 4 \times 4 + (1+2) \times 1 \times 2 + (2+3) \times 2 \times 3 + (3+4) \times 3 \times 4 = 150$

样例2:

  • 所有合法的子序列为 $\{2\},\{3\},\{4\},\{2,3\},\{3,4\},\{2,4\},\{2,3,4\}$, 答案为 407mod114=65 407 \mod 114 = 65

【数据范围】:

数据点编号 n n\le 特殊性质
141\sim 4 2020
5115\sim 11 10310^3
1212 10610^6 k=0k=0
131413\sim 14 10510^5 ai=1a_i=1
151715\sim 17 mod=109+7mod=10^9+7
182218\sim 22
232523\sim 25 10610^6
  • 对于 100%100\% 的数据,$0 \le k < n \le 10^6 , 1 \le a_i \le 10^9 , 1 \le mod \le 10^9+7$