对于复杂度的证明，我能找到的所有（有证明的）资料都是像这篇文章（不要脸打广告）这样的解释，但是最后连 fail 边的时候不是还要跳一遍转移吗，这样的话每次最多增加 $O(1)$ 深度不就不成立了吗？