Gym - 100345H 【Settling the Universe Up】

题意：

初始给定一个有向图，有动态删增边和查询两点是否连通三类操作：

①： + u v 添加一条 u->v 的有向边
②： - u v 删除 u-v 这条边
③： ? u v 查询 u 和 v 是否连通

对于每次增删边，输出点对(u,v)的数量，满足 u<v 且 u 可以到达 v ，对于每次查询，若两点连通输出‘YES’，否则输出‘NO’。

分析：

设 a[i][j] 表示存在边 i->j ，设 i<j 且 b[i][j] 表示 i 可以到达 j，则我们先暴力一波每次增删边之后的更新操作:

for(int i=n;i>=1;i--)
{
    a[i][i]=1;
    for(int j=1;j<i;j++)
        if(a[j][i])
            for(int k=i+1;k<=n;k++)
                b[j][k]|=b[i][k];

}

而 6~7 行显而易见就是 b[j] 和 b[i] 对应位的或操作，则可以用bitset优化

代码：

#include<cstdio>
#include<bitset>
#include<iostream>
using namespace std;

const int N = 200+10;

bitset<N>a[N],b[N];
int n,m,sum;

void update(){
	for(int i=1;i<=n;i++) b[i].reset();
	sum=0;
	for(int i=n;i>=1;i--){
		b[i].set(i);
		for(int j=1;j<i;j++)
            if(a[j][i])
			    b[j]|=b[i];
	    sum+=b[i].count(); 
	}
}

int main()
{
	freopen("settling.in", "r", stdin);
    freopen("settling.out", "w", stdout);
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
		int u,v; scanf("%d%d",&u,&v);
		a[u].set(v);
	}
	update();
	printf("%d\n",sum-n);  // 减去自环
	
	scanf("%d",&m);
	while(m--){
		char s[2]; int u,v;
		scanf("%s%d%d",s,&u,&v);
		if(s[0]=='+'){
			a[u].set(v);
			update();
			printf("%d\n",sum-n);
		}
		else if(s[0]=='-'){
			a[u].reset(v);
			update();
			printf("%d\n",sum-n);
		}
		else{
			if(b[u].test(v))puts("YES");
            else puts("NO");
		}
	}
}