Leetcode刷题-459：重复的子字符串

1.题目描述

给定一个非空的字符串 s ，检查是否可以通过由它的一个子串重复多次构成。
示例1

输入: s = “abab”
输出: true
解释: 可由子串 “ab” 重复两次构成。

示例2：

输入: s = “aba”
输出: false

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/repeated-substring-pattern

2.题目分析

2.1 暴力枚举

假设有字符串fStr，它是由短字符串sStr重复组成的，而且fStr的长度为N，sStr的长度为n，那么就有以下等式成立。同理如果下面的规律满足则必然是由sStr重复而构成fStr。所以下面的条件是是否是重复子串构成的充要条件。

fStr[i] = fStr[i+n]
N % n == 0

以下图中的以子串"abc"重复构成的字符串为例，子串"abc"长度为3，字符串长度为9，所以有9%3==0，并且在不越界的情况下对于每个str[i]总有str[i]==str[i+3]。所以我们便可以根据这个规律进行枚举解题。

具体解题思路如下，我们首先从小到大假设出所有的可能组成字符串的子串的长度，然后通过上面的规律依次进行条件判断，如果是成立的，那么字符串就是由这个循环子串组成的，否则判断下一个长度的子串，直到长度不能满足构成重复的条件（也就是说子串长度最大为字符串的1/2）。

2.2 使用库函数

既然是判断字符串是否由重复子串组成，那么我们必然可以通过n次循环移位使得字符串又等于它本身，如上面的字符串进行循环移位的状态转移就会是
abcabcabc ---->bcabcabca—>cabcabcabcab—>abcabcabc
我们会发现这个次数n就是字符串的子串的长度。我们当然可以通过这种朴素的移位来进行判断是否满足题设条件，但是我们知道对于string与vector这两种数据结构来说，这样移动元素的开销极大，所以我们要尽可能的减少此类操作。

2.2.1 必要性

接着上面的分析，我们假设母串Str是由子串s重复N次而成， 则 Str+Str则有子串s重复2N次， 那么现在就有： Str=N*s， Str+Str=2N*s， 其中N>=2。 如果条件成立， Str+Str掐头去尾会破坏2个s， Str+Str中还包含2*（N-1）s, 又因为N>=2, 因此 Str在去掉首尾两个元素的(Str+Str)中必会出现一次以上。而且第一次出现必然是位于 Str+Str字符串的前半部分，最后一次出现必然是Str.size()位置开始的最后一个Str。这样我们就说明了必要性。

2.2.2 充分性

假设有一个一般串，我们对其进行上述的拼接，并掐去头部元素，然后我们发现我们寻找s串的时候下标位置在Str+Str的前半部分，有如下的结果，那么我们就可以得出

• s1==s3，s2==s1，所以s1==s3==s3
• Str(前半条)-s2==Str(中间查找到的新Str)-s1,也就是字符串s2+s4==s4+s3,那么我们就可以得出对于字符串Str，必然有字符串s4也必然是0个或者多个s1组成的字符串。这样充分性得以说明。
  

所以，对于字符串Str+Str而言，我们去掉首元素进行查找Str的话，其查找的下标返回值必然会在原本的Str+Str的前半部分。如果是在后半部分也就是下标Str.size()位置，就说明串不是重复的。如下图所示

如