BJOI2016 IP地址

题目链接

Description

给定 \(n\) 个 \(01\) 模式串。\(q\) 次询问：

每次询问给定一个 \(01\) 串：

• 设给这个串匹配的串是在模式串中存在的他的最长前缀
• 问 \([a, b]\) 时刻内，这个匹配的串变了多少次。

Solution

这题很坑没有给出 \(01\) 串的长度数据范围，不过应该能读进来说明是个字符串总数的复杂度是够的。

统计两个串符合某种前缀关系，首先想到 \(\text{Trie}\)。

显然这个答案符合区间可加性，设答案 \(=\) 匹配串在前 \(r\) 个时刻的变换次数 \(-\) 匹配串在前 \(l\) 个时刻的变换次数。拆完询问后，不妨考虑离线，考虑从小到大加入一个模式串到 \(\text{Trie}\) 中，然后统计相应位置下的答案。

考虑在 \(Trie\) 树上动态维护每个节点的信息：

• \(cnt_i\) 表示从开始到当前时刻，如果匹配串在这个节点，它的最长前缀会被修改多少次

比较显然的是，如果存在两个模式串 \(a,b\)，\(a\) 是 \(b\) 的前缀。那么当 \(b\) 存在的时候，\(a\) 当前要进行加入 / 删除， \(a\) 的修改不会影响 \(b\) 节点的子树（因为 \(b\) 节点的子树的最长前缀还是 \(b\)），但是会影响 \(a\) 的子树除了 \(b\) 的子树的部分，让他们的 \(cnt\) 都 \(+1\)。这启示我们再弄一个信息：

• \(st_i\) 表示 \(i\) 这个节点当前有没有模式串

那么每次修改 / 删除一个模式串 \(a\)，就把 \(a\) 在 \(\text{Trie}\) 下的从上到下不断扩展，除非遇到 \(st\) 为 \(\text{True}\)，那么停止。

然后我们发现这个东西其实和线段树的 \(\text{pushdown}\) 很像，然后再想想是可以这么搞的，弄个加法 \(\text{tag}\) 就行了，所以就 \(\text{OK}\) 了。值得注意的是 \(\text{pushdown}\) 仅能用在祖先全部处理完的情况下，不能胡乱加标记，否则修改的先后顺序会出现混乱，这是我之前尝试的（因为我不懂线段树 QAQ）。

时间复杂度

\(O(线性)\)

Code

#include <iostream>
#include <cstdio>
#include <string>
#include <vector>
using namespace std;

const int N = 100005;

int n, m, tr[N * 64][2], idx, cnt[N * 64];
int add[N * 64], pos[N], ans[N];

bool st[N * 64], opt[N];

char op[4], s[N][64], g[N][64];

vector<int> q[N];

void inline pushdown(int p) {
	if (!add[p]) return;
	if (!tr[p][0]) tr[p][0] = ++idx;
	if (!tr[p][1]) tr[p][1] = ++idx;
	if (!st[tr[p][0]]) add[tr[p][0]] += add[p], cnt[tr[p][0]] += add[p];
	if (!st[tr[p][1]]) add[tr[p][1]] += add[p], cnt[tr[p][1]] += add[p];
	add[p] = 0;
}

void inline insert(int id, bool tag) {
	int p = 0;
	for (int i = 0; s[id][i]; i++) {
		int ch = s[id][i] - '0';
		pushdown(p);
		if (!tr[p][ch]) tr[p][ch] = ++idx;
		p = tr[p][ch];
	}
	cnt[p]++, add[p]++;
	st[p] = tag;
}

int inline query(int id) {
	int p = 0;
	for (int i = 0; g[id][i]; i++) {
		int ch = g[id][i] - '0';
		if (!tr[p][ch]) return cnt[p];
		p = tr[p][ch];
		pushdown(p);
	}
	return cnt[p];
}

int main() {
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= n; i++) {
		scanf("%s%s", op, s[i]);
		opt[i] = op[0] == 'A';
	}
	for (int i = 1, a, b; i <= m; i++) {
		scanf("%s%d%d", g[i], &a, &b);
		q[a].push_back(i);
		q[b].push_back(i);
	}
	for (int i = 1; i <= n; i++) {
		insert(i, opt[i]);
		for (int j = 0; j < q[i].size(); j++) {
			int id = q[i][j];
			ans[id] = query(id) - ans[id];
		}
	}
	for (int i = 1; i <= m; i++) printf("%d\n", ans[i]);
	return 0;
}