樓主這里有問題吧，
while(j<strlen(s2))
{
//臨界條件 j=strlen(s2) -1;
if(i==-1||s2[i]==s2[j]){
i++; j++;
// j++后 j=strlen(s2);
//next[j] 數組越界了？
next[j]=i;
}
else i=next[i];
}