4484: [Jsoi2015]最小表示 bitset+拓扑序

Description
【故事背景】
还记得去年JYY所研究的强连通分量的问题吗？去年的题目里，JYY研究了对于有向图的“加边”问题。对于图论有着强烈兴趣的JYY，今年又琢磨起了“删边”的问题。
【问题描述】
对于一个N个点（每个点从1到N编号），M条边的有向图，JYY发现，如果从图中删去一些边，那么原图的连通性会发生改变；而也有一些边，删去之后图的连通性并不会发生改变。
JYY想知道，如果想要使得原图任意两点的连通性保持不变，我们最多能删掉多少条边呢？
为了简化一下大家的工作量，这次JYY保证他给定的有向图一定是一个有向无环图（JYY：大家经过去年的问题，都知道对于给任意有向图的问题，最后都能转化为有向无环图上的问题，所以今年JYY就干脆简化一下大家的工作）。

题解：

显然，对于一条边x->y，如果不靠这条边x就能到y，那么这条边是可以删掉的。我们可以按照拓扑序倒序处理，用bitset维护点与点的连通关系。还要注意排序，因为有可能有当前处理点为x，x->y，x->z，y->z的情况。实在不懂可以试试这组样例：
3
1 2
1 3
2 3

代码：

#include<bits/stdc++.h>using namespace std;#define LL long longconst int Maxn=30010;const int Maxm=100010;int read(){    int x=0,f=1;char ch=getchar();    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}    while(ch>='0'&&ch<='9'){x=(x<<3)+(x<<1)+ch-'0';ch=getchar();}    return x*f;}struct Edge{int y,next;}e[Maxm];int last[Maxn],len=0;void ins(int x,int y){    int t=++len;    e[t].y=y;e[t].next=last[x];last[x]=t;}int q[Maxn],tail=0;int n,m,degree[Maxn],ans=0,f[Maxn];struct A{int y,dis;}a[Maxm];bool cmp(A a,A b){return a.dis>b.dis;}bitset<Maxn>h[Maxn];int main(){    n=read();m=read();    for(int i=1;i<=m;i++)    {        int x=read(),y=read();        ins(x,y);degree[y]++;    }    for(int i=1;i<=n;i++)if(!degree[i])q[++tail]=i;    int head=1;    while(head<=tail)    {        int x=q[head++];        for(int i=last[x];i;i=e[i].next)        {            int y=e[i].y;            degree[y]--;            if(!degree[y])q[++tail]=y;        }    }    for(int o=tail;o;o--)    {        int x=q[o],cnt=0;h[x][x]=1;        for(int i=last[x];i;i=e[i].next)        {            int y=e[i].y;            a[++cnt].y=y;a[cnt].dis=f[y];            f[x]=max(f[x],f[y]+1);        }        sort(a+1,a+1+cnt,cmp);        for(int i=1;i<=cnt;i++)        {            if(h[x][a[i].y])ans++;            h[x]|=h[a[i].y];        }    }    printf("%d",ans);}