c - 特里树中使用的双数组

Question

我试图通过这个链接的双数组树来理解特里树实现。

1. 在碰撞时，它应该重新定位。check[base[base[s] + c] + d]从伪代码来看，为什么还要更新base[b+c]？

谁能用简单的语言解释一下？

Procedure Relocate(s : state; b : base_index)
{ Move base for state s to a new place beginning at b }
begin
    foreach input character c for the state s
    { i.e. foreach c such that check[base[s] + c]] = s }
    begin
        check[b + c] := s;     { mark owner }
        base[b + c] := base[base[s] + c];     { copy data }
        { the node base[s] + c is to be moved to b + c;
          Hence, for any i for which check[i] = base[s] + c, update check[i] to b + c }
        foreach input character d for the node base[s] + c
        begin
            check[base[base[s] + c] + d] := b + c
        end;
        check[base[s] + c] := none     { free the cell }
    end;
    base[s] := b
end