codeforces 915D Almost Acyclic Graph 拓扑判环（Onm）

题意：

给定有向图，问删掉一条边能否使得整个图无环

思路：

点不多，但是边很多，枚举删掉哪条边再判环不可行，所以有两种优化方法：

法一：先判是否有环，如果有的话找到一个环，因为要删的哪条边一定来自这个环，这样的话只要枚举这个环上的边就够了（On），然后判删掉后有没有环，复杂度可以做到Onm；

法二：我们用拓扑判环的方法（On），只需要知道每个点的入度就可以了，对于这个题，只要证明可行性无需找到删掉哪个边，然后On枚举每个点，对于每个点，减掉他的一个入度，相当于删掉一个边，然后判是否有环，复杂度Onm；

法二代码：

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 500 + 7, maxd = 250000 + 7;
int n, m, deg[maxn], t[maxn];
vector<int> vec[maxn];
queue<int> qu;
bool is_ok() {
    int cnt = 0;
    for(int i = 1; i <= n; ++i) {
        if(t[i] == 0) qu.push(i), cnt++;
    }
    while(!qu.empty()) {
        int id = qu.front(); qu.pop();
        for(auto i : vec[id]) {
            if(t[i]) {
                t[i]--;
                if(t[i] == 0) qu.push(i), cnt++;
            }
        }
    }
    return (cnt == n);
}
int main() {
    cin >> n >> m;
    for(int i = 0; i < m; ++i) {
        int u, v;
        cin >> u >> v;
        vec[u].push_back(v);
        deg[v]++;
    }
    for(int i = 1; i <= n; ++i) {
        if(deg[i]) {
            memcpy(t, deg, sizeof deg); t[i]--;
            if(is_ok()) {cout << "YES"; return 0;}
        }
    } cout << "NO";
    return 0;
}