【CF427C】Checkposts

解析：

       首先对于第一问肯定是求强连通分量，然后对每个强连通分量的中的最小值求和即可。

       对于第二问，算出每个强连通分量内有多少个该分量中的最小值，然后根据乘法原理乘起来就行了。

       注意取模是针对第二问，第一问不用取模！

 

代码：

#include <bits/stdc++.h>
using namespace std;

const int mod=1e9+7;
const int Maxn=100010;
const int Maxm=300010;
long long ans1;
int n,m,size,cnt,ans2=1,Index,tot;
int num[Maxn],low[Maxn],p[Maxn],vis[Maxn];
int first[Maxn],minn[Maxn],father[Maxn],v[Maxn],sum[Maxn];
struct shu{int to,next;};
shu edge[Maxm<<1];

inline int get_int()
{
	int x=0,f=1;
	char c;
	for(c=getchar();(!isdigit(c))&&(c!='-');c=getchar());
	if(c=='-') f=-1,c=getchar();
	for(;isdigit(c);c=getchar()) x=(x<<3)+(x<<1)+c-'0';
	return x*f;
}

inline void build(int x,int y)
{
	edge[++size].next=first[x];
	first[x]=size;
	edge[size].to=y;
}

inline void tarjan(int point)
{
	low[point]=num[point]=++Index;
	p[++tot]=point,vis[point]=1;
	for(int u=first[point];u;u=edge[u].next)
	{
	  int to=edge[u].to;
	  if(!num[to]) tarjan(to),low[point]=min(low[point],low[to]);
	  else if(vis[to]) low[point]=min(low[point],num[to]);
	}
	if(num[point]==low[point])
	{
	  cnt++;
	  while(1)
	  {
		int x=p[tot--];
		vis[x]=0,father[x]=cnt;
		if(x==point) break;
	  }
	}
}

int main()
{
	n=get_int();
	for(int i=1;i<=n;i++) minn[i]=1e9;
	for(int i=1;i<=n;i++) v[i]=get_int();
	m=get_int();
	for(int i=1;i<=m;i++)
	{
	  int x=get_int(),y=get_int();
	  build(x,y);
	}
	for(int i=1;i<=n;i++) if(!num[i]) tarjan(i);
	for(int i=1;i<=n;i++) minn[father[i]]=min(minn[father[i]],v[i]);
	for(int i=1;i<=n;i++) if(v[i]==minn[father[i]]) sum[father[i]]++;
	for(int i=1;i<=cnt;i++) ans1=ans1+minn[i],ans2=(1ll*ans2*sum[i])%mod;
	cout<<ans1<<" "<<ans2<<"\n";
	return 0;
}