[XXOJ2902]导出子图：拓扑排序

题意简述：给定一张无向图和一个数，求一个最大的子图，使得删掉原图中其他点后，子图中每个点的点度都大等。要求输出子图大小和子图中的每个点，若无解输出，若存在多解输出任意一组解。

题目让我们求一个子图，最直接的方法自然是构造，但我们一时想不出有效的构造方法。怎么办呢？我们换一种思路。设想整张图中每个点的点度都大等，我们直接把原图输出就可以了，但肯定有些点的点度小于，我们只好把它们删除。是不是删除这些点后的子图就是答案了呢？并非如此。当删除一个点后，与它有连边的所有点的点度都会受影响。因此我们删除一个点时，要把与它有连边的所有点的点度减一，如果有的点删掉这条边后点度小于，我们必须再把这个点删掉。这样就会产生连锁反应（其实就是拓扑排序...），当拓扑排序结束后，剩下的点就是答案了（吗？）。然而交了一发只得了分...是什么地方出了问题？我们注意到题目有个条件：若存在多解输出任意一组解。为什么会有多解？拓扑排序结束后，我们不能保证原图仍是连通图，也就是说，原图可能会分成好几个子图，而我们把它们一起输出了...因此，拓扑排序结束后，我们要对剩下的点进行求连通块，并输出最大的一个即可。完整代码如下。

#include<cstdio>
#include<algorithm>
#define maxn 200010
#define r register
using namespace std;
int n,m,k,num,a,b,first[maxn],next[maxn<<1],to[maxn<<1];
int tmp,head,tail,cnt,size,q[maxn],deg[maxn],ans[maxn],now[maxn];
bool vis[maxn];
int read()
{
	r char ch=getchar();r int in=0;
	while(ch>'9'||ch<'0') ch=getchar();
	while(ch<='9'&&ch>='0') in=(in<<1)+(in<<3)+ch-'0',ch=getchar();
	return in;
}
void dfs(r int x)
{
	vis[x]=1,now[++size]=x;
	for(r int i=first[x];i;i=next[i])
		if(!vis[to[i]]) dfs(to[i]);
}
int main()
{
	n=read(),m=read(),k=read();
	for(r int i=1;i<=m;i++)
	{
		a=read(),b=read(),deg[a]++,deg[b]++;
		to[++num]=b,next[num]=first[a],first[a]=num;
		to[++num]=a,next[num]=first[b],first[b]=num;
	}
	for(r int i=1;i<=n;i++)
		if(deg[i]<k) vis[i]=1,q[++tail]=i;
	//在无向图上拓扑排序，记得把已经入队的点标记，防止重复入队
	while(head<tail)
	{
		tmp=q[++head];
		for(r int i=first[tmp];i;i=next[i])
			if(!vis[to[i]])
			{
				deg[to[i]]--;
				if(deg[to[i]]<k)
					vis[to[i]]=1,q[++tail]=to[i];
			}
	}
	for(r int i=1;i<=n;i++)
		if(!vis[i])
		{
			size=0,dfs(i);
			if(size<=cnt) continue;
			cnt=size;
			for(r int j=1;j<=cnt;j++) ans[j]=now[j];
		}
	if(!cnt) return !puts("NIE");
	printf("%d\n",cnt);
	sort(ans+1,ans+cnt+1);
	for(r int i=1;i<=cnt;i++) printf("%d ",ans[i]);
	return 0;
}