题意
有 \(n\) 把串级连接的锁(前一把的输入连接到后一把的输出),每一把锁将输入和一个操作数进行与,或,异或之一的二元位运算的结果作为输出,给定初始时每把锁的参数和运算类型。接下来 \(m\) 个操作共两种:
- 查询某个数通过这一串锁的结果
- 修改某个锁的操作数和运算
$n ^5, m ^5 $,保证查询的数和操作数不超过 \(1000\)。
解法
从数据范围可知正解的复杂度是 \(O(n\log n)\) 级别的,考虑其操作中又有查询又有修改,直觉上我们断定这是一道数据结构题。
那维护什么呢?位运算?肯定是不行的,原因就是位运算是不结合的,比如说 (a | b) & c
就不一定等于 a | (b & c)
,而无论是线段树还是树状数组都只能维护有结合律的代数结构,因此直接维护位运算是行不通的。
但是因为二元位运算的一个操作数已经给出,而且每个位的运算有互不干扰,我们可以把给定的一个二元位运算转化为若干个依赖于输入某一位的一元位运算或函数。
那么这样做有什么好处呢?我们看看这样的一元函数有哪些:
- \(e\):将输入位直接输出。
- \(n\):将输入位取反输出。
- \(0\):输出恒为 0。
- \(1\):输出恒为 1。
定义它们之间的二元运算为串联:\((f \cdot g)(x)=g(f(x))\),则有如下性质:
- 结合律:\((f \cdot g) \cdot h = f \cdot (g \cdot h)\)
- 单位元:\(e\)
- 封闭性:任意两个运算的复合都是这四个运算之一(自己列张表)
可以看到这构成了一个幺半群,因此可以用线段树进行维护。接下来就很简单了,开 \(10\) 棵线段树分别维护每一位,然后单点修改全局查询即可。
代码:
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
#include <queue>
#define rg register
using namespace std;
typedef long long ll;
typedef unsigned int u32;
#define lch (rt << 1)
#define rch (lch | 1)
#define larg lch, l, mid
#define rarg rch, mid + 1, r
#define bit(a, b) (((a) >> (b)) & 1)
const int INF = 0x3f3f3f3f;
const int BITS = 10;
const int N = 200010;
const int T = N * 4;
const int r[4][4] = {
{ 0, 1, 1, 0 }, // 0
{ 0, 1, 0, 1 }, // 1
{ 0, 1, 3, 2 }, // N
{ 0, 1, 2, 3 } // E
};
const int p[4][2] = {
{ 0, 0 },
{ 1, 1 },
{ 1, 0 },
{ 0, 1 }
};
const int x[3][2] = {
{ 0, 3 }, // AND
{ 3, 1 }, // OR
{ 3, 2 } // XOR
};
char t[BITS][T], a[BITS][N];
char s[5];
int n, m;
inline int read() {
char ch = getchar(), s = 1;
while (!isdigit(ch)) {
if (ch == '-') s = -1;
= getchar();
ch }
int ans = 0;
while (isdigit(ch)) {
= ans * 10 + ch - 48;
ans = getchar();
ch }
return ans * s;
}
inline void pushup(int z, int rt) {
[z][rt] = r[t[z][lch]][t[z][rch]];
t}
void build(int z, int rt, int l, int r) {
if (l == r) {
[z][rt] = a[z][l];
treturn;
}
int mid = (l + r) >> 1;
(z, larg);
build(z, rarg);
build(z, rt);
pushup}
void update(int z, int rt, int l, int r, int pos, int d) {
if (l == r) {
[z][rt] = d;
treturn;
}
int mid = (l + r) >> 1;
if (pos <= mid) update(z, larg, pos, d);
else update(z, rarg, pos, d);
(z, rt);
pushup}
int main() {
("cipher.in", "r", stdin);
freopen("cipher.out", "w", stdout);
freopen("%d%d", &n, &m);
scanffor (rg int i = 1; i <= n; ++i) {
int tmp, op;
("%s%d", s, &tmp);
scanfif (s[0] == 'A') op = 0;
else if (s[0] == 'O') op = 1;
else op = 2;
for (rg int j = 0; j < BITS; ++j)
[j][i] = x[op][bit(tmp, j)];
a}
for (rg int i = 0; i < BITS; ++i)
(i, 1, 1, n);
buildwhile (m--) {
int op; scanf("%d", &op);
if (op == 1) {
int tmp; scanf("%d", &tmp);
int res = 0;
for (rg int i = 0; i < BITS; ++i)
|= p[t[i][1]][bit(tmp, i)] << i;
res ("%d\n", res);
printf} else {
int pos, tmp;
("%d%s%d", &pos, s, &tmp);
scanfif (s[0] == 'A') op = 0;
else if (s[0] == 'O') op = 1;
else op = 2;
for (rg int i = 0; i < BITS; ++i)
(i, 1, 1, n, pos, x[op][bit(tmp, i)]);
update}
}
(stdin);
fclose(stdout);
fclosereturn 0;
}