初涉最小表示法&&bzoj1398: Vijos1382寻找主人 Necklace

把最小表示法的坑填了

Description

给定两个项链的表示，判断他们是否可能是一条项链。

Input

输入文件只有两行，每行一个由0至9组成的字符串，描述一个项链的表示（保证项链的长度是相等的）。

Output

如果两条项链不可能同构，那么输出’No’，否则的话，第一行输出一个’Yes’

第二行输出该项链的字典序最小的表示。 设L = 项链长度，L <= 1000000。

Sample Input

2234342423
2423223434

Sample Output

Yes
2234342423

---

题目分析

这里有最小表示法的论文https://wenku.baidu.com/view/c6c5e7335a8102d276a22fa6.html。

关键在于if (s[(i+k)%n]!=s[(j+k)%n])时的快速重配。

还有值得注意的是重配之后i有可能等于j，所以要i++，这个细节处理挺容易忘掉的。

是种挺优美的思想。

#include<bits/stdc++.h>
const int maxn = 1000035;

int n,sval,tval;
char s[maxn],t[maxn];

int calc(char *s)
{
    int i = 0, j = 1, k = 0;
    while (i<n && j<n && k<n)
    {
        if (s[(i+k)%n]==s[(j+k)%n]) k++;
        else{
            if (s[(i+k)%n] > s[(j+k)%n])
                i += k+1;
            else j += k+1;
            if (i==j) i++;
            k = 0;
        }
    }
    return std::min(i, j);
}
int main()
{
    scanf("%s%s",s,t);
    n = strlen(s);
    sval = calc(s), tval = calc(t);
    bool fl = 1;
    for (int i=0; i<n; i++)
        if (s[(i+sval)%n]!=t[(i+tval)%n]){
            fl = 0;
            break;
        }
    if (!fl) puts("No");
    else{
        puts("Yes");
        for (int i=sval; i<sval+n; i++)
            putchar(s[i%n]);
        putchar('
');
    }
    return 0;
}

END