引理
如果比较起始位置i ii和起始位置j jj发现s [ i , i + 1 … i + k − 1 ] = s [ j , j + 1 … j + k − 1 ] s[i,i+1\ldots i+k-1]=s[j,j+1\ldots j+k-1]s[i,i+1…i+k−1]=s[j,j+1…j+k−1]且s [ i + k ] < s [ j + k ] s[i+k]<s[j+k]s[i+k]<s[j+k]则起始位置j , j + 1 … j + k j,j+1\ldots j+kj,j+1…j+k都不合法。
证明:对于每个数字0 < = l < = k 0<=l<=k0<=l<=k都有起始位置i + l i+li+l比起始位置j + l j+lj+l优,因为s [ i + l , i + l + 1 … i + k − 1 ] = s [ j + l , j + l + 1 … j + k − 1 ] a n d s [ i + k ] < s [ j + k ] s[i+l,i+l+1\ldots i+k-1]=s[j+l,j+l+1\ldots j+k-1]\quad and\quad s[i+k]<s[j+k]s[i+l,i+l+1…i+k−1]=s[j+l,j+l+1…j+k−1]ands[i+k]<s[j+k]
/*最大表示法*/
int Get_max(char s[]) {
int i = 0, j = 1, k = 0, t;
int len = strlen(s);
while(i < len && j < len && k < len) {
t = s[(i + k) % len] - s[(j + k) % len];
if(!t) k++;
else {
if (t > 0) j += k + 1;//与最小模板比,只有这里和下方变了
else i += k + 1;//
if(i == j) j++;
k = 0;
}
}
return min(i, j);
}
/*最小表示法*/
int Get_min(char s[]) {
int i = 0, j = 1, k = 0, t;
int len = strlen(s);
while(i < len && j < len && k < len) {
t = s[(i + k) % len] - s[(j + k) % len];
if(!t) k++;//两字符相等
else {
if(t > 0) i += k + 1;//i位置数值大
else j += k + 1;
if(i == j) j++;//i,j指针指向同一位置时
k = 0;
}
}
return min(i, j);
}