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

看离散数学及其应用这本书的时候发现这本书非常非常的良心，每一个小结都有至少45道习题。然后这1.2节讲的逻辑推理，于是47到题中给 …