【BZOJ3238】差异（后缀数组，单调栈）

题意：

思路：显然len(t[i])+len(t[j])这部分的和是一定的

那么问题就在于如何快速求出两两之间lcp之和

考虑将它们排名后用SA可以很方便的求出lcp，且对答案没有影响，因为形式都是数对

所以用SA求出height

每个位置的height作为lcp的区间为扩展到最左最右，直到height[x]<height[i]，height[y]<height[i]

这样合法的左区间为[x+1,i]，右区间为[i,y-1]

考虑如何维护一个支持寻找最靠近当前位置的比当前位置上的数小的位置

这个可以用两次单调栈维护

但还要考虑到重复计算的情况，比如有多个最小值覆盖了全部区域

我们可以在比较时其中一次取等号，一次不取

 var x,y,sa,rank,height,wc,wd,a:array[..]of longint;
     l,r:array[..]of int64;
     stk:array[..]of longint;
     n,i,m,top:longint;
     ans,j:int64;
     ch:ansistring;

 function min(x,y:longint):longint;
 begin
  if x<y then exit(x);
  exit(y);
 end;

 function cmp(a,b,l:longint):boolean;
 begin
  exit((y[a]=y[b])and(y[a+l]=y[b+l]));
 end;

 procedure swap(var x,y:longint);
 var t:longint;
 begin
  t:=x; x:=y; y:=t;
 end;

 procedure getsa(n:longint);
 var i,j,p:longint;
 begin
  for i:= to n- do
  begin
   x[i]:=a[i];
   inc(wc[x[i]]);
  end;
  for i:= to m- do wc[i]:=wc[i-]+wc[i];
  for i:=n- downto  do
  begin
   dec(wc[x[i]]);
   sa[wc[x[i]]]:=i;
  end;
  j:=; p:=;
  while p<n do
  begin
   p:=;
   for i:=n-j to n- do
   begin
    y[p]:=i; inc(p);
   end;
   for i:= to n- do
    if sa[i]>=j then begin y[p]:=sa[i]-j; inc(p); end;
   for i:= to n- do wd[i]:=x[y[i]];
   for i:= to m- do wc[i]:=;
   for i:= to n- do inc(wc[wd[i]]);
   for i:= to m- do wc[i]:=wc[i-]+wc[i];
   for i:=n- downto  do
   begin
    dec(wc[wd[i]]);
    sa[wc[wd[i]]]:=y[i];
   end;
   for i:= to n do swap(x[i],y[i]);
   p:=; x[sa[]]:=;
   for i:= to n- do
    if cmp(sa[i-],sa[i],j) then x[sa[i]]:=p-
     else begin x[sa[i]]:=p; inc(p); end;
   j:=j<<;
   m:=p;
  end;
 end;

 procedure getheight(n:longint);
 var i,j,k:longint;
 begin
  k:=;
  for i:= to n do rank[sa[i]]:=i;
  for i:= to n- do
  begin
   if k> then dec(k);
   j:=sa[rank[i]-];
   while a[i+k]=a[j+k] do inc(k);
   height[rank[i]]:=k;
  end;
 end;

 begin
  assign(input,'bzoj3238.in'); reset(input);
  assign(output,'bzoj3238.out'); rewrite(output);
  readln(ch);
  n:=length(ch);
  for i:= to n- do a[i]:=ord(ch[i+])-ord('a')+;
  a[n]:=; m:=;
  getsa(n+);
  getheight(n);
  stk[]:=; height[]:=-maxlongint; top:=;
  for i:= to n do
  begin
   while (top>)and(height[i]<height[stk[top]]) do dec(top);
   if stk[top]= then l[i]:=
    else l[i]:=stk[top]+;
   inc(top); stk[top]:=i;
  end;

  stk[]:=n+; height[n+]:=-maxlongint; top:=;
  for i:=n downto  do
  begin
   while (top>)and(height[i]<=height[stk[top]]) do dec(top);
   if stk[top]=n+ then r[i]:=n
    else r[i]:=stk[top]-;
   inc(top); stk[top]:=i;
  end;

  ans:=int64(n-)*int64(n)*(n+) div ;
  for i:= to n do ans:=ans-*(-l[i]+i+)*(r[i]-i+)*height[i];
  //for i:= to n+ do writeln(l[i],' ',r[i]);
  writeln(ans);
  close(input);
  close(output);
 end.