leetCode 28 Implement strStr()

class Solution {
public:
    	void getNext(string p,int next[])  
	{  
		int pLen = p.size();  
		next[0] = -1;  
		int k = -1;  
		int j = 0;  
		while (j < pLen - 1)  
		{  
			//p[k]表示前缀，p[j]表示后缀  
			if (k == -1 || p[j] == p[k])   
			{  
				++k;  
				++j;  
				next[j] = k;  
			}  
			else   
			{  
				k = next[k]; //注释1 
			}  
		}  
	} 
	int strStr(string haystack,string needle) {
		

		int m = haystack.size();
		int n = needle.size();
		int* next = new int[n];
		getNext(needle,next);
		int i = 0;
		int j = 0;
		while (i != m && j != n)
		{
			if (j == -1 || haystack[i] == needle[j] )
			{
				++i;++j;
			}else
				j=next[j];
		}
		return j==n?i-j:-1;
	}
};

关于kmp算法下面三个都讲的很好，我就不多说了。

http://www.cnblogs.com/goagent/archive/2013/05/16/3068442.html

http://kb.cnblogs.com/page/176818/

http://blog.csdn.net/v_july_v/article/details/7041827

这儿重点说明下我在编程时遇到的一个问题。即注释1，为什么在失配的情况下要k = next[k];

首先，next 数组考虑的是除当前字符外的最长相同前缀后缀，next[j]表示在字符串p[0]~p[j-1]中有next[j]个相同的前缀后缀。说白了，就是在一个字符串中，最前面k个和最后面k个完全匹配（next[j] = k），其他地方（字符串中间）没有相同的。

接下来，要理解为什么在失配的情况下（p[k]  != p[j]时）让k = next[k];因为在p[0]~p[j-1]字符串中有next[j]个相同的前缀后缀，因为next数组从0开始，我们只需要把k的值重置为next[k](相同的前缀后缀）后面那个字符串所在的位置，即next[k]。

如果p[k]还是不等于p[j],那就继续把k往前移动，直到k = next[0] = -1再进入if语句为止。

我说的有点乱，要时还不理解，可以看下面的解释。引用自http://blog.csdn.net/v_july_v/article/details/7041827   3.2③