算法进阶指南：0x18：项链

有一天，达达捡了一条价值连城的宝石项链，但是，一个严重的问题是，他并不知道项链的主人是谁！

在得知此事后，很多人向达达发来了很多邮件，都说项链是自己的，要求他归还（显然其中最多只有一个人说了真话）。

达达要求每个人都写了一段关于自己项链的描述： 项链上的宝石用数字 0 至 9 来标示。

一个对于项链的表示就是从项链的某个宝石开始，顺指针绕一圈，沿途记下经过的宝石，比如项链： 0−1−2−3，它的可能的四种表示是 0123、1230、2301、3012。

达达现在心急如焚，于是他找到了你，希望你能够编写一个程序，判断两个给定的描述是否代表同一个项链（注意，项链是不会翻转的）。

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

输入格式

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

输出格式

如果两个对项链的描述不可能代表同一个项链，那么输出 No，否则的话，第一行输出一个 Yes，第二行输出该项链的字典序最小的表示。

数据范围

设项链的长度为 L，1≤L≤1000000

输入样例：

2234342423
2423223434

输出样例：

Yes
2234342423

 

思路：最小表示法

最小表示法：

1：s表示原串，将原串复制一遍在串尾，b[i]表示s[i~i+n-1]

2：初始化i=0，j=1，n=原串长

3：从前往后扫描，比较b[i]与b[j]两个循环同构串
{
    定义偏移量k=0，依次比较s[i+k]与s[j+k]，如果不相等，则k++(k<n)；
    
    如果k=n，说明两串相等，字典序最小串已经出现；
    
    否则：如果s[i+k]>s[j+k]，令i=i+k+1，如果i==j，i++；
    
    如果s[i+k]<s[j+k]，令j=j+k+1，如果i==j，j++；
    
   （如果在k处发现b[i]!=b[j]，则说明b[i]~b[i+k]都不等于b[j])
    
}

 

#include<iostream>
#include<cstring>
using namespace std;

const int N=2000010;

char a[N],b[N];

int n;

int get_min(char s[])
{
     for(int i=0;i<n;++i)
        s[n+i]=s[i];
     
       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+=k+1;//那么前面的数,肯定都不是最小表示.
            if (i==j)
                i++;
        }
        else
        {
            j+=k+1;//同理
            if (i==j)
                j++;
        }
    }
    return min(i,j);
}

int main()
{
    scanf("%s%s",a,b);
    
    n=strlen(a);
    
    int a1=get_min(a),b1=get_min(b);
    
    a[a1+n]='\0',b[b1+n]='\0';//'\0'表示在该处字符串截止
    
    if(!strcmp(a+a1,b+b1)){//strcmp(a,b)，a<b返回-1，a==b返回0，a>b返回1
       puts("Yes");
       puts(a+a1);
        
    }
    else cout<<"No";
    
}