双数组 Trie 问题

Question

我试图从 http://linux.thai.net 理解双数组 Trie 实现/~thep/datrie/datrie.html 但我不明白以下部分。

check[base[s] + c] = s
base[s] + c = t 

这里添加c意味着什么。

谁能用简单的语言解释算法。

Answer 1

想象一下您将 2D 数组折叠为 1D 数组：

int arr2D[2][3];
int arr1D[2 * 3]; // # of rows * # of columns

// access element [1][2] of 2D array, i.e., the last element
int elem2D = arr2D[1][2];
// access element [1][2] of 1D array, i.e., the last element
int elem1D = arr1D[1 * 3 + 2];
// =========================================================
lets visualize the array access:
arr2D => x/y 0  1  2
          0 [N][N][N]
+1 on x > 1 [N][N][N]
+2 on y ---------- ^
y_len  =>   ^-------^ 3 elements
so the access happens with x * y_len + y
                           1 *   3   + 2
now for the 1D array
we want the second row, so we go with 1 * 3
(0-based access, y_len = 3)
and then we want the 3rd element, so + 2
(again, 0-based access)
arr1D =>  x  0  1  2 
            [N][N][N]
             3  4  5
1 * 3 = 3 > [N][N][N]
      + 2 = 5 ---- ^

我希望我没有让这变得太复杂（即使我认为我做了......）。 :)

Answer 2

字符是“从零开始的”，即“a”是0，“b”是1，“c”是2，等等。查找“a”意味着将 0 添加到当前节点的基地址并检查该索引处的所有者。如果该所有者是当前节点，则 trie 中的当前节点存在一个以“a”开头的字符串，并且该索引处的基地址是下一次查找的基地址。

Answer 3

您应该将代码编辑为以下内容：

check[base[s] + c] = s
next[base[s] + c] = t 

在状态 s 接受字符 c 并转换为状态 t 的情况下：s -c-> t。
关键点是base[s]的含义。
由于一个状态可以接受多个字符：

| |c1|c2|c3|
|--|--|--|--|
| s| x| y| z|
问题在于如何表达 s-c1->x、s-c2->y、s-c3->z< /代码>。传统上，map 是一种很好的做法：

class State {
    Map<Character, State> mappings;
}

但是如果您使用数组来表达映射呢？
base[s] 是 next 数组中的基索引，从中添加偏移量 c。
base[s] + c 是 next 中的最终索引，用于存储从状态 s 和字符 c 映射的下一个状态代码>.请注意，字符c实际上是编程语言中的整数。