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