#CSPJ202003. T3 表达式（AC代码）

2020 CSP_J 第二轮 第三题 

#CSPJ202003. T3 表达式（expr）

说明

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

如果表达式中有括号，则先计算括号内的子表达式的值。特别的，这种表达式有且仅有以下几种运算：

1.与运算：𝑎 & 𝑏。当且仅当𝑎和𝑏的值都为1时，该表达式的值为1。其余情况该表达式的值为0。

2.或运算：𝑎 | 𝑏。当且仅当𝑎和𝑏的值都为0时，该表达式的值为0。其余情况该表达式的值为1。

3.取反运算：! 𝑎。当且仅当𝑎的值为0时，该表达式的值为1。其余情况该表达式的值为0。

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

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

表达式将采用后缀表达式的方式输入。后缀表达式的定义如下：

1.如果𝐸是一个操作数，则𝐸的后缀表达式是它本身。

2.如果𝐸是𝐸1𝑜𝑝 𝐸2形式的表达式，其中𝑜𝑝是任何二元操作符，且优先级不高于𝐸1、𝐸2中括号外的操作符，则𝐸的后缀式为𝐸1′𝐸2′𝑜𝑝，其中𝐸1′、𝐸2′分别为𝐸1、𝐸2的后缀式。

3.如果𝐸是(𝐸1)形式的表达式，则𝐸1的后缀式就是𝐸的后缀式。

同时为了方便，输入中：

a)与运算符（&）、或运算符（|）、取反运算符（！）的左右均有一个空格，但表达式末尾没有空格。

b)操作数由小写字母𝑥与一个正整数拼接而成，正整数表示这个变量的下标。例如：，表示下标为10的变量。数据保证每个变量在表达式中出现恰好一次。

输入格式

第一行包含一个字符串𝑠，表示上文描述的表达式。

第二行包含一个正整数𝑛，表示表达式中变量的数量。表达式中变量的下标为1,2, … , 𝑛。

第三行包含𝑛个整数，第𝑖个整数表示变量的初值。

第四行包含一个正整数𝑞，表示询问的个数。

接下来𝑞行，每行一个正整数，表示需要取反的变量的下标。注意，每一个询问的修改都是临时的，即之前询问中的修改不会对后续的询问造成影响。

数据保证输入的表达式合法。变量的初值为0或1。

输出格式

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

样例

输入数据 1

x1 x2 & x3 |
3
1 0 1
3
1
2
3

输出数据 1

1
1
0

样例

输入数据 2

x1 ! x2 x4 | x3 x5 ! & & ! &
5
0 1 0 1 1
3
1
3
5

输出数据 2

0
1
1

提示

【样例1解释】

该后缀表达式的中缀表达式形式为( & ) | ​。

对于第一次询问，将的值取反。此时，三个操作数对应的赋值依次为0，0，1。原表达式的值为(0 & 0) | 1 = 1。

对于第二次询问，将的值取反。此时，三个操作数对应的赋值依次为1，1，1。原表达式的值为(1 & 1) | 1 = 1。

对于第三次询问，将的值取反。此时，三个操作数对应的赋值依次为1，0，0。原表达式的值为(1 & 0) | 0 = 0。

【样例2解释】

该表达式的中缀表达式形式为( ! ​) & (! (( ​|) & ( & (! ) ) ))。

【数据范围与提示】

对于20%的数据，表达式中有且仅有与运算（&）或者或运算（|）。

对于另外30%的数据，。

对于另外20%的数据，变量的初值全为或全为。

对于100%的数据，。

其中，表示字符串的长度。

---

【题解】

暂无

【代码】

 

#include<bits/stdc++.h>
using namespace std;
string s;
int n;
int a[500010];
int sta[100010],p=0;
int zhi[500010],cnt;
int tree[500010][2]; 
int what[500010];
int c[500010];
int main(){
    //freopen("expr.in","r",stdin);
    //freopen("expr.out","w",stdout);
	getline(cin,s);
	scanf("%d",&n);
	for(int i=1;i<=n;i++)scanf("%d",&a[i]);
	cnt=n;
	for(int i=0;i<s.size();i++){
		if(s[i]=='x'){
			i++;
			int f=0;
			while(isdigit(s[i])){
				f=f*10+s[i]-'0';
				i++;
			} 
			sta[++p]=f;
			what[f]=0;
		}else if(s[i]=='&'){
			what[++cnt]=1;
			tree[cnt][1]=sta[p--];
			tree[cnt][0]=sta[p--];
			a[cnt]=a[tree[cnt][0]]&a[tree[cnt][1]];
			sta[++p]=cnt;
		}else if(s[i]=='|'){
			what[++cnt]=2;
			tree[cnt][1]=sta[p--];
			tree[cnt][0]=sta[p--];
			a[cnt]=a[tree[cnt][0]]|a[tree[cnt][1]];
			sta[++p]=cnt;
		}else if(s[i]=='!'){
			what[++cnt]=3;
			tree[cnt][0]=sta[p--];
			a[cnt]=!a[tree[cnt][0]];
			sta[++p]=cnt;
		}
	}
	c[cnt]=1;
	for(int i=cnt;i>n;i--){
		int l=tree[i][0],r=tree[i][1];
		if(what[i]==1){
			if(((!a[l])&a[r])!=a[i])c[l]=c[i];
			if((a[l]&(!a[r]))!=a[i])c[r]=c[i]; 
		}else if(what[i]==2){
			if(((!a[l])|a[r])!=a[i])c[l]=c[i];
			if((a[l]|(!a[r]))!=a[i])c[r]=c[i]; 
		}else if(what[i]==3){
			c[l]=c[i]; 
		}
	}
	int q;
	scanf("%d",&q);
	while(q--){
		int k;
		scanf("%d",&k);
		printf("%d\n",a[cnt]^c[k]);
	} 
	return 0;
}