此时P[i]的值可以参考它的对称点的值,如果对称点为中心的回文子串完全落在C为中心的回文子串范围内,则很显然P[i]=P[i_mirror],如果不是的话,就只能确保i为中心,R为右边界的子串为回文,至于再往两边是不是则需要程序判断了,,所以此时需要设P[i]=R-i,而判断i_mirror为中心的子串是否完全落在C为中心的回文子串范围内,就是比较R-i和P[i_mirror]的大小,实际上R-i等价于i_mirror-L
再回到开始吧,R什么时候大于i?就是找到了某个半径大于1的子串之后而i还没有突破R的边界
R什么时候会小于i?当走到右边界之后还没有找到更新的回文子串,也就是某次循环的末尾i=R,P[i]=0
当下次循环开始的时候,i=R+1,所以此时P[i]=0。
可以看出,初始化时就是i=R+1的情况,所以初始循环条件成立。
补充一下,LeetCode的源码有问题,有人看出来了吗?
说一下吧,如果原文字符串即以'^'开头,而且后面没有回文子串了,那么P[i]=1就是找到的maxLen!
此时取子串时 (centerIndex - 1 - maxLen)/2 被除数会出现负数,虽然不影响具体结果(输出第一个字符),但多多少少算不严谨吧。
解决方法,找P[i]最大值时从i=2开始找即可,因为这才是实际的第一个字符。