poj 字符串移位包含问题

字符串移位包含问题:

这道题是标准的KMP模板题
题意是给两个字符串 一个串通过位移是否能包含另一个串,
这里有个隐含条件,不一定只是A包含B,应该是A与B长的去包含短的,
比如有
ABCDE CDEABABAB
这两串应该是B串包含A串,
隐含条件找到了,那么怎么判断是否能通过移位包含呢?
一般想法是朴素字符串匹配的方法 从a[0]一直判断到a[size],也就是最后一位,如果搜索到结尾就从开头开始.
伪代码:
(字符串a和b,假设a比b长,这个只要加一个判断就行了)
work1 :bool    //返回真为匹配成功
    for( i to 0->a.size()-1 ) {
     if(String_matching(i,b)) //从a的第i位开始匹配b
     return true;
    }
    return false;
//end
StringString_matching(i,b) :bool //有匹配不成功位返回false
    for(i to 0->b.size()-1 ) {
     if(a[k++]!=b[i])  //按位查找
     return false;
 if(k==a.size())   //如果遇到结尾 返回到开头
     k=0;
    }
    return true;

//end

不过这个算法明显是低效的,朴素字符串算法的时间复杂度是O(n^2),在加上位移.....
既然是 定长&单串 字符串匹配,为什么不用KMP呢?
那么,构建next数组需要的条件是定长&顺序不变的字符串.看上面那个例子
ABCDE 匹配B串为:
345    12
CDEABABAB
因为被包含串A的长度一定小于B串,那么 可以把B串看做一个环,那么A串永远不可能绕环两圈,那么只要根据题意方向将B串展开.变成
CDEABABABCDEABABAB
那么只要将A和后来这个串C匹配即可.
基本思想就是:
1.判断A和B的大小,将长的串扩展,用C++的string类只要写c=a+a;
2.对扩展后的C求next数组,然后将短的串B和C匹配
注:因为题中没有给字符串最大长度,建议用string类储存字符串,用vector容器储存next数组
时间复杂度O(2*m+n)
#include <iostream>
#include <string>
using namespace std;

#define MAXSIZE 100

void GetNext(string s,int Next[])
{
 int i = 0,j = -1;
 Next[0] = -1;
 while(i < s.length())
 {
  if(j == -1 || s[i] == s[j])
  {
   ++i;
   ++j;
   Next[i] = j;
  }
  else
  {
   j = Next[j];
  }

 }
}

int Maching(string s1,string s2,int Next[])
{
 int i = 0,j = -1;
 int len1 = s1.length();
 int len2 = s2.length();
 while(i < len1 && j < len2)
 {
  if(j == -1 || s1[i] == s2[j])
  {
   ++i;
   ++j;
  }
  else
  {
   j = Next[j];
  }
 // cout<<"i="<<i<<",j="<<j<<endl;
 }
 //cout<<"..."<<j<<endl;
 if(j == s2.length())
 {
  return 1;
 }
 else
 {
  return 0;
 }

}
int main()
{
 int n;
 cin>>n;
 while(n--)
 {
  int Next[MAXSIZE];
  string s1,s2,tstr;
  cin>>s1>>s2;
  if(s2.length() > s1.length())
  {
   tstr = s1;
   s1 = s2;
   s2 = tstr;
  }
  s1 = s1 + s1;
 // cout<<s1<<endl;
  GetNext(s2,Next);
 // for(int i = 0; i < s2.length(); i++)cout<<Next[i];cout<<endl;
  int is = Maching(s1,s2,Next);
  if(is == 1)
  {
   cout<<"true"<<endl;
  }
  else
  {
   cout<<"false"<<endl;
  }
 
 }

 return 0;
}