感觉很多题解都没有说明为什么将 $S$ 倍长若干次得到新的 $S'$ 后若匹配次数不少于 $\dfrac{|S'|}{|T|}-O(1)$ 那么答案就是 $-1$。

至少当这个 $O(1)=0$ 时肯定是错的了，hack 如下（能叉掉第一篇题解）：

aba
baa

$O(1)=1$ 时不会卡，如果这个是对的还请教教。