字符串 border

字符串 $border$ 的性质：

记 $S_k$ 表示 $S_{1...k}$，为 $S$ 的一个 $border$
那么这些 $border$ 可以划分成不超过 ${\log }_2|S|$ 段，每一段是 $k$ 的等差数列

• 引理 1：若存在一个 $border$ $S_k$ 那么 $|S|-k$ 为字符串的一个周期
• 引理 2：若 $p,q$ 为字符串的周期且 $p+q\le |S|-gcd(p,q)$，那么 $gcd(p,q)$ 也为字符串的周期

引理 2 证不来，参考 https://zhuanlan.zhihu.com/p/89385360

现在考虑两个长度 $\ge \frac{|S|}{2}$ 的 $border$ $S_A,S_B$ ，其中 $S_B$ 为最长的 $border$
由 $S_B$ 为最长 $border$ ，我们知道 $|S|-B$ 为最小周期，那么 $|S|-B||S|-A$，令 $q=|S|-B$，由 $q$ 是最小周期知道 $|S|-kq\ge \frac{|S|}{2}$ 都是字符串的 $border$，这里不小于长度一半的限制是将引理 2 弱化成 $p+q\le |S|$

那么递归考虑 $<\frac{|S|}{2}$ 的 $border$ 即可证明

---

回文串 $border$ 的性质：
同上：回文串 $border$ 可以划分成不超过 ${\log }_2|S|$ 段，每一段是 $k$ 的等差数列

引理：若一个串 $S$ 的最长回文 $border$ $S_y\ge |S|/2$，那么 $S$ 为回文串

考虑一个回文串 $S$ 的最长后缀回文（也是前缀回文）$S_y$，以及次长后缀 / 前缀回文 $S_z$
有结论：$S=S_y+u=u+S_y,S_y=S_z+v=v+S_v$，要么 $|u|>z$，要么 $u=v$

显然有：$|u|\ge |v|$，若 $|u|=|v|$ 则 $u=v$
下面假设 $|u|>|v|,|u|\le |z|$，$S_z$ 为 $S_z+u$ 的长度不小于一半的回文 $border$，故 $S_z+u$ 为回文串，与 $y$ 是最长回文串矛盾，得证

由此，若要跳出当前等差数列，必有 $|u|>|z|$，此时长度至少减半