题目描述：

塔子哥是一名魔法师，他有一个由 n 个正整数组成的魔法序列 A。现在他想对这个序列施展魔法，每次施展魔法会给出三个正整数 l,r,k，塔子哥想知道在区间 [l,r] 中是否存在一个位置 i，使得将区间 [l,i] 中的所有数进行按位或运算的结果等于 k。如果存在，输出满足条件的最小的 i，否则输出 −1。

输入格式

第一行包含两个正整数 n,Q，表示魔法序列的长度和施展魔法的次数。

第二行包含 n 个正整数 A1,A2,…,An，表示魔法序列 A。

接下来 Q 行，每行包含三个正整数 l,r,k，表示一次魔法的施展。

输出格式

对于每次施展魔法，输出一行一个整数，表示答案，如果不存在满足条件的位置则输出 −1。

样例输入

5 5
3 2 3 3 6
1 2 3
1 5 7
1 4 7
2 2 2
2 3 7

样例输出

1
5
-1
2
-1

评测数据与规模

$1\le n,Q\le 10^6，1\le l\le r\le n，0\le A\_i,k<2^{30}。$

OJ链接：
https://codefun2000.com/p/P1817

解题思路一：

import sys
input = lambda : sys.stdin.readline().strip()
n,q = map(int, input().split())
a = list(map(int, input().split()))
lb = [None] * (n + 1)
d = dict()
for i in range(n-1,-1,-1):
	d[a[i]] = i + 1
	nd = {}
	for k, v in d.items():
		nd[k|a[i]] = min(nd.get(k|a[i],n),v)
	d = nd
	lb[i + 1] = d.copy()
for _ in range(q):
	l,r,k = map(int, input().split())	
	if k not in lb[l] or r < lb[l][k]:
		print("-1")
	else:
		print(lb[l][k])

时间复杂度：O(nlogU + 1)
空间复杂度：O(nlogU)

解题思路二：

n, q = map(int, input().split())
a = list(map(int, input().split()))

MAXBIT = 30
MAXV = 2**30 - 1
pre = [[0 for _ in range(MAXBIT)] for i in range(n + 1)]
for i in range(1, n + 1):
    for j in range(MAXBIT):
        pre[i][j] = pre[i - 1][j]
        if a[i - 1] >> j & 1:
            pre[i][j] += 1


for i in range(q):
    l, r, k = map(int, input().split())
    if k > MAXV:
        print(-1)
        continue

    kbit = [0] * MAXBIT
    for j in range(MAXBIT):
        kbit[j] = k >> j & 1

    left, right = l, r
    while left < right:
        mid = (left + right) >> 1
        ok = True
        for j in range(MAXBIT):
            if kbit[j] == 1 and pre[mid][j] - pre[l - 1][j] == 0:
                ok = False
                break
        if ok:
            right = mid
        else:
            left = mid + 1

    ok = True
    for j in range(MAXBIT):
        if kbit[j] == 1 and pre[right][j] - pre[l - 1][j] == 0:
            ok = False
            break
        if kbit[j] == 0 and pre[right][j] - pre[l - 1][j] > 0:
            ok = False
            break
    if ok:
        print(right)
    else:
        print(-1)

n, q = map(int, input().split())
a = list(map(int, input().split()))

MAXBIT = 30
MAXV = 2**30 - 1
pre = [[0 for _ in range(MAXBIT)] for _ in range(n + 1)]
nxt = [[-1 for _ in range(MAXBIT)] for _ in range(n + 1)]
for i in range(1, n + 1):
    for j in range(MAXBIT):
        pre[i][j] = pre[i - 1][j]
        if a[i - 1] >> j & 1:
            pre[i][j] += 1

for j in range(MAXBIT):
    for i in range(n, 0, -1):
        if a[i - 1] >> j & 1:
            nxt[i][j] = i
        elif i < n:
            nxt[i][j] = nxt[i + 1][j]

for i in range(q):
    l, r, k = map(int, input().split())
    if k > MAXV:
        print(-1)
        continue

    ok = True
    pos = l
    for j in range(MAXBIT):
        if k >> j & 1:
            if nxt[l][j] == -1 or nxt[l][j] > r:
                ok = False
                break
            pos = max(pos, nxt[l][j])

    if ok:
        v = 0
        for j in range(MAXBIT):
            if pre[pos][j] - pre[l - 1][j] > 0:
                v |= 1 << j
        if v != k:
            ok = False
        else:
            print(pos)
    if not ok:
        print(-1)

时间复杂度：O(n)
空间复杂度：O(30q)

解题思路三：动态规划

n, q = map(int, input().split(' '))
f = [[n] * 30 for _ in range(n + 1)]
a = list(map(int, input().split(' '))) + [0]
for i in range(n - 1, -1, -1):
    for j in range(30):
        f[i][j] = i if (a[i] >> j & 1) == 1 else f[i + 1][j]
while q > 0:
    q -= 1
    l, r, k = map(int, input().split(' '))
    l, r = l - 1, r - 1
    mx, mn = -1, n
    for j in range(30):
        if (k >> j & 1) == 1:
            mx = max(mx, f[l][j])
        else:
            mn = min(mn, f[l][j])
    if mx <= r and mx < mn:
        print(mx + 1)
    else:
        print(-1)

时间复杂度：O(n)
空间复杂度：O(n)