NC15120 通知小弟

时间限制：C/C++ 1秒，其他语言2秒
空间限制：C/C++ 32768K，其他语言65536K
64bit IO Format: %lld

题目描述

        在战争时期，A国派出了许多间谍到其他国家去收集情报。因为间谍需要隐秘自己的身份，所以他们之间只是单向联系。所以，某个间谍只能单向联系到一部分的间谍。同时，间谍也不知道跟他联系的是谁。
HA是间谍们的老大，但他也只能联系到部分的间谍。HA现在有一项命令有告诉所有的间谍。HA想要知道他至少要告诉多少个他能联系上的间谍才能通知到所有的间谍。

输入描述:

有多个测试数据。
对于每个测试数据：
第一行为一个整数n，m（0<n,m<=500）代表间谍的数量和HA能通知到的间谍的数量（间谍的编号为1-n）；
第二行为m个用空格隔开的整数xi,代表HA能通知到的间谍的编号；
第三行到第n+2行，每一行第一个整数ai(0<=ai<n)表示第i-2个间谍能单向联系到的间谍数。之后有ai个用空格隔开的整数，表示间谍i-2能单向联系到的间谍的编号。

输出描述:

输出一行，此行中有一个整数，代表HA至少需要联系的间谍数。如果HA不能通知到所有间谍，输出-1。

示例1

输入

3 2
1 2
1 2
1 1
0

输出

-1

示例2

输入

3 1
1
2 2 3
0
0

输出

1

思路：由题意可知，HA想要找到一些间谍，通过这些间谍能够通知到所有的间谍。就是在一个图中找到能到达所有点的最小点集。即是求能否找到一些强连通分量，这些强连通分量的入度为0。

之前写过一个类似的题：https://blog.csdn.net/qq_45328552/article/details/106254271

#include <iostream>
#include <algorithm>
#include <cstring>

using namespace std;

const int N=5e5+10;

int n,m;
int h[N],e[N],ne[N],idx;
int dfn[N],low[N],timestamp;
int stk[N],top;
bool in_stk[N];
int scc_cnt,id[N];
int Size[N];
int dout[N];
int a[N]; 


void add(int a,int b)
{
	e[idx]=b;
	ne[idx]=h[a];
	h[a]=idx;
	idx++;
}
 
void tarjan(int u)
{
	dfn[u]=low[u]=++timestamp;
	stk[++top]=u,in_stk[u]=true;
	for(int i=h[u];i!=-1;i=ne[i])
	{
		int j=e[i];
		if(!dfn[j])
		{
			tarjan(j);
			low[u]=min(low[u],low[j]);
		}
		else if(in_stk[j]) low[u]=min(low[u],dfn[j]);
	}
	if(dfn[u]==low[u])
	{
		scc_cnt++;
		int y;
		do{
			y=stk[top--];
			in_stk[y]=false;
			id[y]=scc_cnt;
			Size[scc_cnt]++;
		}while(y!=u);
	}
}

int main()
{
	while(~scanf("%d%d",&n,&m))
	{
		memset(h,-1,sizeof h);
		memset(e,0,sizeof e);
		memset(ne,0,sizeof ne);
		memset(dfn,0,sizeof dfn);
		memset(low,0,sizeof low);
		memset(stk,0,sizeof stk);
		memset(in_stk,0,sizeof in_stk);
		memset(id,0,sizeof id);
		memset(Size,0,sizeof Size);
		memset(dout,0,sizeof dout);
		for(int i=1;i<=m;i++) cin>>a[i];
		for(int i=1;i<=n;i++)
		{
			int a,b;
			scanf("%d",&a);
			for(int j=1;j<=a;j++)
			{
				scanf("%d",&b);
				add(i,b);
			}
		}
		for(int i=1;i<=n;i++)
			if(!dfn[i]) 
				tarjan(i);
		for(int i=1;i<=n;i++)
			for(int j=h[i];j!=-1;j=ne[j])
			{
				int k=e[j];
				int a=id[i],b=id[k];
				if(a!=b) dout[b]++;
			}
		int res=0;
		for(int i=1;i<=scc_cnt;i++)
		{
			 if(!dout[i])
			 {
			 	res++; 
			 }
		}
		for(int i=1;i<=m;i++)
		{
			int x=id[a[i]];
			dout[x]++;
		}
		for(int i=1;i<=scc_cnt;i++)
		{
			 if(!dout[i])
			 {
			 	res=-1; 
			 }
		}
		cout<<res<<endl;
	}
				
	return 0;
} 

这道题比较坑，说的有多组数据，其实一组数据也能过。如果真的是多组数据的话，记得数组什么的全部要处理一遍，以免造成错误。数据范围的话，不知道为啥我的程序必须5e5才能过。

在debug的时候，有个地方一直调不出来，后来发现，原来自己在while与for循环的选择上出了问题，如while(n--),这个n是在变化的，如果后面的处理中需要用到n的话，那么程序肯定会出现错误，就要选择for循环了。