P7073 表达式(expr)

目录

• 说在前面
• 题意简述
• 简单口胡

 

---

回到顶部

说在前面

考场上的我是真的逊，expr代码都写出来了结果没有更新到D:/submit而爆零。

回到顶部

题意简述

给你一个后缀表达式$s$，只有&,|,!运算，有$n$个变量，为$x_1,x_2,\cdots x_n$，其中任意$x_i \in \{0,1\}$，给$x_i$的初值，$q$个操作，每次操作：

给一个整数$a$，要求将$x_a$的值取反，求这个表达式的值。

数据范围：

• $20\%$ 运算仅有&和|
• 另外$30\%$ $|s| \le 1000,q \le 1000,n \le 1000$
• 另外$20\%$，变量初值全部相同。
• $100\%$ $1 \le |s| \le 1 \times 10 ^ 6,1 \le q \le 1 \times 10 ^ 5,2 \le n \le 1 \times 10 ^ 5$

回到顶部

简单口胡

• $20\%$ 每次进行表达式运算，$\mathcal{O}(nq)$，逊

部分分只会这一个

正解：考虑对$x_i$取反是否会影响整个式子的值，先建一个表达式树，对于每个节点，它和它的子树也是一个表达式，其中对于非叶节点，这个节点是一个运算符，这个表达式的值为$L(x) \operatorname{opt} R(x)$,$\operatorname{opt}$ 为这个运算符，$L(x)$和$R(x)$为这个节点的左子树表达式的值和右子树表达式的值。

分类讨论：

• 如果这个节点是叶子，啥事没有
• 如果这个节点是&，那么：
  如果$L(x) = 0$，那么这个表达式的值肯定为$0$，也就是说$R(x)$对答案没有贡献，给右子树里的所有节点打上标记。

$R(x) = 0$同理。

• 如果这个节点是|，那么：
  如果$L(x) = 1$，那么这个表达式的值肯定为$1$，也就是说$R(x)$对答案没有贡献，给右子树里的所有节点打上标记。

$R(x) = 1$同理。

于是这题就没了，$\text{dfs}$打好标记和计算一开始表达式的答案$ans$，对于每一个询问，如果这个询问有标记，代表对其取反对$ans$没有变化，否则输出$!ans$。

大概是$\mathcal{O}(n)$？

# include <bits/stdc++.h>
using namespace std;

const int N = 1e6 + 5;
int q[N],tot;
int n,val[N / 10];

int ch[N][2];
bool C[N / 10];
int Opt[N];

stack <int> s;

int Get(string st,int l)
{
    int ans = 0;
    int len = st.size();
    for(int i = l; i < len; i++)
    {
        ans = ans * 10 + st[i] - '0';
    }
    return ans;
}

int key(char opt)
{
    if(opt == '|') return -1;
    if(opt == '&') return -2;
    if(opt == '!') return -3;
}

void Input(void)
{
    string st;
    while(cin >> st)
    {
        if(isdigit(st[0]))
        {
            break;
        }
        else
        {
            if(st[0] == 'x')
            {
                int num = Get(st,1);
                // printf("num = %d\n",num);
                q[++tot] = num;
            }
            else
            {
                q[++tot] = key(st[0]);
            }
        }
    }
    n = Get(st,0);
    // printf("n = %d\n",n);
    for(int i = 1; i <= n; i++)
    {
        scanf("%d",&val[i]);
    }
    return;
}

int dfs(int root)
{
    if(root <= n) return val[root];
    if(Opt[root] == -3) return !dfs(ch[root][0]);
    if(Opt[root] == -1)  // or
    {
        int ans1 = dfs(ch[root][0]),ans2 = dfs(ch[root][1]);
        if(ans1 == 1) 
            C[ch[root][1]] = 1;
        if(ans2 == 1) 
            C[ch[root][0]] = 1;
        return ans1 | ans2;
    }
    else
    {
        if(Opt[root] == -2) // and
        {
            int ans1 = dfs(ch[root][0]),ans2 = dfs(ch[root][1]);
            if(ans1 == 0) 
                C[ch[root][1]] = 1;
            if(ans2 == 0)
                C[ch[root][0]] = 1;
            return ans1 & ans2;
        }
    }
}

void pushup(int root)
{
    if(ch[root][0]) C[ch[root][0]] |= C[root];
    if(ch[root][1]) C[ch[root][1]] |= C[root];
    if(ch[root][0]) pushup(ch[root][0]);
    if(ch[root][1]) pushup(ch[root][1]);
    return;
}

int main(void)
{
    Input();
    int cur = n;
    for(int i = 1; i <= tot; i++)
    {
        if(q[i] > 0)
        {
            s.push(q[i]);
        }
        else
        {
            if(q[i] == -3)
            {
                int a1 = s.top();s.pop();
                Opt[++cur] = -3;
                ch[cur][0] = a1;
                s.push(cur);
                continue;
            }
            int a1 = s.top();s.pop();
            int a2 = s.top();s.pop();
            Opt[++cur] = q[i];
            ch[cur][0] = a1,ch[cur][1] = a2;
            s.push(cur);
        }
    }
    // printf("cur = %d\n",cur);
    int now = dfs(cur);
    pushup(cur);
    int test;
    scanf("%d",&test);
    while(test--)
    {
        int x;
        scanf("%d",&x);
        printf("%d\n",C[x] ? now : !now);
    }
    return 0;
}