CodeForces

题意：

一个n个节点的有向图，节点标号从1到n，存在m条单向边。每条单向边有一个权值，代表翻转其方向所需的代价。求使图变成无环图，其中翻转的最大边权值最小的方案，以及该方案翻转的最大的边权。

Input

单组输入，第一行包含两个整数n和m(2≤n≤100 000,1≤m≤100 000) 接下来m行，每行3个整数，u_i ，v_i，w_i （1<= u_i , v_i <= n, 1<= w_i <=10^9），表示u到v有一条权值为w的道路。道路编号从1开始。没有自环。

Output

在第一行中输出两个整数，即要翻转的最大的边权，和需要反转道路数量k。k不需要是最小的。

在下一行输出k个由空格分隔的整数，表示需要翻转的道路编号

如果有许多解决方案，请打印其中任何一个。

题解：

这是一个通过拓扑来使一个图变成无环图的相关链接：https://www.geeksforgeeks.org/assign-directions-to-edges-so-that-the-directed-graph-remains-acyclic/

这个链接的结论就是如果一个有向图图是一个无环图，那么对于每一条有向边<x,y>，点x在拓扑排序的结构中的位置肯定要比y靠前，就像下面这个图

回归本题，我们可以二分枚举那个最大的权值，那么小于这个权值的边都可以看做为无向边（就当作这些边都不存在），对剩下的边进行一次拓扑排序。然后这n个点就会有一个顺序，之后就根据上面的那个结论来判断这些无向边的指向应该怎么指才不会构成有环图，如果边的指向和题上输入的相反就记录一下输出

代码：

#include <cstdio>
#include <cstring>
#include <cctype>
#include<queue>
#include<vector>
#include<iostream>
#include <algorithm>
using namespace std;
const int maxn=1e5+10;
typedef long long LL;
const int MAX=1e5+10;
const int MOD=1e9+7;
const int INF=1e9+7;
typedef long long ll;
struct lenka{int x,y,z;}ed[MAX];
vector<int>e[MAX];
vector<int>QAQ;
int top[MAX],in[MAX];
int n,m;
int check(int QWQ)
{
    for(int i=1;i<=n;i++)e[i].clear();
    memset(in,0,sizeof in);
    for(int i=1;i<=m;i++)
    {
        if(ed[i].z>QWQ)
        {
            e[ed[i].x].push_back(ed[i].y);
            ++in[ed[i].y];
        }
    }
    queue<int>p;
    int cnt=0;
    for(int i=1;i<=n;i++)if(in[i]==0)p.push(i),top[i]=++cnt;
    while(!p.empty())
    {
        int now=p.front();p.pop();
        for(int i=0;i<e[now].size();i++)
        {
            int nex=e[now][i];
            in[nex]--;
            if(in[nex]==0)
            {
                p.push(nex);
                top[nex]=++cnt;
            }
        }
    }
    for(int i=1;i<=n;i++)if(in[i])return 0;
    QAQ.clear();
    for(int i=1;i<=m;i++)if(ed[i].z<=QWQ&&top[ed[i].y]<top[ed[i].x])QAQ.push_back(i);
    return 1;
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;i++)scanf("%d%d%d",&ed[i].x,&ed[i].y,&ed[i].z);
    int l=0,r=1e9,ans=0;
    while(r>=l)
    {
        int mid=(l+r)/2;
        if(check(mid))r=mid-1,ans=mid;
        else l=mid+1;
    }
    check(ans);
    printf("%d %d
",ans,QAQ.size());
    for(int i=0;i<QAQ.size();i++)cout<<QAQ[i]<<" ";
    return 0;
}