ソラで書くTrie

![スクリーンショット 2021-06-13 17.38.05.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/65731/527ff6d7-a9f3-1af1-5e3d-d0cb397b902d.png)


Trieは文字列集合をラベル付き木構造で表現したデータ構造で，以下のような特徴を持ちます．

1. 文字列集合内の任意の接頭辞とノードが1対1に対応する．
2. 文字列を入力としてTrie上を探索することで，文字列集合内のキーを効率的に検索できる．
3. 文字列集合の共通接頭辞が併合され，コンパクトな表現ができる．

1の特徴は文字列集合に対する様々なアルゴリズムへ応用され，
2の特徴から様々な文字列索引技術の基礎として利用され，
3の特徴から大規模データの圧縮にも利用されます．

特にTrieを応用してアルゴリズムを設計する場合，Trieのアルゴリズムをよく理解しスムーズに実装できることが重要です．
そこでまず本記事では，実装の柔軟性を考慮し，簡単なデータ構造の組み合わせによるTrieの実装をレクチャーします．

# Trieの実装
**Trieで重要な基本操作は以下の2つです．**
- $\texttt{go}(v, c) \rightarrow V$: ノード$v$からラベル$c$で遷移するノード$t$があれば$t$を，なければ−1を返す
- $\texttt{add_node}(v, c) \rightarrow V$: ノード$v$からラベル$c$で遷移するノード$t$を追加し，$t$を返す

$\texttt{go}, \texttt{add_node}$さえ実装すれば，Trieを用いたアルゴリズムは基本的に実装できます．
$\texttt{go}, \texttt{add_node}$の実装は後で解説するとして，まずTrieを用いた簡単なアルゴリズムを紹介します．

#### 文字列を入力とした探索
文字列$s$を入力とし，$s$による探索で到達するノード$v$があれば$v$を，なければ−1を返すことにします．
これは，$s$の先頭から一文字ずつ取り出して遷移ラベル$c$とし,ノード$u=0(\text{ルートノード})$から順番に$\texttt{go}(u,c)$で遷移を繰り返せばよいです．

```C++
int travel(const std::string& s) {
  int v = 0;
  for (char c : s) {
    int t = go(v, c);
    if (t != -1)
      v = t;
    else
      return -1;
  }
  return v;
}
```

#### 文字列の追加
文字列$s$をTrieに追加します．
これは，まず$s$による探索を遷移に失敗するまで繰り返します．
その後，残りの文字列から一文字ずつ取り出して遷移先となるノードを順に追加していきます．

```C++
void insert(const std::string& s) {
  int v = 0;
  int i = 0;
  for (; i < (int) s.size(); i++) {
    int t = go(v, s[i]);
    if (t != -1)
      v = t;
    else
      break;
  }
  for (; i < (int) s.size(); i++) {
    v = add_node(v, s[i]);
  }
}
```

## データ構造
もっとも単純なデータ構造のフレームワークは，
**遷移文字をキーとしてノード番号を保存する索引構造Index**を与え，
**Indexをノードごとに管理する**のものでしょう．

```C++
using Index = // 任意の索引データ構造
std::vector<Index> trie(1); // ルートノード=0で初期化
```

このフレームワークでIndexを任意のデータ構造にするだけで，以下の要件を満たすTrieを簡単に設計できます．

|Index|メモリサイズ|検索|全探索(列挙)|
|-|-|-|-|-|
|**Table**|×|◎|×|
|**Array**|○|×|◎|
|**HashTable**|○|○|○[^1]|
[^1]: `std::unordered_map`のように要素がリスト構造で連結されている構造を仮定

### Index = Table
Indexを固定長配列で与え，遷移先の状態番号を保存します．
すなわち，ラベル付きグラフ表現としてもっとも単純な方法である遷移テーブルとしてTrieを表現します．

![スクリーンショット 2021-06-13 17.54.00.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/65731/1e7092cb-05f2-d559-56f9-dc25ad7e7e18.png)

この利点は，任意のラベルによる遷移が，ラベル$c$を添え字とした配列により定数時間で行える点です．
欠点は，ノードごとにアルファベット集合のサイズ分の領域が必要であり，メモリを大量に消費するため，扱うデータサイズに注意する必要があります．

```C++
constexpr int kAlphabetSize = 256 // アルファベット集合のサイズ
using Index = std::array<int, kAlphabetSize>;
std::vector<Index> trie(1);

int go(int v, char c) {
  int next_v = trie[v][c];
  return next_v != 0 ? next_v : -1;
}

int add_node(int v, char c) {
  int next_v = (int) trie.size();
  trie.emplace_back();
  trie[v][c] = next_v;
  return next_v;
}
```

### Index = Array
Indexを動的配列で与え，（遷移ラベル，遷移先の状態番号）の組を保存します．

![スクリーンショット 2021-06-13 17.53.23.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/65731/14aa989f-4fc4-ba52-7b2a-0341643a45d8.png)


利点は，要素数がノード数で抑えられるためTableよりコンパクトになります．
また，トライの全ノードの探索や保存された文字列の列挙を行う場合には，要素を順に見るだけでよくTableより効率的になります．
欠点は，任意ラベルによる探索には，ノード$v$のIndexの要素を順に見る必要があり，検索が非効率になります．

```C++
using Index = std::vector<pair<char, int>>;
std::vector<Index> trie(1);

int go(int v, char c) {
  for (auto [cur_c, next_v] : trie[v]) {
    if (cur_c != c) 
      continue;
    return next_v != 0 ? next_v : -1;
  }
  return -1;
}

int add_node(int v, char c) {
  int next_v = (int) trie.size();
  trie.emplace_back();
  trie[v].emplace_back(c, next_v);
  return next_v;
}
```

### Index = HashTable
Indexを[ハッシュテーブル](https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%83%E3%82%B7%E3%83%A5%E3%83%86%E3%83%BC%E3%83%96%E3%83%AB)で与え，遷移ラベルをキーとして遷移先の状態番号を保存します．

![スクリーンショット 2021-06-13 17.59.28.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/65731/93828e95-3781-7d77-eb68-fdc9c5e9bbb6.png)

TableやArrayと違い，空間効率と検索効率を兼ね備えることができます．
ただし，検索速度はTableの方が定数倍高速です．

```C++
using Index = std::unordered_map<char, int>;
std::vector<Index> trie(1);

int go(int v, char c) {
  auto node_it = trie[v].find(c);
  return node_it != trie[v].end() ? node_it->second : -1;
}

int add_node(int v, char c) {
  int next_v = (int) trie.size();
  trie.emplace_back();
  trie[v][c] = next_v;
  return next_v;
}
```

# まとめ
ノードごとにデータ構造を与える単純なフレームワークを用いたTrieの実装を紹介しました．
Tableにはメモリサイズの,Arrayには検索効率の欠点があり，注意深く用いる必要がありますが，欠点を無視できる状況ならばこれらの簡単な構造は有力な選択肢になります．

[競技プログラミング](https://ja.wikipedia.org/wiki/%E7%AB%B6%E6%8A%80%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0)ではTrieを応用することを想定した問題が度々出題されるため，ソラで書ける能力が有利に働くこともあるでしょう．

 - [東京海上日動 プログラミングコンテスト2021（AtCoder Regular Contest 122) D - XOR Game](https://atcoder.jp/contests/arc122/tasks/arc122_d)
   - [回答例](https://atcoder.jp/contests/arc122/submissions/23393214)

[編集歓迎]