总时间限制:
20000ms
单个测试点时间限制:
1000ms
内存限制:
262144kB
描述
小 C 热衷于学习数理逻辑。有一天,他发现了一种特别的逻辑表达式。在这种逻辑表达式中,所有操作数都是变量,且它们的取值只能为 0 或 1,运算从左往右进行。如果表达式中有括号,则先计算括号内的子表达式的值。特别的,这种表达式有且仅有以下几种运算:
- 与运算:a & b。当且仅当 a 和 b 的值都为 1 时,该表达式的值为 1。其余情况该表达式的值为 0。
- 或运算:a | b。当且仅当 a 和 b 的值都为 0 时,该表达式的值为 0。其余情况该表达式的值为 1。
- 取反运算:! a。当且仅当 a 的值为 0 时,该表达式的值为 1。其余情况该表达式的值为 0。
小 C 想知道,给定一个逻辑表达式和其中每一个操作数的初始取值后,再取反某一个操作数的值时,原表达式的值为多少。
为了化简对表达式的处理,我们有如下约定:
表达式将采用后缀表达式的方式输入。
后缀表达式的定义如下:
- 如果 E 是一个操作数,则 E 的后缀表达式是它本身。
- 如果 E 是 E1 op E2 形式的表达式,其中 op 是任何二元操作符,且优先级不高于 E1、E2 中括号外的操作符,则 E 的后缀式为 E1′ E2′ op,其中 E1′、E2′ 分别为 E1、E2 的后缀式。
- 如果 E 是 E1 形式的表达式,则 E1 的后缀式就是 E 的后缀式。
同时为了方便,输入中:
- 与运算符(&)、或运算符(|)、取反运算符(!)的左右均有一个空格,但表达式末尾没有空格。
- 操作数由小写字母 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;
}
完结撒花 :)