根据上述分析,在模式匹配过程中,每当出现P时,下 次气避行比较的p和模式p中p之前最长真前缀和真后缀 匹配的长度密切相关;而模式p中p之前最长真前缀和真后 缀匹配的长度只取决于模式p的组成,与正文无关。 于是我们可以针对模式p定义一个数组 next[m,其中 next表示当汽时,下一次将从pes与t开始继续后继 对应字符的比较。显然,next[的值与模式p中p之前最长 真前缀和真后缀匹配的长度密切相关。下面考虑如何根据模 式p的组成求数组next的值。我们规定 next[O]=-1 这表明当P允时,将从p1与t开始继续后继对应字符的比较 然而p1是不存在的,我们可以将这种情况理解成下一步将从 P气t+开始继续后继对应字符的比较。根据上述分析，在模式匹配过程中，每当出现pi tr时，下 一次与tr进行比较的pj和模式p中pi之前最长真前缀和真后缀 匹配的长度密切相关；而模式p中pi之前最长真前缀和真后 缀匹配的长度只取决于模式p的组成，与正文无关。 于是我们可以针对模式p定义一个数组next[m]，其中 next[i]表示当pi tr时，下一次将从pnext[i]与tr开始继续后继 对应字符的比较。显然，next[i]的值与模式p中pi之前最长 真前缀和真后缀匹配的长度密切相关。下面考虑如何根据模 式p的组成求数组next的值。我们规定： next[0]=-1 这表明当p0 tr时，将从p-1与tr开始继续后继对应字符的比较； 然而p-1是不存在的，我们可以将这种情况理解成下一步将从 p0与tr+1开始继续后继对应字符的比较