Double-Array Trie分为静态构建和动态构建两种情况,
动态构建过程中主要利用的公式是:
base[s]+c=t
check[t]=base[s]
静态构建的过程中主要利用的动态转移公式是:
base[s]+c=t
check[t] =base[s]
写的还不错的博客有以下几篇:
https://blog.csdn.net/u011730199/article/details/82752521
https://www.cnblogs.com/ooon/p/4883159.html
https://blog.csdn.net/xlxxcc/article/details/67631988
第3、4篇博客以同一个例子来讲解的,但是一直不太明白为什么下面图片中的这个位置是8的原因。(可以先看第四篇博客,如果看懂了就不用看我的了。)
特此以下面这个图为例子,手推一下最终的矩阵形式。
首先要知道,建立字典树的过程是一个深度遍历的过程,而利用建立好的字典树去做一些查询操作的时候,利用的是广度遍历的过程。
图从左往右看。
在第四篇博客计算过程中,并没有给出空节点的position、base和check,我认为这个过程应该同步给出,要不然会乱。
所以有了如第四篇和第三篇博客中给出的,最终结果。
root A C Z C D D F Q E F F AC AD CD CF ZQ ACE ACFF
i 0 67 69 92 70 71 77 79 86 142 143 74 72 76 78 80 83 73 75
base 1 2 8 4 72 76 78 80 83 73 3 75 -1 -4 -5 -6 -7 -2 -3
check 0 1 1 1 2 2 8 8 4 72 72 3 72 76 78 80 83 73 75