Fedor and Essay
题解
再次吐槽一下某网站的翻译
由于同义词之间连得上单向边,很容易发现,我们可以根据它得到一个有向的图,一个点能够到达的点就是能够被转化成的点。
于是,我们就很容易想到了缩点,一个点能够到达为其连通分量中的任意一点。
接下来我们就得到了一棵由有向边建成的树。通过记忆化搜索,我们很容易得到以某个点为起点时所能得到的最小值。
只要先将字符串离散化成点,跑tarjan与dfs,最后统计答案即可。
源码
#include<bits/stdc++.h>
using namespace std;
#define MAXN 300005
typedef long long LL;
typedef unsigned long long uLL;
const LL mo=1e9+7;
typedef pair<int,int> pii;
template<typename _T>
_T Fabs(_T x){return x<0?-x:x;}
template<typename _T>
void read(_T &x){
_T f=1;x=0;char s=getchar();
while(s>'9'||s<'0'){if(s=='-')f=-1;s=getchar();}
while('0'<=s&&s<='9'){x=(x<<3)+(x<<1)+(s^48);s=getchar();}
x*=f;
}
int n,m,cnt,idx,tot,Tot,a[MAXN],U[MAXN],V[MAXN];
int dfn[MAXN],low[MAXN],head[MAXN];
int sta[MAXN],stak,belong[MAXN];
bool insta[MAXN],vis[MAXN];
pii val[MAXN],minn[MAXN];
string str[MAXN],ustr[MAXN],vstr[MAXN];
string b[MAXN];
struct edge{int to,nxt;}e[MAXN<<1];
void addEdge(int u,int v){e[++tot]=(edge){v,head[u]};head[u]=tot;}
void tarjan(int u,int fa){
dfn[u]=low[u]=++idx;sta[++stak]=u;insta[u]=1;
for(int i=head[u];i;i=e[i].nxt){
int v=e[i].to;
if(!dfn[v])tarjan(v,u),low[u]=min(low[u],low[v]);
else if(insta[v])low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u]){
++cnt;int v;
do{
v=sta[stak--];insta[v]=0;
belong[v]=cnt;
}while(u!=v);
}
}
vector<int>G[MAXN];
void dfs(int u){
if(vis[u])return ;vis[u]=1;
minn[u]=val[u];int siz=G[u].size();
for(int i=0;i<siz;i++){
int v=G[u][i];dfs(v);
minn[u]=min(minn[u],minn[v]);
}
//printf("%d %d %d\n",u,minn[u].first,minn[u].second);
}
pii solve(string s){
int len=s.length(),res=0;
for(int i=0;i<len;i++)if(s[i]=='r')res++;
return make_pair(res,len);
}
string turn(string s){
int len=s.length();
for(int i=0;i<len;i++)
if('A'<=s[i]&&s[i]<='Z')
s[i]-='A'-'a';
return s;
}
bool cmp(string a,string b){return a.compare(b)<0;}
signed main(){
scanf("%d\n",&n);tot=1;LL ans=0,slen=0;
for(int i=1;i<=n;i++)
cin>>str[i],str[i]=turn(str[i]),
b[++Tot]=str[i];
scanf("%d\n",&m);
for(int i=1;i<=m;i++)
cin>>ustr[i]>>vstr[i],
ustr[i]=turn(ustr[i]),vstr[i]=turn(vstr[i]),
b[++Tot]=ustr[i],b[++Tot]=vstr[i];
sort(b+1,b+Tot+1,cmp);
//for(int i=1;i<=tot;i++)cout<<b[i]<<endl;
Tot=unique(b+1,b+Tot+1)-b-1;
for(int i=1;i<=n;i++)a[i]=lower_bound(b+1,b+Tot+1,str[i])-b;
//for(int i=1;i<=tot;i++)cout<<b[i]<<endl;
for(int i=1;i<=m;i++)
U[i]=lower_bound(b+1,b+Tot+1,ustr[i])-b,
V[i]=lower_bound(b+1,b+Tot+1,vstr[i])-b,
addEdge(U[i],V[i]);
for(int i=1;i<=Tot;i++)if(!dfn[i])tarjan(i,0);
for(int i=1;i<=cnt;i++)val[i]=make_pair(500001,500001);
for(int i=1;i<=Tot;i++)val[belong[i]]=min(val[belong[i]],solve(b[i]));
//for(int i=1;i<=Tot;i++)cout<<b[i]<<":"<<belong[i]<<endl;
for(int i=1;i<=m;i++){
if(belong[U[i]]!=belong[V[i]])
G[belong[U[i]]].push_back(belong[V[i]]);
//cout<<belong[U[i]]<<"-->"<<belong[V[i]]<<endl;
}
for(int i=1;i<=cnt;i++)if(!vis[i])dfs(i);
for(int i=1;i<=n;i++){
ans+=1ll*minn[belong[a[i]]].first,
slen+=1ll*minn[belong[a[i]]].second;
//printf("%d %d %d\n",a[i],minn[belong[a[i]]].first,minn[belong[a[i]]].second);
}
printf("%lld %lld\n",ans,slen);
return 0;
}