tyvj P1936 [Clover4]太空战队

P1936 [Clover4]太空战队

时间: 1000ms / 空间: 131072KiB / Java类名: Main

描述

在社会经济高速发展的今天，借助高科技手段，组建太空战队的愿望就快实现了。
战队属下有N个航天员。作为空军选拔上来的佼佼者，每个航天员都有与生俱来的骄傲——他们每个人都认为自己是最强的或者是第二强的。这样，如何分组就成了司令官的难题了。司令官分组的方法是这样的：
步骤1:任意选择一个未被分组的航天员，记为当前航天员.
步骤2:把当前航天员分入一个新的组.
步骤3:如果当前航天员心目中最强的那个航天员（记为Q航天员）还没有被分组，那么把Q航天员分入当前航天员所在组，并把Q航天员作为当前航天员并重复步骤3；如果Q航天员已经被分组，那么重复步骤1，直至所有航天员都被分入了某个组。
司令官想请你帮忙计算：按上面的分组方式，最多/最少能分成几个组。

输入格式

第一行一个整数N，表示航天员的数目。
接下来N行每行1个整数，第i+1行的整数a[i]（1<=a[i]<=N）表示第i位航天员心目中最强的航天员。如果a[i]=i，则表示第i个航天员认为自己是最强的。

输出格式

一行，用空格隔开的两个整数A，B，表示按照司令官的分组方法最多和最少能够分成多少组.

测试样例1

输入

4
2
3
4
2

输出

2 1

备注

组数最多的一种分组过程：
首先把2分入第一组，接下来，按照第3步的要求，3、4应该也被分入第一组。
接下来，把1分入第2组。

组数最少的一种分组过程：
首先把1分入第一组，接下来，按照第3步的要求，2、3、4也应该被分入第一组。

对于50%的数据，N<=1000.
对于100%的数据，N<=100000.

---

【分析】
将条件转化为图，从一个人向他所认为比他强的人连一条有向边，跑一遍tarjan强连通就ok。

---

//tyvj 1936 [Clover4]太空战队 
#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<stack>
#define fo(i,j,k) for(i=j;i<=k;i++)
#define P 100001
using namespace std;
vector <int> f[P];
stack <int> s;
int dfn[P],low[P],a[P],du[P],be[P];
int cnt,tim,tot,ans,n;
bool in[P];
inline void tarjan(int u)
{
    int i,j,v;
    dfn[u]=low[u]=++tim;
    s.push(u);
    in[u]=1;
    int x=f[u].size()-1;
    fo(i,0,x)
    {
        v=f[u][i];
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(in[v])
          low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        cnt++;
        do
        {
            v=s.top();
            s.pop();
            in[v]=0;
            be[v]=cnt;
        }while(u!=v);
    }
}
int main()
{
    int i,j,k;
    scanf("%d",&n);
    fo(i,1,n)
    {
        scanf("%d",&a[i]);
        f[i].push_back(a[i]);
    }
    fo(i,1,n)
      if(!dfn[i])
        tarjan(i);
    printf("%d ",cnt);
    fo(i,1,n)
      if(be[i]!=be[a[i]])
        du[be[a[i]]]++;
    fo(i,1,cnt)
      if(!du[i]) ans++;
    printf("%d\n",ans);
    return 0;
}