【题目链接】
【思路要点】
- 一个重要的性质是:当我们发现当前串中不存在长度为 i i i的repeating block时,长度为 i i i的repeating block不会再出现。
- 证明较为简单:上述命题等价于当前串中不存在长度为 2 i 2i 2i的repeating block时,我们删去一个长度为 2 j ( j > i ) 2j(j>i) 2j(j>i)的repeating block的一半不会导致新的长度为 i i i的repeating block产生。
- 假设当前字符串为 A X X B AXXB AXXB,其中 X X XX XX为一个长度为 2 j ( j > i ) 2j(j>i) 2j(j>i)的repeating block,那么在删去这个repeating block的一半后,字符串将变为 A X B AXB AXB,我们发现其中任何一个长度为 2 i 2i 2i的子串或是覆盖了字符串中的 X X X,或是在原串中出现过。若在原串中出现过,便与我们的假设相冲突了,考虑覆盖了字符串中的 X X X的情况。那么假设当前字符串为 P A X B S PAXBS PAXBS,其中 A X B AXB AXB为一个长度为 2 i 2i 2i的repeating block,显然它需要满足前一半和后一半相等,因此 X = B A X=BA X=BA。那么原串就可以写成 P A X X B S = P A B A B A B S PAXXBS=PABABABS PAXXBS=PABABABS,我们发现原串中同样存在至少一个长度为 2 i 2i 2i的repeating block,与我们的假设相冲突。因此命题得证。
- 由此,我们有了这样一个思路:每次找到当前字符串所有的长度最小的repeating block,将它们删去,然后重构整个字符串。由于之后找到的repeating block一定都将是更长的repeating block,这个过程至多会被执行 O