【2018年全国多校算法寒假训练营练习比赛（第四场）- E】通知小弟(强连通缩点)

题目链接：https://www.nowcoder.com/acm/contest/76/E

题目描述

        在战争时期，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。

【思路】
如果是dag，就看老大能不能通知到所有入度为0的点，能的话答案就是入度为0的点个数，不能就是-1。但是可能存在环，这样即使入度不为0也要有必须通知的人，说白了就是在一个强连通分量内。所以缩点后成为dag找入度为0的点即可。

【个人感悟】
懒癌发作，拖好久了。。本来是不会写这种题的，这两天又硬着头皮学了一波tarjan。。。用并查集写虽然也ac了，然鹅数据太水了没法处理环的情况，就不贴代码了 (*/ω\*)

【ac代码】

#include <bits/stdc++.h>
using namespace std;
const int N = ;
int low[N], vis[N], dfn[N], col[N], b[N], in[N];
vector<int>V[N];
stack<int>s;
int n, cnt, num;
void dfs(int u)
{
    s.push(u);
    vis[u] = ;
    dfn[u] = low[u] = ++cnt;
    for (int i = ; i < V[u].size(); i++)
    {
        int v = V[u][i];
        if (!dfn[v])
        {
            dfs(v);
            low[u] = min(low[u], low[v]);
        }
        else if (vis[v])
            low[u] = min(low[u], dfn[v]);
    }
    if (low[u] == dfn[u])
    {
        int t;
        num++;
        do
        {
            t = s.top();
            s.pop();
            col[t] = num;
            vis[t] = ;
        }
        while (t != u);
    }
}

void tarjan()
{
    int i;
    memset(dfn, , sizeof(dfn));
    memset(low, , sizeof(low));
    memset(vis, , sizeof(vis));
    memset(col, , sizeof(col));
    while (!s.empty()) s.pop();
    cnt = num = ;
    for (i = ; i <= n; i++)
        if (!dfn[i]) dfs(i);
}
int main()
{
    int m, a, i, j, c;
    while(~scanf("%d%d", &n, &m))
    {
        for(i = ; i <= n; i++) V[i].clear();
        for(i = ; i <= m; i++) scanf("%d", &b[i]);
        sort(b+, b++m);
        for(i = ; i <= n; i++)
        {
            scanf("%d", &c);
            while(c--)
            {
                scanf("%d", &a);
                V[i].push_back(a);
            }
        }
        tarjan();
        for(i = ; i <= n; i++)
            for(j = ; j < V[i].size(); j++)
            {
                int v = V[i][j];
                if(col[i] != col[v]) in[col[v]]++; //缩点后入度++
            }
        int ans = , f = ;
        for(i = ; i <= num; i++)
        {
            if(!in[i])
            {
                f = ;
                for(j = ; j <= n; j++)
                {
                    //找入度为0的强连通分量内是否包含老大能通知的点
                    if(col[j] == i && binary_search(b+, b++m, j))
                    {
                        ans++;
                        f = ;
                        break;
                    }
                }
                if(f == )
                    break;
            }
        }
        printf("%d\n", f == ?-:ans);
    }
    return ;
}