atcoder#ABC274H. [ABC274Ex] XOR Sum of Arrays

[ABC274Ex] XOR Sum of Arrays

Score : 600600 points

Problem Statement

For sequences B=(B1,B2,,BM)B=(B_1,B_2,\dots,B_M) and C=(C1,C2,,CM)C=(C_1,C_2,\dots,C_M), each of length MM, consisting of non-negative integers, let the XOR sum S(B,C)S(B,C) of BB and CC be defined as the sequence $(B_1\oplus C_1, B_2\oplus C_2, ..., B_{M}\oplus C_{M})$ of length MM consisting of non-negative integers. Here, \oplus represents bitwise XOR. For instance, if B=(1,2,3)B = (1, 2, 3) and C=(3,5,7)C = (3, 5, 7), we have $S(B, C) = (1\oplus 3, 2\oplus 5, 3\oplus 7) = (2, 7, 4)$.

You are given a sequence A=(A1,A2,,AN)A = (A_1, A_2, \dots, A_N) of non-negative integers. Let A(i,j)A(i, j) denote the contiguous subsequence composed of the ii-th through jj-th elements of AA. You will be given QQ queries explained below and asked to process all of them.

Each query gives you integers aa, bb, cc, dd, ee, and ff, each between 11 and NN, inclusive. These integers satisfy aba \leq b, cdc \leq d, efe \leq f, and ba=dcb-a=d-c. If S(A(a,b),A(c,d))S(A(a, b), A(c, d)) is strictly lexicographically smaller than A(e,f)A(e, f), print Yes; otherwise, print No.

What is bitwise XOR? The exclusive logical sum a \oplus b of two integers a and b is defined as follows.
  • The 2^k's place (k \geq 0) in the binary notation of a \oplus b is 1 if exactly one of the 2^k's places in the binary notation of a and b is 1; otherwise, it is 0.
For example, 3 \oplus 5 = 6 (In binary notation: 011 \oplus 101 = 110).
What is lexicographical order on sequences?

A sequence A=(A1,,AA)A = (A_1, \ldots, A_{|A|}) is said to be strictly lexicographically smaller than a sequence B=(B1,,BB)B = (B_1, \ldots, B_{|B|}) if and only if 1. or 2. below is satisfied.

  1. A<B|A|<|B| and (A1,,AA)=(B1,,BA)(A_{1},\ldots,A_{|A|}) = (B_1,\ldots,B_{|A|}).
  2. There is an integer 1imin{A,B}1\leq i\leq \min\{|A|,|B|\} that satisfies both of the following.
    • (A1,,Ai1)=(B1,,Bi1)(A_{1},\ldots,A_{i-1}) = (B_1,\ldots,B_{i-1}).
    • Ai<BiA_i < B_i.

Constraints

  • 1N5×1051 \leq N \leq 5 \times 10^5
  • 0Ai10180 \leq A_i \leq 10^{18}
  • 1Q5×1041 \leq Q \leq 5 \times 10^4
  • 1abN1 \leq a \leq b \leq N
  • 1cdN1 \leq c \leq d \leq N
  • 1efN1 \leq e \leq f \leq N
  • ba=dcb - a = d - c
  • All values in the input are integers.

Input

The input is given from Standard Input in the following format, where queryi\text{query}_i represents the ii-th query:

NN QQ

A1A_1 A2A_2 \dots ANA_N

query1\text{query}_1

query2\text{query}_2

\vdots

queryQ\text{query}_Q

The queries are in the following format:

aa bb cc dd ee ff

Output

Print QQ lines. The ii-th line should contain the answer to the ii-th query.

4 5
1 2 3 1
1 3 2 4 1 4
1 2 2 3 3 4
1 1 2 2 3 4
1 2 2 3 3 3
1 4 1 4 1 1
No
No
Yes
No
Yes

For the first query, we have A(1,3)=(1,2,3)A(1, 3) = (1, 2, 3) and A(2,4)=(2,3,1)A(2, 4) = (2, 3, 1), so $S(A(1,3),A(2,4)) = (1 \oplus 2, 2 \oplus 3, 3 \oplus 1) = (3, 1, 2)$. This is lexicographcially larger than A(1,4)=(1,2,3,1)A(1, 4) = (1, 2, 3, 1), so the answer is No. For the second query, we have S(A(1,2),A(2,3))=(3,1)S(A(1,2),A(2,3)) = (3, 1) and A(3,4)=(3,1)A(3,4) = (3, 1), which are equal, so the answer is No.

10 10
725560240 9175925348 9627229768 7408031479 623321125 4845892509 8712345300 1026746010 4844359340 2169008582
5 6 5 6 2 6
5 6 1 2 1 1
3 8 3 8 1 6
5 10 1 6 1 7
3 4 1 2 5 5
7 10 4 7 2 3
3 6 1 4 7 9
4 5 3 4 8 9
2 6 1 5 5 8
4 8 1 5 1 9
Yes
Yes
Yes
Yes
No
No
No
No
No
No