POJ - 2774~POJ - 3415 后缀数组求解公共字串问题
POJ - 2774：
题意：
求解A,B串的最长公共字串
(摘自罗穗骞的国家集训队论文):
算法分析: 字符串的任何一个子串都是这个字符串的某个后缀的前缀。
求 A 和 B 的最长 公共子串等价于求 A 的后缀和 B 的后缀的最长公共前缀的最大值。
如果枚举 A 和 B 的所有的后缀，那么这样做显然效率低下。
由于要计算 A 的后缀和 B 的后缀 的最长公共前缀，
所以先将第二个字符串写在第一个字符串后面，中间用一个没 有出现过的字符隔开，
再求这个新的字符串的后缀数组。观察一下，看看能不能从这个新的字符串的后缀数组中找到一些规律。
以 A=“aaaba”，B=“abaa”为 例，如图 8 所示。
那么是不是所有的 height 值中的最大值就是答案呢？
不一定！有可能这两个后缀是在同一个字符串中的，所以实际上只有当 suffix(sa[i-1])和
suffix(sa[i])不是同一个字符串中的两个后缀时，height[i]才是满足条件的。
而这其中的最大值就是答案。记字符串 A 和字符串 B 的长度分别为|A|和|B|。
求 新的字符串的后缀数组和 height 数组的时间是 O(|A|+|B|)，
然后求排名相邻但 原来不在同一个字符串中的两个后缀的 height 值的最大值，
时间也是 O(|A|+|B|)，所以整个做法的时间复杂度为 O(|A|+|B|)。
时间复杂度已经取到下限，由此看出，这是一个非常优秀的算法。
1 #include <cstdio> 2 #include <cstring> 3 #include <queue> 4 #include <cmath> 5 #include <algorithm> 6 #include <set> 7 #include <iostream> 8 #include <map> 9 #include <stack> 10 #include <string> 11 #include <time.h> 12 #include <vector> 13 #define pi acos(-1.0) 14 #define eps 1e-9 15 #define fi first 16 #define se second 17 #define rtl rt<<1 18 #define rtr rt<<1|1 19 #define bug printf("******\n") 20 #define mem(a,b) memset(a,b,sizeof(a)) 21 #define name2str(x) #x 22 #define fuck(x) cout<<#x" = "<<x<<endl 23 #define f(a) a*a 24 #define sf(n) scanf("%d", &n) 25 #define sff(a,b) scanf("%d %d", &a, &b) 26 #define sfff(a,b,c) scanf("%d %d %d", &a, &b, &c) 27 #define sffff(a,b,c,d) scanf("%d %d %d %d", &a, &b, &c, &d) 28 #define pf printf 29 #define FRE(i,a,b) for(i = a; i <= b; i++) 30 #define FREE(i,a,b) for(i = a; i >= b; i--) 31 #define FRL(i,a,b) for(i = a; i < b; i++)+ 32 #define FRLL(i,a,b) for(i = a; i > b; i--) 33 #define FIN freopen("data.txt","r",stdin) 34 #define gcd(a,b) __gcd(a,b) 35 #define lowbit(x) x&-x 36 #define rep(i,a,b) for(int i=a;i<b;++i) 37 #define per(i,a,b) for(int i=a-1;i>=b;--i) 38 39 using namespace std; 40 typedef long long LL; 41 typedef unsigned long long ULL; 42 const int maxn = 1e6 + 7; 43 const int maxm = 8e6 + 10; 44 const int INF = 0x3f3f3f3f; 45 const int mod = 10007; 46 47 //rnk从0开始 48 //sa从1开始,因为最后一个字符(最小的)排在第0位 49 //height从1开始,因为表示的是sa[i - 1]和sa[i] 50 //倍增算法 O(nlogn) 51 int wa[maxn], wb[maxn], wv[maxn], ws_[maxn]; 52 int Rank[maxn], height[maxn], sa[maxn], r[maxn]; 53 int n, maxx; 54 char s[maxn]; 55 //Suffix函数的参数m代表字符串中字符的取值范围,是基数排序的一个参数,如果原序列都是字母可以直接取128,如果原序列本身都是整数的话,则m可以取比最大的整数大1的值 56 //待排序的字符串放在r数组中,从r[0]到r[n-1]，长度为n 57 //为了方便比较大小,可以在字符串后面添加一个字符,这个字符没有在前面的字符中出现过,而且比前面的字符都要小 58 //同上,为了函数操作的方便,约定除r[n-1]外所有的r[i]都大于0,r[n-1]=0 59 //函数结束后,结果放在sa数组中,从sa[0]到sa[n-1] 60 void Suffix ( int *r, int *sa, int n, int m ) { 61 int i, j, k, *x = wa, *y = wb, *t; 62 //对长度为1的字符串排序 63 //一般来说,在字符串的题目中,r的最大值不会很大,所以这里使用了基数排序 64 //如果r的最大值很大,那么把这段代码改成快速排序 65 for ( i = 0; i < m; ++i ) ws_[i] = 0; 66 for ( i = 0; i < n; ++i ) ws_[x[i] = r[i]]++; //统计字符的个数 67 for ( i = 1; i < m; ++i ) ws_[i] += ws_[i - 1]; //统计不大于字符i的字符个数 68 for ( i = n - 1; i >= 0; --i ) sa[--ws_[x[i]]] = i; //计算字符排名 69 //基数排序 70 //x数组保存的值相当于是rank值 71 for ( j = 1, k = 1; k < n; j *= 2, m = k ) { 72 //j是当前字符串的长度,数组y保存的是对第二关键字排序的结果 73 //第二关键字排序 74 for ( k = 0, i = n - j; i < n; ++i ) y[k++] = i; //第二关键字为0的排在前面 75 for ( i = 0; i < n; ++i ) if ( sa[i] >= j ) y[k++] = sa[i] - j; //长度为j的子串sa[i]应该是长度为2 * j的子串sa[i] - j的后缀（第二关键字）,对所有的长度为2 * j的子串根据第二关键字来排序 76 for ( i = 0; i < n; ++i ) wv[i] = x[y[i]]; //提取第一关键字 77 //按第一关键字排序 (原理同对长度为1的字符串排序) 78 for ( i = 0; i < m; ++i ) ws_[i] = 0; 79 for ( i = 0; i < n; ++i ) ws_[wv[i]]++; 80 for ( i = 1; i < m; ++i ) ws_[i] += ws_[i - 1]; 81 for ( i = n - 1; i >= 0; --i ) sa[--ws_[wv[i]]] = y[i]; //按第一关键字,计算出了长度为2 * j的子串排名情况 82 //此时数组x是长度为j的子串的排名情况,数组y仍是根据第二关键字排序后的结果 83 //计算长度为2 * j的子串的排名情况,保存到数组x 84 t = x; 85 x = y; 86 y = t; 87 for ( x[sa[0]] = 0, i = k = 1; i < n; ++i ) 88 x[sa[i]] = ( y[sa[i - 1]] == y[sa[i]] && y[sa[i - 1] + j] == y[sa[i] + j] ) ? k - 1 : k++; 89 //若长度为2 * j的子串sa[i]与sa[i - 1]完全相同,则他们有相同的排名 90 } 91 } 92 void calheight ( int *r, int *sa, int n ) { 93 int i, j, k = 0; 94 for ( i = 1; i <= n; i++ ) Rank[sa[i]] = i; 95 for ( i = 0; i < n; height[Rank[i++]] = k ) 96 for ( k ? k-- : 0, j = sa[Rank[i] - 1]; r[i + k] == r[j + k]; k++ ); 97 } 98 int minnum[maxn][18]; 99 void RMQ() { 100 int m = ( int ) ( log ( n * 1.0 ) / log ( 2.0 ) ); 101 for ( int i = 1 ; i <= n ; i++ ) minnum[i][0] = height[i]; 102 for ( int j = 1 ; j <= m ; j++ ) 103 for ( int i = 1 ; i + ( 1 << j ) - 1 <= n ; i++ ) 104 minnum[i][j] = min ( minnum[i][j - 1], minnum[i + ( 1 << ( j - 1 ) )][j - 1] ); 105 } 106 int query ( int a, int b ) { 107 int k = int ( log ( b - a + 1.0 ) / log ( 2.0 ) ); 108 return min ( minnum[a][k], minnum[b - ( 1 << k ) + 1][k] ); 109 } 110 int calprefix ( int a, int b ) { 111 int x = Rank[a], y = Rank[b]; 112 if ( x > y ) swap ( x, y ); 113 return query ( x + 1, y ); 114 } 115 116 int main() { 117 while ( ~scanf ( "%s", s ) ) { 118 int k = strlen ( s ); 119 maxx = 0; 120 for ( int i = 0; i < k; i++ ) { 121 r[i] = ( int ) s[i], maxx = max ( maxx, r[i] ); 122 } 123 s[k] = 'z' + 1; 124 scanf ( "%s", s + k + 1 ); 125 // fuck(s); 126 n = strlen ( s ); 127 for ( int i = k ; i < n ; i++ ) r[i] = ( int ) s[i], maxx = max ( maxx, r[i] ); 128 r[n] = 0; 129 Suffix ( r, sa, n + 1, maxx + 1 ); 130 calheight ( r, sa, n ); 131 int ans = 0; 132 for ( int i = 1 ; i <= n ; i++ ) { 133 if ( height[i] > ans && 1LL * ( k - sa[i] ) * ( k - sa[i - 1] ) < 0 ) ans = height[i]; 134 } 135 printf ( "%d\n", ans ); 136 } 137 return 0; 138 }
POJ - 3415
题意：
给定两个字符串，求这两个字符串中长度大于等于k的公共子串的数量
解释一下样例
1
xx
xx
ans=5
第一个串的第一个x与第二个串的第一个x与第二个x,对于第一个串的第二个x也是如此
还有就是这两个串的本身
所以方案数是5.
题解：
(摘自罗穗骞的国家集训队论文):
基本思路是计算 A 的所有后缀和 B 的所有后缀之间的最长公共前缀的长度，
把最长公共前缀长度不小于 k 的部分全部加起来。先将两个字符串连起来，
中间 用一个没有出现过的字符隔开。按 height 值分组后，
接下来的工作便是快速的 统计每组中后缀之间的最长公共前缀之和。
扫描一遍，每遇到一个 B 的后缀就统 计与前面的 A 的后缀能产生多少个长度不小于 k 的公共子串，
这里 A 的后缀需要 用一个单调的栈来高效的维护。然后对 A 也这样做一次。
将A和B拼接后，累计分属两者的后缀对应的LCP-K+1即为答案，但穷举不是个好主意。
学了后缀数组后会有一个显然的O(n^2)的算法，但是显然是不行的。
然后转化思路通过算贡献的方式求解（用单调栈实现）。
通过前面的题目我们可以了解到，根据sa的顺序下来，每一个后缀与前面的后缀的LCP是区间LCP的最小值
然后我们可以维护一个从栈底到栈顶逐渐减少的栈，维护一个LCP最小值，
对于弹出来的元素我们将它合并在新的栈顶元素中，因为弹出的元素的LCP肯定大于此时的最小值，因此可以直接合并
对于新合并的栈顶元素对于答案的贡献需要栈内前一个元素对于答案的贡献，因为当前位置与前面B的后缀能产生的贡献是不变的
然后先对A串统计下前面的B串的贡献，如果sa[i - 1]为B后缀时数目额外的+1
然后对于B串统计一下前面的A串的贡献，同理可得。
1 #include <cstdio> 2 #include <cstring> 3 #include <queue> 4 #include <cmath> 5 #include <algorithm> 6 #include <set> 7 #include <iostream> 8 #include <map> 9 #include <stack> 10 #include <string> 11 #include <time.h> 12 #include <vector> 13 #define pi acos(-1.0) 14 #define eps 1e-9 15 #define fi first 16 #define se second 17 #define rtl rt<<1 18 #define rtr rt<<1|1 19 #define bug printf("******\n") 20 #define mem(a,b) memset(a,b,sizeof(a)) 21 #define name2str(x) #x 22 #define fuck(x) cout<<#x" = "<<x<<endl 23 #define f(a) a*a 24 #define sf(n) scanf("%d", &n) 25 #define sff(a,b) scanf("%d %d", &a, &b) 26 #define sfff(a,b,c) scanf("%d %d %d", &a, &b, &c) 27 #define sffff(a,b,c,d) scanf("%d %d %d %d", &a, &b, &c, &d) 28 #define pf printf 29 #define FRE(i,a,b) for(i = a; i <= b; i++) 30 #define FREE(i,a,b) for(i = a; i >= b; i--) 31 #define FRL(i,a,b) for(i = a; i < b; i++)+ 32 #define FRLL(i,a,b) for(i = a; i > b; i--) 33 #define FIN freopen("data.txt","r",stdin) 34 #define gcd(a,b) __gcd(a,b) 35 #define lowbit(x) x&-x 36 #define rep(i,a,b) for(int i=a;i<b;++i) 37 #define per(i,a,b) for(int i=a-1;i>=b;--i) 38 39 using namespace std; 40 typedef long long LL; 41 typedef unsigned long long ULL; 42 const int maxn = 1e6 + 7; 43 const int maxm = 8e6 + 10; 44 const int INF = 0x3f3f3f3f; 45 const int mod = 10007; 46 47 //rnk从0开始 48 //sa从1开始,因为最后一个字符(最小的)排在第0位 49 //height从1开始,因为表示的是sa[i - 1]和sa[i] 50 //倍增算法 O(nlogn) 51 int wa[maxn], wb[maxn], wv[maxn], ws_[maxn]; 52 int Rank[maxn], height[maxn], sa[maxn], r[maxn]; 53 int n, maxx; 54 char s[maxn]; 55 //Suffix函数的参数m代表字符串中字符的取值范围,是基数排序的一个参数,如果原序列都是字母可以直接取128,如果原序列本身都是整数的话,则m可以取比最大的整数大1的值 56 //待排序的字符串放在r数组中,从r[0]到r[n-1]，长度为n 57 //为了方便比较大小,可以在字符串后面添加一个字符,这个字符没有在前面的字符中出现过,而且比前面的字符都要小 58 //同上,为了函数操作的方便,约定除r[n-1]外所有的r[i]都大于0,r[n-1]=0 59 //函数结束后,结果放在sa数组中,从sa[0]到sa[n-1] 60 void Suffix ( int *r, int *sa, int n, int m ) { 61 int i, j, k, *x = wa, *y = wb, *t; 62 //对长度为1的字符串排序 63 //一般来说,在字符串的题目中,r的最大值不会很大,所以这里使用了基数排序 64 //如果r的最大值很大,那么把这段代码改成快速排序 65 for ( i = 0; i < m; ++i ) ws_[i] = 0; 66 for ( i = 0; i < n; ++i ) ws_[x[i] = r[i]]++; //统计字符的个数 67 for ( i = 1; i < m; ++i ) ws_[i] += ws_[i - 1]; //统计不大于字符i的字符个数 68 for ( i = n - 1; i >= 0; --i ) sa[--ws_[x[i]]] = i; //计算字符排名 69 //基数排序 70 //x数组保存的值相当于是rank值 71 for ( j = 1, k = 1; k < n; j *= 2, m = k ) { 72 //j是当前字符串的长度,数组y保存的是对第二关键字排序的结果 73 //第二关键字排序 74 for ( k = 0, i = n - j; i < n; ++i ) y[k++] = i; //第二关键字为0的排在前面 75 for ( i = 0; i < n; ++i ) if ( sa[i] >= j ) y[k++] = sa[i] - j; //长度为j的子串sa[i]应该是长度为2 * j的子串sa[i] - j的后缀（第二关键字）,对所有的长度为2 * j的子串根据第二关键字来排序 76 for ( i = 0; i < n; ++i ) wv[i] = x[y[i]]; //提取第一关键字 77 //按第一关键字排序 (原理同对长度为1的字符串排序) 78 for ( i = 0; i < m; ++i ) ws_[i] = 0; 79 for ( i = 0; i < n; ++i ) ws_[wv[i]]++; 80 for ( i = 1; i < m; ++i ) ws_[i] += ws_[i - 1]; 81 for ( i = n - 1; i >= 0; --i ) sa[--ws_[wv[i]]] = y[i]; //按第一关键字,计算出了长度为2 * j的子串排名情况 82 //此时数组x是长度为j的子串的排名情况,数组y仍是根据第二关键字排序后的结果 83 //计算长度为2 * j的子串的排名情况,保存到数组x 84 t = x; 85 x = y; 86 y = t; 87 for ( x[sa[0]] = 0, i = k = 1; i < n; ++i ) 88 x[sa[i]] = ( y[sa[i - 1]] == y[sa[i]] && y[sa[i - 1] + j] == y[sa[i] + j] ) ? k - 1 : k++; 89 //若长度为2 * j的子串sa[i]与sa[i - 1]完全相同,则他们有相同的排名 90 } 91 } 92 void calheight ( int *r, int *sa, int n ) { 93 int i, j, k = 0; 94 for ( i = 1; i <= n; i++ ) Rank[sa[i]] = i; 95 for ( i = 0; i < n; height[Rank[i++]] = k ) 96 for ( k ? k-- : 0, j = sa[Rank[i] - 1]; r[i + k] == r[j + k]; k++ ); 97 } 98 int minnum[maxn][18]; 99 void RMQ() { 100 int m = ( int ) ( log ( n * 1.0 ) / log ( 2.0 ) ); 101 for ( int i = 1 ; i <= n ; i++ ) minnum[i][0] = height[i]; 102 for ( int j = 1 ; j <= m ; j++ ) 103 for ( int i = 1 ; i + ( 1 << j ) - 1 <= n ; i++ ) 104 minnum[i][j] = min ( minnum[i][j - 1], minnum[i + ( 1 << ( j - 1 ) )][j - 1] ); 105 } 106 int query ( int a, int b ) { 107 int k = int ( log ( b - a + 1.0 ) / log ( 2.0 ) ); 108 return min ( minnum[a][k], minnum[b - ( 1 << k ) + 1][k] ); 109 } 110 int calprefix ( int a, int b ) { 111 int x = Rank[a], y = Rank[b]; 112 if ( x > y ) swap ( x, y ); 113 return query ( x + 1, y ); 114 } 115 int key; 116 struct node { 117 int num, height; 118 LL sum; 119 } st[maxn]; 120 121 int main() { 122 while ( ~scanf ( "%d", &key ) ) { 123 if ( key == 0 ) break; 124 scanf ( "%s", s ); 125 int k = strlen ( s ); 126 maxx = 0; 127 for ( int i = 0; i < k; i++ ) { 128 r[i] = ( int ) s[i], maxx = max ( maxx, r[i] ); 129 } 130 s[k] = '$'; 131 scanf ( "%s", s + k + 1 ); 132 n = strlen ( s ); 133 for ( int i = k ; i < n ; i++ ) r[i] = ( int ) s[i], maxx = max ( maxx, r[i] ); 134 r[n] = 0; 135 Suffix ( r, sa, n + 1, maxx + 1 ); 136 calheight ( r, sa, n ); 137 LL ans = 0; 138 int top = 0; 139 for ( int i = 1 ; i <= n ; i++ ) { 140 if ( height[i] < key ) top = 0; 141 else { 142 int cnt = 0; 143 while ( top && st[top].height >= height[i] ) cnt += st[top--].num; 144 top++; 145 st[top].height = height[i]; 146 st[top].num = cnt + ( sa[i - 1] > k ); 147 st[top].sum = top > 1 ? st[top - 1].sum : 0; 148 st[top].sum += 1LL * ( height[i] - key + 1 ) * st[top].num; 149 if ( sa[i] < k ) ans += 1LL * st[top].sum; 150 } 151 } 152 top = 0; 153 for ( int i = 1 ; i <= n ; i++ ) { 154 if ( height[i] < key ) top = 0; 155 else { 156 int cnt = 0; 157 while ( top && st[top].height >= height[i] ) cnt += st[top--].num; 158 top++; 159 st[top].height = height[i]; 160 st[top].num = cnt + ( sa[i - 1] < k ); 161 st[top].sum = top > 1 ? st[top - 1].sum : 0; 162 st[top].sum += 1LL * ( height[i] - key + 1 ) * st[top].num; 163 if ( sa[i] > k ) ans += 1LL * st[top].sum; 164 } 165 } 166 printf ( "%lld\n", ans ); 167 } 168 return 0; 169 }
