如果回文串 sss 的最长回文后缀为 ttt，证明：sss 的最小循环节长度为 x<∣s∣x<|s|x<∣s∣ 当且仅当 x=∣s∣−∣t∣∧x∣sx=|s|-|t|\land x\mid sx=∣s∣−∣t∣∧x∣s
