设 PAM 上一结点 u , v=fail(u) , 令 d(x)=∣x∣−∣fail(x)∣ ,是否一定有 d(u)≥d(v) ?
(换句话说,设字符串 s1,s2,s3 , s1 为回文串, s2 为 s1 的不相等且最长的回文后缀, s3 为 s2 的不相等且最长的回文后缀,那么是否一定有 ∣s1∣−∣s2∣≥∣s2∣−∣s3∣ ?)
若是,则从一个结点开始跳 fail 指针,经过结点的 d 值是否只有 O(logn) 种取值?
这是不是就是什么“回文自动机fail链上分组维护信息加速DP”啊