void getnxt(char *s,int *next) { int k=-1; int j=0; pext[j]=-1; while(j<len) { if(k==-1 || s[j]==s[k]) { k++; j++; pext[j]=k; } else { k=pext[k]; } } }