Almost Acyclic Graph（拓扑排序，思维）

题意

给定一个有向图，问能否只删去一条边，使得图中不存在环。

数据范围

$2\le n\le 500$
$1\le m\le 100000$

思路

这道题的思路比较新颖，需要积累一下。如果我们遍历每一条边，然后再判断删去这条边，能不能使得图中不存在环，显然会超时。这个时候，我们就可以换一个角度来考虑。
如果遍历每个点，让其入度$-1$，这就相当于消除了指向它的那条边的影响。然后跑一遍拓扑排序，如果最后剩下点没有入队，那么就还有环，如果全都入队了，那么就不存在环了。
其实这道题也启示我们，拓扑排序可以在有向图中判环。

代码

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>

using namespace std;

const int N = 510, M = 100010;

int n,m;
int h[N], e[M], ne[M], idx;
int din[N], tmpdin[N];
int cnt;

void add(int a,int b)
{
    e[idx] = b, ne[idx] = h[a], h[a] = idx ++;
}

void topsort()
{
    queue<int> que;
    for(int i=1;i<=n;i++){
        if(tmpdin[i]==0){
            que.push(i);
            cnt ++;
        }
    }
    while(que.size()){
        int t = que.front();
        que.pop();
        for(int i=h[t];~i;i=ne[i]){
            int j = e[i];
            if(--tmpdin[j]==0){
                que.push(j);
                cnt ++;
            }
        }
    }
}

int main()
{
    cin >> n >> m;
    memset(h,-1,sizeof(h));
    for(int i=0;i<m;i++){
        int a,b;
        cin >> a >> b;
        add(a,b);
        din[b] ++;
    }
    bool flag = false;
    for(int i=1;i<=n;i++){
        if(din[i]){
            memcpy(tmpdin,din,sizeof(din));
            tmpdin[i] --;
            cnt = 0;
            topsort();
            if(cnt == n){
                puts("YES");
                flag = true;
                break;
            }
        }
    }
    if(!flag) puts("NO");
    return 0;
}