現時点でわかってること、間違いがあるかも…
- Trieは一種の決定性有限オートマトン(DFA)
- DFAは4つの配列で実現できる
- でもTrieはDFAより単純なので3つの配列でOK(Tripple-Array Trie)
- Tripple-Array Trieの3つの配列のうち、2つは1つにまとめられるので2つの配列だけでできちゃうよ(Double-Array Trie)
という感じ。やっぱり構造はTrieなので、最後にTrieをつけたほうがわかりやすいのか。Double Arrayってdouble型の配列とか違う意味を持ちそうなのでTrieをつけたほうがよさそう