CSP-J2020-3表达式

总时间限制: 

20000ms

单个测试点时间限制: 

1000ms

内存限制: 

262144kB

描述

小 C 热衷于学习数理逻辑。有一天，他发现了一种特别的逻辑表达式。在这种逻辑表达式中，所有操作数都是变量，且它们的取值只能为 0 或 1，运算从左往右进行。如果表达式中有括号，则先计算括号内的子表达式的值。特别的，这种表达式有且仅有以下几种运算：

1. 与运算：a & b。当且仅当 a 和 b 的值都为 1 时，该表达式的值为 1。其余情况该表达式的值为 0。
2. 或运算：a | b。当且仅当 a 和 b 的值都为 0 时，该表达式的值为 0。其余情况该表达式的值为 1。
3. 取反运算：! a。当且仅当 a 的值为 0 时，该表达式的值为 1。其余情况该表达式的值为 0。

小 C 想知道，给定一个逻辑表达式和其中每一个操作数的初始取值后，再取反某一个操作数的值时，原表达式的值为多少。

为了化简对表达式的处理，我们有如下约定：

表达式将采用后缀表达式的方式输入。

后缀表达式的定义如下：

1. 如果 E 是一个操作数，则 E 的后缀表达式是它本身。
2. 如果 E 是 E1​ op E2​ 形式的表达式，其中 op 是任何二元操作符，且优先级不高于 E1、E2​ 中括号外的操作符，则 E 的后缀式为 E1′ ​E2′ ​op，其中 E1′、E2′​ 分别为 E1、E2 的后缀式。
3. 如果 E 是 E1​ 形式的表达式，则 E1​ 的后缀式就是 E 的后缀式。

同时为了方便，输入中：

1. 与运算符(&)、或运算符(|)、取反运算符(!)的左右均有一个空格，但表达式末尾没有空格。
2. 操作数由小写字母 x 与一个正整数拼接而成，正整数表示这个变量的下标。例如：x10，表示下标为 10 的变量 x10。数据保证每个变量在表达式中出现恰好一次。

输入

第一行包含一个字符串 s，表示上文描述的表达式。
第二行包含一个正整数 n，表示表达式中变量的数量。表达式中变量的下标为1, 2, ..., n。
第三行包含 n 个整数，第 i 个整数表示变量 xi 的初值。
第四行包含一个正整数 q，表示询问的个数。
接下来 q 行，每行一个正整数，表示需要取反的变量的下标。注意，每一个询问的修改都是临时的，即之前询问中的修改不会对后续的询问造成影响。
数据保证输入的表达式合法。变量的初值为 0 或 1。

输出

输出一共有 q 行，每行一个 0 或 1，表示该询问下表达式的值。

样例输入

样例输入1
x1 x2 & x3 |
3
1 0 1
3
1
2
3

样例输入2
x1 ! x2 x4 | x3 x5 ! & & ! &
5
0 1 0 1 1
3
1
3
5

样例输出

样例输出1
1
1
0

样例输出2
0
1
1

【数据规模与约定】
对于 20% 的数据，表达式中有且仅有与运算(&)或者或运算(|)。
对于另外 30% 的数据，∣s∣≤1000, q≤1000, n≤1000。
对于另外 20% 的数据，变量的初值全为 0 或全为 1。
对于 100% 的数据，1≤∣s∣≤1×106, 1≤q≤1×105, 2≤n≤1×105。
其中，∣s∣ 表示字符串 s 的长度。

今天刷题的时候看见了，应该是J组2020最难的一道了

一开始还是朴素的暴力建表达式树+每次询问暴力求值（30分）

code：

#include<bits/stdc++.h>
using namespace std;
const int maxn=1e6+10;
int n,q,tree[maxn][2],a[maxn],m,b[maxn],root,ans[maxn];
string s;
void creat(){
	stack<int> st;
	for(int i=1;i<=m;i++){
		if(a[i]>0) st.push(i);
		else if(a[i]==-1){
			int x=st.top();st.pop();
			tree[i][0]=x;
			st.push(i);
		} 
		else{
			int x1=st.top();st.pop();
			int x2=st.top();st.pop();
			tree[i][0]=x1,tree[i][1]=x2;
			st.push(i);
		}
	}
	root=st.top();
	return;
}
void getans(int root){
	if(a[root]>0){
		ans[root]=b[a[root]];
		return;
	}
	if(a[root]==-1){
		getans(tree[root][0]);
		ans[root]=!ans[tree[root][0]];
		return;
	}
	else if(a[root]==-2){
		getans(tree[root][0]);
		getans(tree[root][1]);
		ans[root]=ans[tree[root][0]]||ans[tree[root][1]];
		return;
	}
	else if(a[root]==-3){
		getans(tree[root][0]);
		getans(tree[root][1]);
		ans[root]=ans[tree[root][0]]&&ans[tree[root][1]];
		return;
	}
}
int main(){
	cin.tie(0);cout.tie(0);
	while(cin>>s){
		if(s=="!") a[++m]=-1;
		else if(s=="|") a[++m]=-2;
		else if(s=="&") a[++m]=-3;
		else{
			int id=0;
			for(int i=0;i<s.size();i++) if(s[i]>='0'&&s[i]<='9') id=id*10+s[i]-'0';
			if(s[0]=='x') a[++m]=id;
			else{
				n=id;
				break;
			}
		}
	}
	creat();
	for(int i=1;i<=n;i++) cin>>b[i];
	cin>>q;
	while(q--){
		int x;cin>>x;
		b[x]=!b[x];
		getans(root);
		cout<<ans[root]<<endl;
		b[x]=!b[x];
	}
	return 0;
}

为什么会超时呢，现在看一下数据范围：对于 100% 的数据，1≤∣s∣≤1×106, 1≤q≤1×105, 2≤n≤1×105。 那o(nq)的算法必定会超

现在我们对于每个节点i用flag[ i ]来表示i号节点修改后的表达式值会不会改变

上AC代码：

#include<bits/stdc++.h>
using namespace std;
const int maxn=1e6+10;
int n,q,tree[maxn][2],a[maxn],m,b[maxn],root,ans[maxn];
bool flag[maxn];
string s;
void creat(){
	stack<int> st;
	for(int i=1;i<=m;i++){
		if(a[i]>0) st.push(i);
		else if(a[i]==-1){
			int x=st.top();st.pop();
			tree[i][0]=x;
			st.push(i);
		} 
		else{
			int x1=st.top();st.pop();
			int x2=st.top();st.pop();
			tree[i][0]=x1,tree[i][1]=x2;
			st.push(i);
		}
	}
	root=st.top();
	return;
}
void getans(int root){
	if(a[root]>0){
		ans[root]=b[a[root]];
		return;
	}
	if(a[root]==-1){
		getans(tree[root][0]);
		ans[root]=!ans[tree[root][0]];
		return;
	}
	else if(a[root]==-2){
		getans(tree[root][0]);
		getans(tree[root][1]);
		ans[root]=ans[tree[root][0]]||ans[tree[root][1]];
		return;
	}
	else if(a[root]==-3){
		getans(tree[root][0]);
		getans(tree[root][1]);
		ans[root]=ans[tree[root][0]]&&ans[tree[root][1]];
		return;
	}
}
void check(int root){
	if(a[root]>0) flag[a[root]]=1;
	else if(a[root]==-1) check(tree[root][0]);
	else if(a[root]==-2){
		if(!ans[tree[root][0]]&&!ans[tree[root][1]]){
			check(tree[root][0]);
			check(tree[root][1]);
		}
		else if(ans[tree[root][0]]&&!ans[tree[root][1]]) check(tree[root][0]);
		else if(!ans[tree[root][0]]&&ans[tree[root][1]]) check(tree[root][1]);
		else return;
	}
	else{
		if(ans[tree[root][0]]&&ans[tree[root][1]]){
			check(tree[root][0]);
			check(tree[root][1]);
		}
		else if(ans[tree[root][0]]&&!ans[tree[root][1]]) check(tree[root][1]);
		else if(!ans[tree[root][0]]&&ans[tree[root][1]]) check(tree[root][0]);
		else return;
	}
}
int main(){
	cin.tie(0);cout.tie(0);
	while(cin>>s){
		if(s=="!") a[++m]=-1;
		else if(s=="|") a[++m]=-2;
		else if(s=="&") a[++m]=-3;
		else{
			int id=0;
			for(int i=0;i<s.size();i++) if(s[i]>='0'&&s[i]<='9') id=id*10+s[i]-'0';
			if(s[0]=='x') a[++m]=id;
			else{
				n=id;
				break;
			}
		}
	}
	creat();
	for(int i=1;i<=n;i++) cin>>b[i];
	getans(root);
	check(root);
	cin>>q;
	while(q--){
		int x;cin>>x;
		if(flag[x]) cout<<!ans[root]<<endl;
		else cout<<ans[root]<<endl;
	}
	return 0;
}

完结撒花 ：）