#P15426. [ICPC 2026 APC] Parallel Sums

    ID: 14641 传统题 1000ms 256MiB 尝试: 1 已通过: 1 难度: 8 上传者: 标签>CF2400数学ST表分块分治数据结构构造差分约束

[ICPC 2026 APC] Parallel Sums

题目描述

给定两个整数 nnmm。对于一个长度为 nn 的整数序列 A=(a1,a2,,an)A = (a_1, a_2, \ldots, a_n),它的平行和定义为 nm+1n-m+1 个整数 s1,s2,,snm+1s_1, s_2, \ldots, s_{n-m+1},其中 si=ai+ai+1++ai+m1s_i = a_i + a_{i+1} + \ldots + a_{i+m-1},对于每个 ii 满足 1inm+11 \leq i \leq n-m+1

现已给定 s1,s2,,snm+1s_1, s_2, \ldots, s_{n-m+1} 的具体值。你需要回答 qq 个询问,每个询问如下:对于第 jj 个询问,给定两个整数 ljl_jrjr_j,请你在所有符合条件的 A=(a1,a2,,an)A=(a_1, a_2, \ldots, a_n)(注意 aia_i 可以为负)中,找出区间 alj,alj+1,,arja_{l_j}, a_{l_j+1}, \ldots, a_{r_j} 的最大值的最小可能取值。或者判断该最大值可以无限变小。

输入格式

第一行输入两个整数 nnmm,满足 1mn2000001 \leq m \leq n \leq 200\,000

第二行输入 nm+1n-m+1 个整数 s1,s2,,snm+1s_1, s_2, \ldots, s_{n-m+1},满足 109si109-10^9 \leq s_i \leq 10^9

第三行输入一个整数 qq,满足 1q1000001 \leq q \leq 100\,000

接下来的 qq 行,每行输入两个整数 ljl_jrjr_j,满足 1ljrjn1 \leq l_j \leq r_j \leq n

输出格式

输出 qq 行。第 jj 行输出第 jj 个询问的最小可能最大值。如果这个值可以无限变小,输出 unbounded。

输入输出样例 #1

输入 #1

8 4
4 -4 2 6 5
4
3 7
4 6
1 8
2 5

输出 #1

2
unbounded
4
-1

说明/提示

样例输入输出 #1 解析:

对于第一个询问,可以取 A=(9,4,3,2,1,2,1,1)A = (9, -4, -3, 2, 1, 2, 1, 1),平行和为 (4,4,2,6,5)(4, -4, 2, 6, 5),满足要求。此时 max(a3,,a7)=max(3,2,1,2,1)=2\max(a_3, \ldots, a_7) = \max(-3, 2, 1, 2, 1) = 2,且可以证明 2 是最小可能值。

对于第二个询问,可以让该值任意小。

对于第三个询问,可以取 A=(4,3,0,3,4,3,4,2)A = (4, -3, 0, 3, -4, 3, 4, 2),此时整个序列的最大值是 4,这是最小可能值。