BZOJ2882: 工艺 最小表示法

题意：给一个字符串，求所有循环同构串中字典序最小的。
最小表示法模板题，再不写博客就快忘了*3
记字符串下标为0~n-1，设两个指针i=0，j=1，每次暴力比较找到二者的最大相等前缀长度，记为k，若s[i+k] < s[j+k]，那么从j到j+k都不会是最小表示，令j+=k+1。同理，若s[i+k] > s[j+k]，则令i+=k+1。观察可知二者间的距离一定是因为某个指针舍弃了一段区间而向右滑拉开距离，那么另一个指针也可以直接舍弃这段区间，即：i滑动时，滑动至max(i+k+1,j+1)，j滑动时，滑动到max(j+k+1,i+1)。如果有一个指针大于等于n，另一个就是答案，如果匹配长度达到n，当前的两个都是答案。时间复杂度是o(n)的。
下面口胡一下个人对这个算法的理解，说错了欢迎打脸。
i与j的大小关系是变化的，不妨管小的那个叫i，那么j表示从头到j减1的所有同构串中，只有i有可能是最小表示。滑动的正确性显然，然后如果j超过了n，那么说明只有i可能是最小表示。如果匹配长度到了n，说明i到j的部分是i开头的循环同构串的循环节，那么每一个j之后的串都与i到j之间的一个串相同，而i到j的开区间内不可能有最小表示，所以此时最小表示就是i。
另外可以看出，若有多个最小表示，这个算法可以求出下标最小的。

#include<cstdio>
#include<algorithm>
#define gm 600001
using namespace std;
int n;
int s[gm];
int get()
{
    int i=0,j=1,k;
    while(i<n&&j<n)
    {
        for(k=0;k<n&&s[i+k]==s[j+k];++k);
        if(k==n) break;
        if(s[i+k]>s[j+k]) i=max(i+k+1,j+1);
        else j=max(j+k+1,i+1);
    }
    return min(i,j);
}
int main()
{
    scanf("%d",&n);
    for(int i=0;i<n;++i)
    {
        scanf("%d",s+i);
        s[n+i]=s[i];
    }
    int pos=get();
    int cnt=n;
    while(cnt--)
    {
        printf("%d%c",s[pos],cnt?' ':'\n');
        pos=(pos+1)%n;
    }
    return 0;
}