最小表示法详解

循环同构

定义：如果存在整数$k$ ，使得串 $S$ 在循环右移 $k$位置之后变得等于串 $T$ ，则称串 $S$ 和$T$循环同构

最小表示法

定义：字符串$S$的最小表示法为与串$S$所有循环同构的字符串中字典序最小的字符串

求解算法

有字符串$S$，其长度为$n$，$S[i]$表示字符串第$i$个字符，$S[i\dots j]$表示字符串$S$从下标$i$到下标$j$的子串
算法思路：

• 用$i$，$j$表示串$S$两个循环同构的串的开头，$k$代表对比到的字符
• 如果$S[i+k]=S[j+k]$，就++k继续比下一个字符
• 如果$S[i+k]>S[j+k]$,说明$S[j\dots j+k]$的字典序是比$S[i\dots i+k]$小的，就改变$++i$
• 反之则$++j$
• 算法运行过程中，$i$和$j$不能相等，当$i$和$j$相等时就要错开
• 当$k\ge n或i\ge n或j\ge n$时，循环停止，$min(i,j)$就是字典序最小的循环同构串的开头对应的下标

$Code$

int minNotatin(vector<int>& s) {
	int k = 0, i = 0, j = 1, n = s.size();
	while (k < n && i < n && j < n) {
		if (s[(i + k) % n] == s[(j + k) % n])++k;//相同就递增k
		else (s[(i + k) % n] > s[(j + k) % n] ? ++i : ++j), k = 0;//不同就改变i或j的值
		if (i == j)++i;//当i=j时将二者错开
	}
	return min(i, j);
}

时间复杂度分析，一般情况，序列随机时间复杂度为$O(n)$，最坏情况，字符串S有大量相同元素，但不是全相同，使得$k$每次遍历，都能到最大值，$eg：aa\dots aab$，时间复杂度就成$O(n^2)$了

优化

优化思路

这里的优化类似字符串$KMP$算法。我假设此时$S[i+k]>S[j+k]$，在区间$[i,i+K]$内，就不会有最终的答案，我们就可以直接将$i$移到$i+k+1$的位置，$S[i+k]<S[j+k]$时同理，就是将$j$移动到$j+k+1$

证明

那为什么在$[i,i+K]$内，就不会有最终的答案呢？
我没可以画一个图来理解，如下图

如果我们选择$i+1$位置为下一个循环同构串的开头，那一定存在以$j+1$为开头的循环同构串是比前者更优的，因为$[i+1,i+k]$和$[j+1,j+k]$两个区间是完全相同的，且$S[i+k]>S[j+k]$，以此类推$i+2、i+3\dots i+k$都不是最终的答案，所以就可以直接跳到$i+k+1$的位置

$Code$

int minNotatin(string& s) {
	int k = 0, i = 0, j = 1, n = s.size();
	while (k < n && i < n && j < n) {
		if (s[(i + k) % n] == s[(j + k) % n])++k;
		else (s[(i + k) % n] > s[(j + k) % n] ? i = i + k + 1 : j = j + k + 1), k = 0; //不相等时将i或j跳到下一个位置
		if (i == j)++i;//当i=j时将二者错开
	}
	return min(i, j);
}

这样时间复杂度就是$O(n)$了

练习

这里有几道运用最小表示法的习题，来练习一下吧！
P1368 【模板】最小表示法
Cyclically Isomorphic-HDU