最小表示法

定义

给定一个字符串$S$，若不断把它最后一个字符放到开头，则会得到$n$个字符串
我们称这$n$个字符串是循环同构的，其中字典序最小的一个就是$S$的最小表示法

例如$S=$"$abca$"，那么$S$的最小表示法就是"$aabc$"

求解

比较字符串的字典序大小的最暴力做法是什么?——逐位扫描比较
通常一个神奇的算法就是这么从一个暴力优化得来的

首先为了解决环在处理上的不便，我们把$S$倍长，记为$T$
记$A[i]$为以$i$开头的循环同构串，即$A[i]=T[i$ ~ $i+n-1]$
为了比较$A[i],A[j]$的大小，我们分别从$i,j$向后扫描，直到发现一个不相等的位置

假设不相等的位置为$T[i+k]>T[j+k]$
那么首先可以确定$A[i]$不是最小表示，因为有$A[j]<A[i]$
再仔细观察可以发现 $A[i+p],p\in [1,k]$一定也不是最小表示
因为$\forall p\in [1,k]$，只要逐位比较$A[i+p]$与$A[j+p]$，那么一定会在$T[i+k]>T[j+k]$z这里得到相同的结果
可以直接跳过这些循环同构串的比较

由此我们可以通过这个发现描述出我们的算法

1. 初始化指针 $i=1,j=2$，逐位扫描比较$A[i],A[j]$

2. (1) 若发现$A[i],A[j]$完全相等，则证明$S$只由一个字符构成，任意$A[i]$都是$S$的最小表示
   (2)若发现$T[i+k]̸=T[j+k]$
   若$T[i+k]>T[j+k]$，则$i=i+k+1$，相对的若$T[i+k]<T[j+k]$，则$j=j+k+1$
   移动$i$或$j$后若发现$i==j$，则令$j++$

3. 若某时刻发现$i>n$，则$A[i]$为$S$的最小表示；同理若$j>n$则$B[j]$为最小表示

整个算法完成时 $i$和$j$总共最多移动$2n$的长度，所以复杂度为$O(n)$

scanf("%s",ss+1);
int len=strlen(ss+1);
for(int i=1;i<=len;++i) ss[len+i]=ss[i];
		
int i=1,j=2;
while(i<=len&&j<=len)
{
	int k=0;
	while(k<=len&&ss[i+k]==ss[j+k]) k++;
	if(k==len) break;//S只由一个字符构成
			
	if(ss[i+k]>ss[j+k]) i+=k+1;
	else j+=k+1;
	j+=(i==j);
}
ans=min(i,j);//A[min(i,j)]为最小表示

最小表示法裸题 POJ - 1509 Glass Beads

---

一道水题练习

Vijos1382寻找主人

限制 每个测试点1秒.

背景

有一天，袁☆同学绵了一条价值连城宝石项链，但是，一个严重的问题是，他竟然忘记了项链的主人是谁！在得知此事后，很多人向☆同学发来了很多邮件，都说项链是自己的，要求他归还（显然其中最多只有一个人说了真话）。 ☆同学要求每个人都写了一段关于自己项链的描述： 项链上的宝石用数字0至9来标示。一个对于项链的表示就是从项链的某个宝石开始，顺指针绕一圈，沿途记下经过的宝石，比如如下项链： 1-2-3-0 　　它的可能的四种表示是0123、1230、2301、3012。
袁☆同学现在心急如焚，于是他找到了你，希望你能够编一个程序，判断两个给定的描述是否代表同一个项链（注意，项链是不会翻转的）。

描述

给定两个项链的表示，判断他们是否可能是一条项链。
对于100%的数据$L<=1000000$。

题目分析

分别计算两个串的最小表示，比较是否相同即可

#include<iostream>
#include<cmath>
#include<algorithm>
#include<map>
#include<cstring>
#include<cstdio>
using namespace std;
typedef long long lt;

int read()
{
    int f=1,x=0;
    char ss=getchar();
    while(ss<'0'||ss>'9'){if(ss=='-')f=-1;ss=getchar();}
    while(ss>='0'&&ss<='9'){x=x*10+ss-'0';ss=getchar();}
    return f*x;
}

const int maxn=2000010;
int n;
char S[maxn],T[maxn];

int query(char* ss)
{
	int i=1,j=2;
	while(i<=n&&j<=n)
	{
		int k=0;
		while(k<=n&&ss[i+k]==ss[j+k]) k++;
		if(k==n) break;
		
		if(ss[i+k]>ss[j+k]) i+=k+1;
		else j+=k+1;
		j+=(i==j);
	}
	return min(i,j);
}

int main()
{
	scanf("%s%s",S+1,T+1);
	n=strlen(S+1);
	for(int i=1;i<=n;++i) 
	S[n+i]=S[i],T[n+i]=T[i];
	
	int s1=query(S),s2=query(T),judge=0;
	for(int i=1;i<=n;++i)
	if(S[s1+i-1]!=T[s2+i-1]){ judge=1; break;}
	
	if(judge) printf("No");
	else{
		printf("Yes\n");
		for(int i=1;i<=n;++i)
		printf("%c",S[s1+i-1]);
	}
	return 0;
}