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 long
const 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);
}