KMP アルゴリズムを調べて、接尾辞と接頭辞のカウントのテーブルを計算する KMP の特定の行に関して混乱しています。
アルゴリズム kmp_table: 入力: 文字の配列、W (分析される単語) 整数の配列、T (入力されるテーブル) 出力: なし (ただし、操作中にテーブルにデータが入力されます)
define variables:
an integer, pos ← 2 (the current position we are computing in T)
an integer, cnd ← 0 (the zero-based index in W of the next
character of the current candidate substring)
(the first few values are fixed but different from what the algorithm
might suggest)
let T[0] ← -1, T[1] ← 0
while pos is less than the length of W, do:
(first case: the substring continues)
if W[pos - 1] = W[cnd],
let cnd ← cnd + 1, T[pos] ← cnd, pos ← pos + 1
(second case: it doesn't, but we can fall back)
otherwise, if cnd > 0, let cnd ← T[cnd]
(third case: we have run out of candidates. Note cnd = 0)
otherwise, let T[pos] ← 0, pos ← pos + 1
上記はウィキペディアから直接取得したものです。cnd > 0
なぜ set なのか、少し混乱しcnd := T[cnd]
ています。もう一度やり直すかのように cnd を 0 にリセットしてはいけませんか?