【牛客】F Applese 的QQ群（拓扑排序判环+二分）

链接：https://ac.nowcoder.com/acm/contest/330/F
来源：牛客网

Applese 有一个QQ群。在这个群中，大家互相请教问题。如 b 向 a 请教过问题，就把 a 叫做是 b 的"老板"。这样一个群中就会有很多老板。

同时规定：如果 a 是 b 的老板，b 是 c 的老板，那么 a 也是 c 的老板。

为了不破坏群里面和谐交流的氛围，Applese 定了一个群规：不允许出现 a 既是 b 的老板， b 又是 a 的老板。

你需要帮助 Applese 判断大家是否遵守了群规。
输入描述:
第一行两个整数 n, m，表示群里的人数以及请教问题的数量。
接下来 m 行，每行两个整数 a, b，表示 a 是 b 的"老板"，即 b 向 a 请教了一个问题。
注：无论是否违反了群规，a 都会成为 b 的老板。
输出描述:
对于每次提问，输出一行"Yes"表示大家都遵守了群规，反之输出"No"。
示例1
输入
复制
4 4
1 2
2 3
3 1
1 4
输出
复制
Yes
Yes
No
No
思路：由题意可以知道大概就是要拓扑排序来判断有向无环图，但是由于是在线，所以不能暴力判，我们发现如果加入了某条边之后变成了No，那么之后的答案就都是No，我们要找的就是压垮这最后一棵稻草的那条边，查找那条边的过程可以用二分。

#include<bits/stdc++.h>
using namespace std;
const int maxn=2e5+5;
vector<int>g[maxn];
int n,m,ru[maxn],u[maxn],v[maxn];
bool check(int k)
{
	int cnt=0;
	queue<int>q;
	for(int i=0;i<=n;++i) ru[i]=0,g[i].clear();
	for(int i=1;i<=k;++i)
	{
		g[u[i]].push_back(v[i]);
		ru[v[i]]++;
	}
	for(int i=1;i<=n;++i) if(ru[i]==0) q.push(i);
	while(!q.empty())
	{
		int t=q.front();
		q.pop();
		cnt++;
		for(int to:g[t])
		{
			ru[to]--;
			if(ru[to]==0) q.push(to);
		}
	}
	return cnt==n;
}
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;++i) scanf("%d%d",&u[i],&v[i]);
	int l=1,r=m;
	while(l<=r)
	{
		int mid=(l+r)>>1;
		if(check(mid)) l=mid+1;
		else r=mid-1;
	}
	for(int i=1;i<=r;++i) puts("Yes");
	for(int i=r+1;i<=m;++i) puts("No");
}