CF1923C.Find B

An array $a$ of length $m$ is considered good if there exists an integer array $b$ of length $m$ such that the following conditions hold:

1. $\sum\limits_{i=1}^{m} a_i = \sum\limits_{i=1}^{m} b_i$;
2. $a_i \neq b_i$ for every index $i$ from $1$ to $m$;
3. $b_i \gt 0$ for every index $i$ from $1$ to $m$.

You are given an array $c$ of length $n$. Each element of this array is greater than $0$.

You have to answer $q$ queries. During the $i$-th query, you have to determine whether the subarray $c_{l_{i}}, c_{l_{i}+1}, \dots, c_{r_{i}}$ is good.

长度为 $m$ 的数组 $a$ 被称为好数组，当且仅当存在一个长度为 $m$ 的整数数组 $b$，满足以下条件：

1. $\sum\limits_{i=1}^{m} a_i = \sum\limits_{i=1}^{m} b_i$；
2. 对每个下标 $i$（$1 \le i \le m$），均有 $a_i \neq b_i$；
3. 对每个下标 $i$（$1 \le i \le m$），均有 $b_i \gt 0$。

给定一个长度为 $n$ 的数组 $c$，其中每个元素均大于 $0$。

你需要回答 $q$ 个查询。在第 $i$ 个查询中，你需要判断子数组 $c_{l_{i}}, c_{l_{i}+1}, \dots, c_{r_{i}}$ 是否为好数组。

The first line contains one integer $t$ ($1 \le t \le 10^4$) — the number of test cases.

The first line of each test case contains two integers $n$ and $q$ ($1 \le n, q \le 3 \cdot 10^5$) — the length of the array $c$ and the number of queries.

The second line of each test case contains $n$ integers $c_1, c_2, \dots, c_n$ ($1 \le c_i \le 10^9$).

Then $q$ lines follow. The $i$-th of them contains two integers $l_i$ and $r_i$ ($1 \le l_i \le r_i \le n$) — the borders of the $i$-th subarray.

Additional constraints on the input: the sum of $n$ over all test cases does not exceed $3 \cdot 10^5$; the sum of $q$ over all test cases does not exceed $3 \cdot 10^5$.

第一行包含一个整数 $t$（$1 \le t \le 10^4$）——测试用例的数量。

每个测试用例的第一行包含两个整数 $n$ 和 $q$（$1 \le n, q \le 3 \cdot 10^5$）——数组 $c$ 的长度和查询次数。

每个测试用例的第二行包含 $n$ 个整数 $c_1, c_2, \dots, c_n$（$1 \le c_i \le 10^9$）。

接下来是 $q$ 行，其中第 $i$ 行包含两个整数 $l_i$ 和 $r_i$（$1 \le l_i \le r_i \le n$）——第 $i$ 个子数组的左右边界。

输入的额外约束：所有测试用例的 $n$ 之和不超过 $3 \cdot 10^5$；所有测试用例的 $q$ 之和不超过 $3 \cdot 10^5$。

For each query, print YES if the subarray is good. Otherwise, print NO.

You can output each letter of the answer in any case (upper or lower). For example, the strings yEs, yes, Yes, and YES will all be recognized as positive responses.

对于每个查询，如果子数组是“好”的，则输出 YES；否则输出 NO。

答案的每个字母可以是任意大小写（大写或小写）。例如，字符串 yEs、yes、Yes 和 YES 均会被识别为肯定回答。