#L4084. 「ROI 2023 Day2」分苹果

「ROI 2023 Day2」分苹果

题目描述

译自 ROI 2023 Day2 T3. Яблоки по корзинам

桌子上有萨沙的 nn 个苹果,它们的重量分别是整数 w1,w2,,wnw_1, w_2, \ldots, w_n。她还有两个容量很大的篮子。

萨沙选择一个整数 kk,然后只考虑重量不超过 kk 的苹果。之后,她可以把每个重量 wikw_i \leq k 的苹果放到两个篮子中的一个,或者留在桌子上。重量 wi>kw_i > k 的苹果无论如何都要留在桌子上。

如果萨沙能把一些重量不超过 kk 的苹果放到篮子里,使得第一个篮子里的苹果总重为 xx,第二个篮子里的苹果总重为 yy,那么我们就称数对 (x,y)(x, y)kk-可达的。如果对于所有满足 0xa0 \leq x \leq a0yb0 \leq y \leq bxxyy,数对 (x,y)(x, y) 都是 kk-可达的,那么我们就称数对 (a,b)(a, b)kk-完美的。

萨沙有 qq 组数 k,a,bk, a, b,对于每一组,她想知道数对 (a,b)(a, b) 是否是 kk-完美的。

输入格式

第一行有两个整数 n,qn, q1n,q3×1051 \leq n, q \leq 3 \times 10^5),表示萨沙有多少个苹果,以及你需要处理的查询的数量。

第二行有 nn 个整数 w1,w2,,wnw_1, w_2, \ldots, w_n1wi10121 \leq w_i \leq 10^{12}),表示萨沙的苹果的重量。

第三行有一个整数 zz0z1060 \leq z \leq 10^6),用于生成需要回答的查询。

接下来的 qq 行是描述了 qq 个查询。查询从 11qq 编号。每行包含三个整数 j,c,dj, c, d0j,c,d10180 \leq j, c, d \leq 10^{18})。查询的参数根据这些数字按照以下规则生成。我们令 vv 表示在当前查询之前,满足查询中给定的数对 (a,b)(a, b)kk-完美的查询的编号之和。那么在当前查询中,k=jvzk = j - v \cdot za=cvza = c - v \cdot zb=dvzb = d - v \cdot z。保证 k,a,b0k, a, b \geq 0

注意,当 z=0z=0 时,k,a,bk, a, b 的值就分别等于 j,c,dj, c, d。也就是说,查询的参数不依赖于之前查询的答案,而是在输入数据中明确给出的。

输出格式

对于每个查询,如果数对 (a,b)(a, b)kk-完美的,输出 Yes,否则输出 No。

样例 1

输入

8 5
17 1 3 2 100 5 6 1
0
6 15 3
9 4 4
5 15 3
17 34 1
16 33 2

输出

Yes
No
No
Yes
No

样例 2

输入

8 5
17 1 3 2 100 5 6 1
1
6 15 3
10 5 5
6 16 4
18 35 2
21 38 7

输出

Yes
No
No
Yes
No

数据范围与提示

详细子任务附加限制及分值如下表所示。其中子任务 00 是样例。

子任务编号 分值 n,qn,q 的限制 a,ba,b 的限制 kk 的限制 zz 的限制 子任务依赖
1 9 n,q10n, q \leq 10 - z=0z=0 -
2 6 n100n \leq 100 a105,b=0a \leq 10^5, b=0 k=1018k=10^{18} -
3 - b=0b=0 - z=2z=2
4 6 n,q100n, q \leq 100 a,b300a, b \leq 300 -
5 n100n \leq 100 - 4
6 2 n1500n \leq 1500 a,b1500a, b \leq 1500 4~5
7 6 n5000n \leq 5000 a,b5000a, b \leq 5000 4~7
8 2 - a,b2×105a, b \leq 2 \times 10^5 2,4~7
9 - 2~8
10 3 b=0b=0 2~3
11 6 n,q100n, q \leq 100 a,b300a, b \leq 300 4
12 n100n \leq 100 - 4~5,11
13 2 n,q1500n, q \leq 1500 a,b1500a, b \leq 1500 4,11
14 n1500n \leq 1500 - 4~6,11~13
15 6 n5000n \leq 5000 a,b5000a, b \leq 5000 4~7,11~14
16 2 - a,b2×105a, b \leq 2 \times 10^5 4~8,11~15
17 6 - 1~16
18 0,1~17