poj3167(kmp)

题目链接: http://poj.org/problem?id=3167

题意: 给出两串数字 s1, s2, 求主串 s1 中的 s2 匹配数并输出每个匹配的开头位置. 区间 [l, r] 是 s2 的一个匹配当且仅当 s1[i] 是 [l, r] 中的第 s2[i - l] 大元素, 其中 l <= i <= r.

思路: 首先有个结论, 两个串的排名串相等当且仅当这两个串的每个位置上的元素前面等于它的元素个数和小于它的元素个数都相等. 那么可以先花 s * n + s * m 的时间预处理一下 vis1[i][j] 为 s1 前 i 个数字中有多少个小于等于 j, vis2[i][j] 为 s2 前 i 个数字中有多少个小于等于j. 然后可以用 kmp 匹配即可. 注意一下和一般 kmp 不同的是, 在一般 kmp 中的 s2[i] == s2[j] 和 s1[i] == s2[j] 条件要换成区间 (i - j, i] 中小于等于 s2[i] 的数和区间 [1, j] 中小于等于 s2[j] 的数都相等以及区间 (i - j, i] 中小于等于 s1[i] 的数和区间 [1, j] 中小于等于 s2[j] 的数都相等. 这是由前面那个结论决定的.

代码:

 #include <iostream>
 #include <stdio.h>
 #include <string.h>
 using namespace std;

 const int MAXN = 1e5 + ;
 int n, m, s;
 int s1[MAXN], s2[MAXN], nxt[MAXN];
 int vis1[MAXN][], vis2[MAXN][], sol[MAXN], tot;
 //vis1[i][j]为s1前i个数字中有多少个小于等于j
 //vis2[i][j]为s2前i个数字中有多少个小于等于j

 void init(void){
     memset(nxt, , sizeof(nxt));
     memset(vis1, , sizeof(vis1));
     memset(vis2, , sizeof(vis2));
     tot = ;
 }

 void gel(void){
     for(int i = ; i <= n; i++){
         for(int j = ; j <= s; j++){
             vis1[i][j] = vis1[i - ][j];
         }
         vis1[i][s1[i]]++;
     }
     for(int i = ; i <= m; i++){
         for(int j = ; j <= s; j++){
             vis2[i][j] = vis2[i - ][j];
         }
         vis2[i][s2[i]]++;
     }
 }

 void get_nxt(void){
     int i = , j = ;
     while(i <= m){
         int cnt1 = , cnt2 = , cc1 = , cc2 = ;
         for(int k = ; k < s2[i]; k++){
             cnt1 += vis2[i][k] - vis2[i - j][k]; //累计s2区间(i-j,i]中小于s2[i]的数
         }
         cc1 = vis2[i][s2[i]] - vis2[i - j][s2[i]]; //s2区间(i-j,i]中等于s2[i]的数
         for(int k = ; k < s2[j]; k++){
             cnt2 += vis2[j][k]; //累计s2区间[1,j]中小于s2[j]的数
         }
         cc2 = vis2[j][s2[j]]; //s2区间[1,j]中等于s2[j]的数
         if(j ==  || (cnt1 == cnt2 && cc1 == cc2)) nxt[++i] = ++j;
         else j = nxt[j];
     }
 }

 void kmp(void){
     int i = , j = ;
     while(i <= n){
         int cnt1 = , cnt2 = , cc1 = , cc2 = ;
         for(int k = ; k < s1[i]; k++){ //累计s1区间(i-j,i]中小于s1[i]的数
             cnt1 += vis1[i][k] - vis1[i - j][k];
         }
         cc1 = vis1[i][s1[i]] - vis1[i - j][s1[i]]; //s1区间(i-j,i]中等于s1[i]的数
         for(int k = ; k < s2[j]; k++){
             cnt2 += vis2[j][k];//累计s2区间[1,j]中小于s2[j]的数
         }
         cc2 = vis2[j][s2[j]];//s2区间[1,j]中等于s2[j]的数
         if(j ==  || (cnt1 == cnt2 && cc1 == cc2)){
             i++;
             j++;
         }else j = nxt[j];
         if(j == m + ){
             sol[tot++] = i - j + ;
             j = nxt[j];
         }
     }
 }

 int  main(void){
     while(~scanf("%d%d%d", &n, &m, &s)){
         for(int i = ; i <= n; i++){
             scanf("%d", &s1[i]);
         }
         for(int i = ; i <= m; i++){
             scanf("%d", &s2[i]);
         }
         init();
         gel();
         get_nxt();
         kmp();
         printf("%d\n", tot);
         for(int i = ; i < tot; i++){
             printf("%d\n", sol[i]);
         }
     }
     return ;
 }