Skip to content

S2OJ - 1471. 进化序列

检测到 KaTeX 加载失败,可能会导致文中的数学公式无法正常渲染。

#题面

#题目描述

Abathur 采集了一系列 Primal Zerg 的基因样本,这些基因构成了一个完整的进化链。为了方便,我们用 A0,A1,,An1A_0, A_1, \dots, A_{n - 1}nn 个正整数描述它们。

一个基因 AxA_x 可以进化为序列中在它之后的基因 AyA_y。这个进化的复杂度,等于 Ax or Ax+1 or AyA_x \text{ or } A_{x + 1} \dots \text{ or } Ay 的值,其中 or\text{or} 是二进制或运算。

Abathur 认为复杂度小于 MM 的进化的被认为是温和的。它希望计算出温和的进化的对数。

#输入格式

第一行包含两个整数 n,mn, m

接下来一行包含 A0,A1,,An1A_0, A_1, \dots, A_{n - 1}nn 个正整数,描述这 nn 个基因。

#输出格式

第一行包含一个整数,表示温和的进化的对数。

#样例输入输出

样例输入 #1

4 6
1 3 5 1

样例输出 #1

2

#数据范围

对于 30%30\% 的数据,1n10001 \leq n \leq 1000
对于 100%100\% 的数据,1n1000001 \leq n \leq 1000000m2300 \leq m \leq 2^{30}1Ai2301 \leq A_i \leq 2^{30}

#思路

有一个比较显然的性质:或起来的数一定越来越大。那么在确定一个右端点之后可以使用双指针枚举左端点,使用线段树维护区间按位或和即可。或者确定左端点使用二分枚举右端点也可以,在此不作过多叙述。

#代码

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
#include <iostream>

using std::cin;
using std::cout;
const char endl = '\n';

const int N = 100005;

int n, m, a[N];
long long ans;

struct node {
int l, r, s;

node()
: l(0), r(0), s(0) {}

node(int _l, int _r)
: l(_l), r(_r), s(0) {}
} tr[N << 2];

void pushup(int u) {
tr[u].s = tr[u << 1].s | tr[u << 1 | 1].s;
}

void build(int u, int l, int r) {
tr[u] = node(l, r);

if (l == r) {
tr[u].s = a[l];

return;
}

int mid = l + r >> 1;

build(u << 1, l, mid);
build(u << 1 | 1, mid + 1, r);

pushup(u);
}

int query(int u, int l, int r) {
if (l <= tr[u].l && tr[u].r <= r) return tr[u].s;

int mid = tr[u].l + tr[u].r >> 1;
int res = 0;

if (l <= mid) res |= query(u << 1, l, r);
if (r > mid) res |= query(u << 1 | 1, l, r);

return res;
}

int main() {
std::ios::sync_with_stdio(false);
cin.tie(nullptr);

cin >> n >> m;

for (int i = 1; i <= n; i++) {
cin >> a[i];
}

build(1, 1, n);

for (int i = 1, j = 1; i <= n; i++) {
while (j < i && query(1, j, i) >= m) j++;

ans += i - j;
}

cout << ans << endl;

return 0;
}