4199: [Noi2015]品酒大会
UOJ：http://uoj.ac/problem/131
一年一度的“幻影阁夏日品酒大会”隆重开幕了。大会包含品尝和趣味挑战两个环节，分别向优胜者颁发“首席品酒家”和“首席猎手”两个奖项，吸引了众多品酒师参加。
在大会的晚餐上，调酒师 Rainbow 调制了 n 杯鸡尾酒。这 n 杯鸡尾酒排成一行，其中第 i 杯酒 （1≤i≤n） 被贴上了一个标签 si，每个标签都是 26 个小写英文字母之一。设 Str(l,r) 表示第 l 杯酒到第 r 杯酒的 r−l+1 个标签顺次连接构成的字符串。若 Str(p,po)=Str(q,qo)，其中 1≤p≤po≤n，1≤q≤qo≤n，p≠q，po−p+1=qo−q+1=r，则称第 p 杯酒与第 q 杯酒是“r相似” 的。当然两杯“r相似” （r>1）的酒同时也是“1 相似”、“2 相似”、…、“(r−1) 相似”的。特别地，对于任意的 1≤p,q≤n，p≠q，第 p 杯酒和第 q 杯酒都是“0相似”的。
在品尝环节上，品酒师 Freda 轻松地评定了每一杯酒的美味度，凭借其专业的水准和经验成功夺取了“首席品酒家”的称号，其中第 i 杯酒 （1≤i≤n） 的美味度为 ai。现在 Rainbow 公布了挑战环节的问题：本次大会调制的鸡尾酒有一个特点，如果把第 p 杯酒与第 q 杯酒调兑在一起，将得到一杯美味度为 apaq 的酒。现在请各位品酒师分别对于 r=0,1,2,…,n−1，统计出有多少种方法可以选出 2 杯“r相似”的酒,并回答选择 2 杯“r相似”的酒调兑可以得到的美味度的最大值。
输入格式
输入文件的第 1 行包含 1 个正整数 n，表示鸡尾酒的杯数。
第 2 行包含一个长度为 n 的字符串 S，其中第 i 个字符表示第 i 杯酒的标签。
第 3 行包含 n 个整数，相邻整数之间用单个空格隔开，其中第 i 个整数表示第 i 杯酒的美味度 ai。
输出格式
输出文件包括 n 行。第 i 行输出 2 个整数，中间用单个空格隔开。第 1 个整数表示选出两杯“(i−1)相似”的酒的方案数，第 2 个整数表示选出两杯“(i−1)相似”的酒调兑可以得到的最大美味度。若不存在两杯“(i−1)相似”的酒，这两个数均为 0。
linkct讲课时说了一种他考场上写的单调栈做法，忘了.....
比较经典的用并查集配合后缀数组吧
从大到小枚举LCP的长度L，把所有当前LCP长度的元素所在集合合并成一个集合
这时候每个集合里元素的LCP都是>=L,也就是都是L相似
合并的时候维护mx[i],mn[i],size[i]就好了
ans1[L]+=size[x]*size[y];
ans2[L]=max(ans2[L],max(mn[x]*mn[y],mx[x]*mx[y]));
注意i+1相似也是i相似，所以ans要处理后缀和
一点经验：
并查集直接用的是排序后编号
把相同LCP的放在一起可以用邻接链表
注意：
预处理时mx[i]=mn[i]=a[sa[i]]！！！
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int N=3e5+;
typedef long long ll;
const ll INF=1e18+;
inline int read(){
char c=getchar();int x=,f=;
while(c<''||c>''){if(c=='-')f=-; c=getchar();}
while(c>=''&&c<=''){x=x*+c-''; c=getchar();}
return x*f;
}
int n,a[N];
char s[N];
struct edge{
int v,ne;
}e[N];
int cnt,h[N];
inline void ins(int u,int v){
cnt++;
e[cnt].v=v;e[cnt].ne=h[u];h[u]=cnt;
} int sa[N],rnk[N],t1[N],t2[N],height[N],c[N];
bool cmp(int *r,int a,int b,int j){
return a+j<=n&&b+j<=n&&r[a]==r[b]&&r[a+j]==r[b+j];
}
void getSA(int m){
int *r=t1,*k=t2;
for(int i=;i<=n;i++) c[r[i]=s[i]]++;
for(int i=;i<=m;i++) c[i]+=c[i-];
for(int i=n;i>=;i--) sa[c[r[i]]--]=i;
for(int j=;j<=n;j<<=){
int p=;
for(int i=n-j+;i<=n;i++) k[++p]=i;
for(int i=;i<=n;i++) if(sa[i]>j) k[++p]=sa[i]-j; for(int i=;i<=m;i++) c[i]=;
for(int i=;i<=n;i++) c[r[k[i]]]++;
for(int i=;i<=m;i++) c[i]+=c[i-];
for(int i=n;i>=;i--) sa[c[r[k[i]]]--]=k[i]; swap(r,k);p=;r[sa[]]=++p;
for(int i=;i<=n;i++) r[sa[i]]=cmp(k,sa[i],sa[i-],j)?p:++p;
if(p>=n) break;m=p;
}
}
void getHeight(){
for(int i=;i<=n;i++) rnk[sa[i]]=i;
int k=;
for(int i=;i<=n;i++){
if(k) k--;
if(rnk[i]==) continue;
int j=sa[rnk[i]-];
while(i+k<=n&&j+k<=n&&s[i+k]==s[j+k]) k++;
height[rnk[i]]=k;
}
} int fa[N],size[N];
ll ans1[N],ans2[N],mn[N],mx[N];
inline int find(int x){return x==fa[x]?x:fa[x]=find(fa[x]);}
void unn(int x,int y,int L){//printf("unn %d %d %d\n",x,y,L);
x=find(x);y=find(y);
if(x==y) return;
//if(x<y) swap(x,y);
ans1[L]+=(ll)size[x]*size[y];
ans2[L]=max(ans2[L],max(mn[x]*mn[y],mx[x]*mx[y]));
fa[x]=y;
mx[y]=max(mx[y],mx[x]);
mn[y]=min(mn[y],mn[x]);
size[y]+=size[x];
}
void solve(){
for(int i=;i<=n;i++){
fa[i]=i,size[i]=,mx[i]=mn[i]=a[sa[i]],ans2[i]=-INF;
if(i!=) ins(height[i],i);
}
for(int l=n-;l>=;l--){
for(int i=h[l];i;i=e[i].ne) unn(e[i].v-,e[i].v,l);
if(l!=n-){
ans1[l]+=ans1[l+];
ans2[l]=max(ans2[l],ans2[l+]);
}
}
for(int i=;i<=n-;i++) printf("%lld %lld\n",ans1[i],ans2[i]==-INF?:ans2[i]);
}
int main(){
//freopen("in.txt","r",stdin);
n=read();
scanf("%s",s+);
for(int i=;i<=n;i++) a[i]=read();
getSA();
getHeight();
solve();
}