[CF1100E]Andrew and Taxi

Andrew and Taxi

题解

很容易发现，所选边权的最大值是具有单调性的，于是我们就想到了二分。

可以先二分最大值，将比它大的边都加入图中，利用dfs判断是否有环。

至于最后如何构造，可以将拓扑序小的连向拓扑序大的，因为后者永远无法到达前者，所以这样最后得到的图一定是合法的。

源码

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100005
typedef long long LL;
typedef unsigned long long uLL;
const LL INF=0x7f7f7f7f7f7f7f7f;
const int mo=1e9+7;
typedef pair<LL,LL> pii;
int n,m,head[MAXN],cnt,tot,deg[MAXN],ord[MAXN];
queue<int>q;
vector<int>ans;
bool vis[MAXN],used[MAXN];
struct ming{int u,v,w;}a[MAXN];
struct edge{int to,nxt;}e[MAXN<<1];
void addEdge(int u,int v){e[++tot]=(edge){v,head[u]};head[u]=tot;}
bool dfs(int x){
	vis[x]=1;used[x]=1;
	for(int i=head[x];i;i=e[i].nxt)
		if(vis[e[i].to]||dfs(e[i].to))
			return true;
	vis[x]=0;return false;
}
bool check(int x){
	for(int i=1;i<=n;i++)vis[i]=head[i]=used[i]=0;tot=0;bool flag=false;
	for(int i=1;i<=m;i++)if(a[i].w>x)addEdge(a[i].u,a[i].v);
	for(int i=1;i<=n;i++)if(!used[i]&&!vis[i]&&dfs(i))return false;
	return true;
}
signed main(){
	scanf("%d %d",&n,&m);
	for(int i=1;i<=m;i++)
		scanf("%d %d %d",&a[i].u,&a[i].v,&a[i].w);
	int l=0,r=1e9+1,num=-1;
	while(l<=r){
		int mid=l+r>>1;
		if(check(mid))r=mid-1,num=mid;
		else l=mid+1;
	}
	for(int i=1;i<=n;i++)head[i]=deg[i]=0;tot=0;
	for(int i=1;i<=m;i++)if(a[i].w>num)addEdge(a[i].u,a[i].v),deg[a[i].v]++;
	for(int i=1;i<=n;i++)if(!deg[i])q.push(i);
	while(!q.empty()){
		int t=q.front();q.pop();ord[t]=++cnt;
		for(int i=head[t];i;i=e[i].nxt){
			int v=e[i].to;deg[v]--;
			if(!deg[v])q.push(v);
		}
	}
	for(int i=1;i<=m;i++)
		if(a[i].w<=num&&ord[a[i].u]>ord[a[i].v])
			ans.push_back(i);
	int siz=ans.size();printf("%d %d\n",num,siz);
	for(int i=0;i<siz;i++)printf("%d ",ans[i]);
	return 0;
}

谢谢！！！