杭电1827

很久很久没有写过题解了，题解还是要多写，要多总结。
题意：Wiskey知道他所有朋友的联系方式，知道他的朋友都有谁的联系方式，也知道联系他们要用的话费。现在他要通知所有朋友，最少要通知多少人，最少用多少电话费才够？
Input
多组测试数组，以EOF结束。
第一行两个整数N和M（1<=N<=1000, 1<=M<=2000），表示人数和联系对数。
接下一行有N个整数，表示Wiskey联系第i个人的电话费用。
接着有M行，每行有两个整数X，Y，表示X能联系到Y，但是不表示Y也能联系X。

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

分析：一开始以为人数最少和话费最少要分两种不同的情况来算，后来发现话费最少的时候人数也是最少的。因为以人为节点，两人之间的联系方式为弧，建出来的有向图里，对于强连通分支，要且仅要通知里面任意一个人，那么这个强连通分支里面的所有人都能通知到，所以人数的最少代价是1，而通知话费最低的人能使话费代价最低。把强连通分支缩点，图就变成一堆单向连通分支了。每一个单向连通分支里面要且仅要通知入度为0的那个人，那么这个连通分支里面的所有人都能通知到，这是通知这些人代价最低的方法。

#include<cstdio>
#include<vector>
#include<stack>
using std::stack;
using std::vector;
vector<int> arc[1001];
stack<int> s;
bool visited[1001],instack[1001],root[1001];
int n,m,exp[1001],low[1001],num[1001],set[1001],root_exp[1001],rn,counter,minCall,minExp;
int min(const int a,const int b)
{
    return a>b?b:a;
}
void tarjan(int u)
{
    int v,i;
    num[u]=low[u]=++counter;
    visited[u]=true;
    instack[u]=true;
    s.push(u);
    for(i=0;i<arc[u].size();i++)
    {
        v=arc[u][i];
        if(!visited[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
            low[u]=min(low[u],num[v]);
        if(root[v])
            root_exp[set[v]]=0;
    }
    if(num[u]==low[u])
    {
        root_exp[rn]=0xffffff;
        do
        {
            v=s.top();
            set[v]=rn;
            root[v]=true;
            if(root_exp[rn]>exp[v])
                root_exp[rn]=exp[v];
            instack[v]=false;
            s.pop();
        }while(u!=v);
        rn++;
    }
}
int main()
{
    int i,u,v;
    while(~scanf("%d%d",&n,&m))
    {
        for(i=1;i<=n;i++)
        {
            visited[i]=false;
            instack[i]=false;
            root[i]=false;
            scanf("%d",&exp[i]);
        }
        for(i=0;i<m;i++)
        {
            scanf("%d%d",&u,&v);
            arc[u].push_back(v);
        }
        counter=0;
        minCall=minExp=0;
        rn=0;
        for(i=1;i<=n;i++)
        {
            if(!visited[i])
                tarjan(i);
        }
        for(i=0;i<rn;i++)
        {
            if(root_exp[i] && root_exp[i]!=0xffffff)
            {
                minCall++;
                minExp+=root_exp[i];
            }
        }
        for(i=1;i<=n;i++)
            arc[i].clear();
    }
    return 0;
}