Codeforces Round #368 (Div. 2)（D. Persistent Bookcase 离线 转化DAG）

题目链接

给出n*m的书架，4种操作
1，x,y，如果(x,y)空，该位置则放一本书
2，x,y，如果(x,y)不空，该位置拿走一本书
3，x, 把这一层有书的拿出，没书的放上书，即反转
4，x, 返回到第x操作后的书架的状态

初始书架是空的，要注意一点的是，题目可能在没书的地方拿书，有书的地方放书，明显这样的操作是不成功的，没影响的，所以要标记一下。

麻烦的是第4操作，无法记录每次操作的状态，直接暴力也会超时，可以这样考虑：
第k步操作的结果，一般是由第k-1步操作的结果加上第k步的操作转化而来，但是当第k步是操作4的时候，那么第k步就还可以从第x步操作转化而来，所以我们以此建立DAG，进行dfs，回溯的时候取消操作，在继续遍历其他的儿子。巧妙！

#include<bits/stdc++.h>using namespace std;#define cl(a,b) memset(a,b,sizeof(a))#define fastIO ios::sync_with_stdio(false);cin.tie(0);#define LL long long#define pb push_back#define gcd __gcd#define For(i,j,k) for(int i=(j);i<k;i++)#define lowbit(i) (i&(-i))#define _(x) printf("%d\n",x)const int maxn = 1e5+10;const int inf  = 1 << 28;int n,m,q;struct node{    int type,x,y,ok,ans;}Q[maxn];vector<int> G[maxn];bitset<1005> bit[1005],all;int total;void todo(int i){    if(Q[i].type==1){        total -= bit[Q[i].x].count();        if(!bit[Q[i].x][Q[i].y])Q[i].ok=true,bit[Q[i].x][Q[i].y]=1;        total += bit[Q[i].x].count();    }    if(Q[i].type==2){        total -= bit[Q[i].x].count();        if(bit[Q[i].x][Q[i].y]) Q[i].ok=true,bit[Q[i].x][Q[i].y]=0;        total += bit[Q[i].x].count();    }    if(Q[i].type==3){        total -= bit[Q[i].x].count();        bit[Q[i].x]^=all;        total += bit[Q[i].x].count();    }}void undo(int i){    if(Q[i].type==1){        total -= bit[Q[i].x].count();        if(Q[i].ok)bit[Q[i].x][Q[i].y] = 0;        total += bit[Q[i].x].count();    }    if(Q[i].type==2){        total -= bit[Q[i].x].count();        if(Q[i].ok)bit[Q[i].x][Q[i].y] = 1;        total += bit[Q[i].x].count();    }    if(Q[i].type==3){        total -= bit[Q[i].x].count();        bit[Q[i].x]^=all;        total += bit[Q[i].x].count();    }}void dfs(int x){    todo(x);    Q[x].ans = total;    for(int i=0;i<G[x].size();i++)dfs(G[x][i]);    undo(x);}int main(){    scanf("%d%d%d",&n,&m,&q);    for(int i=1;i<=q;i++){        scanf("%d%d",&Q[i].type,&Q[i].x);        if(Q[i].type<=2)scanf("%d",&Q[i].y);        if(Q[i].type==4){            G[Q[i].x].pb(i);        }        else {            G[i-1].pb(i);        }    }    for(int i=1;i<=m;i++)all[i]=1;    dfs(0);    for(int i=1;i<=q;i++){        printf("%d\n",Q[i].ans);    }    return 0;}