CF1010D Mars rover [位运算，DP]

　　题目传送门

Mars Rover

格式难调，题面就不放了。

---

　　分析：

　　今天考试的时候考了这道题目的加强版，所以来做。

　　其实也并不难，我们建立好树形结构以后先把初始权值全部求出，然后就得到了根节点的初始值。因为一次只修改一个点的值，所以我们只要自上而下根据位运算的种类得出每一个节点的值修改后是否会改变根节点的值就行了。

　　Code：

　　

//It is made by HolseLee on 2nd Nov 2018
//CF1010D
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;

const int N=1e6+;
int n,dp[N];
struct Node { int ls,rs,val,type; }t[N];

inline int read()
{
    char ch=getchar(); int x=; bool flag=false;
    while( ch<'' || ch>'' ) {
        if( ch=='-' ) flag=true; ch=getchar(); }
    while( ch>='' && ch<='' ) {
        x=x*+ch-''; ch=getchar(); }
    return flag ? -x : x;
}

void dfs(int x)
{
    if( t[x].type== ) return;
    switch (t[x].type) {
        case :
            dfs(t[x].ls), dfs(t[x].rs);
            t[x].val=t[t[x].ls].val&t[t[x].rs].val;
            break;
        case :
            dfs(t[x].ls), dfs(t[x].rs);
            t[x].val=t[t[x].ls].val^t[t[x].rs].val;
            break;
        case :
            dfs(t[x].ls), dfs(t[x].rs);
            t[x].val=t[t[x].ls].val|t[t[x].rs].val;
            break;
        case :
            dfs(t[x].ls); t[x].val=(t[t[x].ls].val^);
            break;
    }
}

void DP(int x)
{
    if( t[x].type== ) return;
    switch (t[x].type) {
        case :
            if( t[t[x].ls].val== && t[t[x].rs].val== ) {
                dp[t[x].ls]=dp[t[x].rs]=;
                DP(t[x].ls), DP(t[x].rs);
            } else if( t[t[x].ls].val== && t[t[x].rs].val== ) {
                dp[t[x].rs]=; DP(t[x].rs);
            } else if( t[t[x].ls].val== && t[t[x].rs].val== ) {
                dp[t[x].ls]=; DP(t[x].ls);
            }
            break;
        case :
            dp[t[x].ls]=dp[t[x].rs]=;
            DP(t[x].ls), DP(t[x].rs);
            break;
        case :
            if( t[t[x].ls].val== && t[t[x].rs].val== ) {
                dp[t[x].ls]=, DP(t[x].ls);
            } else if( t[t[x].ls].val== && t[t[x].rs].val== ) {
                dp[t[x].rs]=, DP(t[x].rs);
            } else if( t[t[x].ls].val== && t[t[x].rs].val== ) {
                dp[t[x].ls]=dp[t[x].rs]=;
                DP(t[x].ls), DP(t[x].rs);
            }
            break;
        case :
            dp[t[x].ls]=, DP(t[x].ls);
            break;
    }
}

int main()
{
    n=read(); char s[];
    for(int i=; i<=n; ++i) {
        scanf("%s",s);
        switch (s[]) {
            case 'A': t[i].type=, t[i].ls=read(), t[i].rs=read(); break;
            case 'X': t[i].type=, t[i].ls=read(), t[i].rs=read(); break;
            case 'O': t[i].type=, t[i].ls=read(), t[i].rs=read(); break;
            case 'N': t[i].type=, t[i].ls=read(); break;
            case 'I': t[i].type=, t[i].val=read(); break;
        }
    }
    dfs(); DP();
    for(int i=; i<=n; ++i) {
        if( t[i].type!= ) continue;
        if( dp[i] ) putchar((t[].val^)+'');
        else putchar(t[].val+'');
    }
    puts("");
    return ;
}