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;
}