KMP中k=π[k]（k=next[k]）的理解

先贴出算法导论中的算法



对于k=π[k]，想了好久才想明白。
当出现k=π[k]时，此时已经满足了$P_1...P_k=P_{q-k}...P_{q-1}$，正要判断$P_{k+1}$是否等于 $P_q$，而发现$P_{k+1}\ne P_q$，因此进入while循环，执行$k=\pi [k]$，也就是说，此时$\pi [q]$一定小于等于k，否则$P_{k+1}=P_q$

此时应该想的是，找到最大的 i ，使得$P_1...P_i=P_{q-i+1}...P_q$,这可以分为两步，先判断$P_1...P_{i-1}$是否等于 $P_{q-i+1}...P_{q-1}$，若相等，再判断$P_i$是否等于$P_q$（而对于之前匹配的结果，有$P_1...P_k=P_{q-k}...P_{q-1}$，故只需判断$P_1...P_{i-1}$是否等于 $P_{k-i+2}...P_k$)，这时你就会发现，要找到最大的 i ，使得$P_1...P_{i-1}=P_{k-i+2}...P_k$，这不就是$\pi [k]$吗？然后问题就解决了。这里的第一步判断对应于$k=\pi [k]$，第二步则对应于while循环中的$P[k+1]\ne P[q]$

附上图便于理解