本文中用$P_n$表示$P[1..n]$，用$P[n]$表示$P$中的第$n$个字符，用$P_i\sqsupset P_q$代表$ …