TZOJ：6088: Summer Holiday

 6088: Summer Holiday 

时间限制(普通/Java):1000MS/3000MS     内存限制:65536KByte
总提交: 86            测试通过:39

描述

To see a World in a Grain of Sand 
And a Heaven in a Wild Flower, 
Hold Infinity in the palm of your hand 
And Eternity in an hour. 
                  —— William Blake

听说lcy帮大家预定了新马泰7日游，Wiskey真是高兴的夜不能寐啊，他想着得快点把这消息告诉大家，虽然他手上有所有人的联系方式，但是一个一个联系过去实在太耗时间和电话费了。他知道其他人也有一些别人的联系方式，这样他可以通知其他人，再让其他人帮忙通知一下别人。你能帮Wiskey计算出至少要通知多少人，至少得花多少电话费就能让所有人都被通知到吗？

输入

多组测试数组，以EOF结束。
第一行两个整数N和M（1<=N<=1000, 1<=M<=2000），表示人数和联系对数。
接下一行有N个整数，表示Wiskey联系第i个人的电话费用。
接着有M行，每行有两个整数X，Y，表示X能联系到Y，但是不表示Y也能联系X。

输出

输出最小联系人数和最小花费。
每个CASE输出答案一行。

样例输入

12 16
2 2 2 2 2 2 2 2 2 2 2 2 
1 3
3 2
2 1
3 4
2 4
3 5
5 4
4 6
6 4
7 4
7 12
7 8
8 7
8 9
10 9
11 10

样例输出

3 6

分析：一个强连通分量的简单运用图论——强连通分量（Tarjan算法)，可以看一下这个大佬的讲解，这里我们运用这个方法先将强连通分量处理，然后我们可以发现，如果一个强连通分量可以连接到另一个强连通分量，那么被连接的那个强连通分量是不需要考虑的，所以答案其实就是入度为0的强连通分量的个数以及这些强连通分量内最小花费的总和。

代码：

#include <iostream>
#include <vector>
#include <stack>

using namespace std;

typedef long long ll;
typedef pair<int, int> pii;

const int N = 1e3 + 10;

int n, m;
int dfn[N], low[N], val[N], cnt, cntb, q[N];
bool instack[N];
vector<int> e[N];
stack<int> sta;
pii edge[N << 1];//edge存边
int in[N], mival[N];//in指强连通分量的入度个数，mival指编号为i的强连通分量中的最小花费

void tarjan(int u)
{
    dfn[u] = low[u] = ++ cnt;
    sta.push(u);
    instack[u] = 1;
    for (auto v : e[u])
    {
        if (!dfn[v])
        {
            tarjan(v);
            low[u] = min(low[u], low[v]);
        }
        else if (instack[v])
            low[u] = min(low[u], dfn[v]);
    }
    if (dfn[u] == low[u])
    {
        cntb ++ ;
        int node;
        do
        {
            node = sta.top();
            sta.pop();
            instack[node] = 0;
            q[node] = cntb;
            mival[cntb] = min(mival[cntb], val[node]);
        } while (node != u);
    }
}

void solve()
{
    e[0].clear();
    for (int i = 1; i <= n; i ++ )
    {
        cin >> val[i];
        instack[i] = 0;
        dfn[i] = low[i] = 0;
        e[i].clear();
        e[0].push_back(i);
        mival[i] = 1e9;
        in[i] = 0;
    }
    for (int i = 0; i < m; i ++ )
    {
        int u, v;
        cin >> u >> v;
        edge[i] = make_pair(u, v);
        e[u].push_back(v);
    }
    cnt = cntb = 0;
    tarjan(0);

    for (int i = 0; i < m; i ++ )
    {
        auto [u, v] = edge[i];
        if (q[u] != q[v])
            in[q[v]] ++ ;
    }

    int res1 = 0, res2 = 0;
    for (int i = 1; i < cntb; i ++ )
        if (!in[i])
            res1 ++ , res2 += mival[i];
    cout << res1 << ' ' << res2 << endl;
}

int main()
{
    ios::sync_with_stdio(0);
    cin.tie(0); cout.tie(0);
    while (cin >> n >> m)
        solve();
    return 0;
}