字符串匹配：后缀树组模板（关键点理解）

(ps:暑假集训，中途回家休息了一周多的时间，没A什么题，只弱弱地看了丁点的数学书。最后一天觉得实在过意不去，便看了小会儿算法：后缀数组。回学校后对模板的使用更有解了下，照着标程A了两水题。半个多月没学懂新算法了，思维一直停滞，现机械地学会了字符串匹配的最后一个重、难点算法：后缀数组。也算是以完成张教主下达的字符串的任务。)   后缀数组 后缀数组的原理MS有点难，本人还没能深入地去理解领悟，只能机械地套用模板。   下面，我清楚地将模板中的所有关键：r[],sa[],rank[],height[]。详细说明： (写完后发现还有点小细节仍需推敲：???) r[] 表示输入的字符串的数字表示。  r[0->maxn-1] 。r[]的大小为(1->m) 其中?? r[maxn]=0 Sa[] 表示后缀排在第几位。        Sa[1->8] 。    sa[]的大小为(0->maxn-1 ?? 1->maxn) Rank[] 表示串中的字符排在第几名。Rank[1->maxn]  rank[]的大小为(1->maxn) Height[] 表示相邻后缀的最长前缀。 Height[2->maxn] height[]的大小为(0->oxffffff)   简单的说，后缀数组( sa[] )是“排第几的是谁？”，名次数组( rank[] )是“你排第几？”。 直观理解需从下图中体会：   　　　　         后缀数组模板   /*设r[n] = 最小的值，是为了使其排在前，然后sa[]就可从1开始*/ //??? 此处还未深入理解   //【Da算法O(nlogn)】 const int maxn = 20002; int Wx[maxn], Wy[maxn], Wv[maxn], Ws[maxn]; int cmp(int *r, int a, int b, int L) {return r[a]==r[b] && r[a+L] == r[b+L];} void da(int *r, int *sa, int n, int M) {      int i, j, p, *x = Wx, *y = Wy, *t;      for (i = 0; i < M; i++) Ws[i] = 0;      for (i = 0; i < n; i++) Ws[x[i]=r[i]]++;      for (i = 1; i < M; i++) Ws[i] += Ws[i-1];      for (i = n-1; i>=0; i--) sa[--Ws[x[i]]] = i;                for (j = p = 1; p < n; j*=2, M = p)      {          for (p = 0, i = n-j; i < n; i++)              y[p++] = i;         /*y*/             for (i = 0; i < n; i++)              if (sa[i] >= j) y[p++] = sa[i]-j;  /*y*/          for (i = 0; i < n; i++)              Wv[i] = x[y[i]];       /* Wv[] */          for (i = 0; i < M; i++) Ws[i] = 0; /*Ws*/          for (i = 0; i < n; i++) Ws[Wv[i]]++;          for (i = 1; i < M; i++) Ws[i] += Ws[i-1];          for (i = n-1; i>=0; i--) sa[--Ws[Wv[i]]] = y[i];          t = x, x = y, y = t;  /*swap*/          for (i = p = 1, x[sa[0]]=0; i < n; i++)          x[sa[i]] = cmp(y, sa[i-1], sa[i], j) ? p-1 : p++ ;      } } int rank[maxn], height[maxn]; void calheight(int *r, int *sa, int n) {      int i, j, k = 0;      for (i = 1; i <= n; i++) rank[sa[i]] = i;           for (i = 0; i < n; height[rank[i++]] = k)      for (k?k--:0, j = sa[rank[i]-1]; r[i+k] == r[j+k]; k++); } int r[maxn],sa[maxn]; int main() {}   //【dc3算法O(n)】 （rank[3*maxn] && height[3*maxn]） #define F(x) ((x)/3+  ( (x)%3==1?0:tb)  ) #define G(x) ((x)<tb ? (x)*3+1 : ((x)-tb)*3+2) int wa[maxn],wb[maxn],wv[maxn],ws[maxn]; int c0(int *r,int a,int b) {return r[a]==r[b]&&r[a+1]==r[b+1]&&r[a+2]==r[b+2];} int c12(int k,int *r,int a,int b) {if(k==2) return r[a]<r[b]||r[a]==r[b]&&c12(1,r,a+1,b+1);  else return r[a]<r[b]||r[a]==r[b]&&wv[a+1]<wv[b+1];} void sort(int *r,int *a,int *b,int n,int m) {      int i;      for(i=0;i<n;i++) wv[i]=r[a[i]];      for(i=0;i<m;i++) ws[i]=0;      for(i=0;i<n;i++) ws[wv[i]]++;      for(i=1;i<m;i++) ws[i]+=ws[i-1];      for(i=n-1;i>=0;i--) b[--ws[wv[i]]]=a[i];      return; } void dc3(int *r,int *sa,int n,int m) {      int i,j,*rn=r+n,*san=sa+n,ta=0,tb=(n+1)/3,tbc=0,p;      r[n]=r[n+1]=0;      for(i=0;i<n;i++) if(i%3!=0) wa[tbc++]=i;      sort(r+2,wa,wb,tbc,m);      sort(r+1,wb,wa,tbc,m);      sort(r,wa,wb,tbc,m);      for(p=1,rn[F(wb[0])]=0,i=1;i<tbc;i++)      rn[F(wb[i])]=c0(r,wb[i-1],wb[i])?p-1:p++;      if(p<tbc) dc3(rn,san,tbc,p);      else for(i=0;i<tbc;i++) san[rn[i]]=i;      for(i=0;i<tbc;i++) if(san[i]<tb) wb[ta++]=san[i]*3;      if(n%3==1) wb[ta++]=n-1;      sort(r,wb,wa,ta,m);      for(i=0;i<tbc;i++) wv[wb[i]=G(san[i])]=i;      for(i=0,j=0,p=0;i<ta && j<tbc;p++)      sa[p]=c12(wb[j]%3,r,wa[i],wb[j])?wa[i++]:wb[j++];      for(;i<ta;p++) sa[p]=wa[i++];      for(;j<tbc;p++) sa[p]=wb[j++];      return; } int rank[maxn*3], height[maxn*3]; void calheight(int *r, int *sa, int n) {      int i, j, k = 0;      for (i = 1; i <= n; i++) rank[sa[i]] = i;           for (i = 0; i < n; height[rank[i++]] = k)      for (k?k--:0, j = sa[rank[i]-1]; r[i+k] == r[j+k]; k++); } int r[maxn*3],sa[maxn*3]; int main() {}   /* {Height数组的计算跟Da算法一样； main函数调用，cin>>r[]; r[n] = 0; Da(r, sa, n+1, m);   dc3(r, sa, n+1, m);  calheight(r, sa, n)        }//*/