本文主要讲解了Trie的基本思想和原理，实现了几种常见的Trie构造方法，着重讲解Trie在编程竞赛中的一些典型应用。
什么是Trie?
如何构建一个Trie？
Trie在编程竞赛中的典型应用有些？
什么是Trie?
　　术语取自retrieval中（检索，收回，挽回）的trie，读作“try”，也叫做前缀树或者字典树，是一种有序的树形数据结构。我们常用字典树来保存字符串集合(但不仅限于字符串），如下图就是一个字典树。
　　　　　　　　　　　　　　　　
　　它保存的字符集合是{to,te,tea,ted,ten,a,i,in,inn}，可以看出从根结点到单词结点所经过的路径上的所有字母所组成的字符串就是该单词结点对应的字符串。从图中我们可以验证字典树的三条性质：
　　1.根结点不包含字符，除根结点外，其他结点都只包含一个字符；
　　2.从根节点到某一节点，路径上经过的字符连接起来，为该节点对应的字符串；
　　3.每个节点的所有子节点包含的字符都不相同；
　　类比查英文字典的过程就是在字典树上查单词的过程，它的核心思想就是利用字符串的公共前缀来减少查询时间，最大限度地减少无谓字字符比较，从而提高效率。
　　Trie的典型应用是用于统计、排序和保存大量的字符串（不限于字符串），所以经常被用于搜索引擎的文本词频统计，关键词检索。
如何构建一个Trie?
　 常用的有三种构建方法，分别是转移矩阵法、链表法和左儿子-右兄弟表示法。
　 转移矩阵法的基本思想和实现　　　　
　　矩阵转移法的思想是将根结点标号为0，其余结点标号为从1开始的正整数，然后用一个二维数组来保存每个结点的所有子节点，用数组下标进行直接存取。具体来说就是用ch[i][j]来表示结点i编号为j的那个子结点（其中编号为j意为该字符在字符集中的编号，比如a在所有的小写字母集合中的编号为0），可以构建如下图所示的转移矩阵（原谅我这不讲究的画图）。
　　　　　　　　&&&&&&&&&&&&& 　
&　　将初始化、插入和查询封装到一个结构体里代码如下：
1 const int maxn = <span style="color: #01;//模板数
2 const int sigma_size = <span style="color: #;
4 struct Trie {
int ch[maxn][sigma_size];
int val[maxn];//规定非单词结点的附加价值为0
int//结点总数
void init() {//初始化，只有一个根结点并且没有子结点
sz = <span style="color: #;
<span style="color: #
memset(ch[<span style="color: #], <span style="color: #, sizeof(ch[<span style="color: #]));
<span style="color: #
<span style="color: #
int idx(char c) {
<span style="color: #
return c - 'a';
<span style="color: #
<span style="color: #
void insert(char *s, int v) {
<span style="color: #
int n = strlen(s);
<span style="color: #
int u = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {//遍历模板串的每一个字母
<span style="color: #
int c = idx(s[i]);//得到该字母的编号
<span style="color: #
if(!ch[u][c]){//该结点不存在
<span style="color: #
memset(ch[sz], <span style="color: #, sizeof(ch[sz]));
<span style="color: #
val[sz] = <span style="color: #;//中间结点的附加信息为0
<span style="color: #
ch[u][c] = sz++;//将结点u编号为j的子结点编号为sz
<span style="color: #
<span style="color: #
u = ch[u][c];//往下走
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
bool query(char *t) {
<span style="color: #
int m = strlen(t);
<span style="color: #
int u = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = idx(t[i]);
<span style="color: #
if(!ch[u][c])//结点u编号为j的子结点为空表示不存在该串
<span style="color: #
return false;
<span style="color: #
u = ch[u][c];
<span style="color: #
<span style="color: #
return true;
<span style="color: #
<span style="color: # };
　　上述代码中值得注意的是每遇到一个结点才重置二维数组中的一行，看似麻烦，其实可以起到优化内存，防止内存超限的作用，因为如果按照题目要求一次性置零，判题机会直接检测到内存超限，按照上述的方法，有多少单词就用多少内存，只要不是字符集特别大（一般是小写字母集合，如果真的很大采用后面的第三种方法），并不会直接判内存超限。
　　来看一个具体的问题，输入单词数n和n个单词，查询m个单词是否在之前的单词表中，存在输出Yes，否则输出No。直接套用模板代码如下：
1 #include &cstdio&
2 #include &cstring&
3 const int maxn = <span style="color: #01;//模板数
4 const int sigma_size = <span style="color: #;
6 struct Trie {
int ch[maxn][sigma_size];
int val[maxn];//规定非单词结点的附加价值为0
int//结点总数
<span style="color: #
void init() {//初始化，只有一个根结点并且没有子结点
<span style="color: #
sz = <span style="color: #;
<span style="color: #
memset(ch[<span style="color: #], <span style="color: #, sizeof(ch[<span style="color: #]));
<span style="color: #
<span style="color: #
int idx(char c) {
<span style="color: #
return c - 'a';
<span style="color: #
<span style="color: #
void insert(char *s, int v) {
<span style="color: #
int n = strlen(s);
<span style="color: #
int u = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {//遍历模板串的每一个字母
<span style="color: #
int c = idx(s[i]);//得到该字母的编号
<span style="color: #
if(!ch[u][c]){//该结点不存在
<span style="color: #
memset(ch[sz], <span style="color: #, sizeof(ch[sz]));
<span style="color: #
val[sz] = <span style="color: #;//中间结点的附加信息为0
<span style="color: #
ch[u][c] = sz++;//将结点u编号为j的子结点编号为sz
<span style="color: #
<span style="color: #
u = ch[u][c];//往下走
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
bool query(char *t) {
<span style="color: #
int m = strlen(t);
<span style="color: #
int u = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = idx(t[i]);
<span style="color: #
if(!ch[u][c])//结点u编号为j的子结点为空表示不存在该串
<span style="color: #
return false;
<span style="color: #
u = ch[u][c];
<span style="color: #
<span style="color: #
return true;
<span style="color: #
<span style="color: # };
<span style="color: #
<span style="color: # T//直接使用封装好的结构体
<span style="color: # int main()
<span style="color: # {
<span style="color: #
<span style="color: #
char word[maxn];
<span style="color: #
trie.init();
<span style="color: #
printf("输入单词表的个数和单词表:\n");
<span style="color: #
scanf("%d", &n);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
scanf("%s", word);
<span style="color: #
trie.insert(word, <span style="color: #);
<span style="color: #
<span style="color: #
printf("输入欲查询单词的个数和单词：\n");
<span style="color: #
<span style="color: #
scanf("%d", &m);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
scanf("%s", word);
<span style="color: #
if(trie.query(word))
<span style="color: #
printf("Yes\n");
<span style="color: #
<span style="color: #
printf("No\n");
<span style="color: #
<span style="color: #
getchar();
<span style="color: #
return <span style="color: #;
<span style="color: # }
<span style="color: #
<span style="color: # /*测试样例
<span style="color: # <span style="color: #
<span style="color: # asd
<span style="color: # zxc
<span style="color: # qwe
<span style="color: # asdf
<span style="color: # zxcv
<span style="color: # qwer
<span style="color: # asdfgh
<span style="color: # rewq
<span style="color: # fdsa
<span style="color: # vcxz
<span style="color: # <span style="color: #
<span style="color: # asdf
<span style="color: # ghjk
<span style="color: # zxcv
<span style="color: # qwer
<span style="color: # rewq
<span style="color: # */
测试样例结果:
&&&&&&&&&&&&&&&&&&&&
　 链表法的基本思想和实现
　　链表法和转移矩阵法的基本思想是一致的，每个结点都存储有下一个结点的信息，不同的是二维数组使用数组下标方式的方式直接存取，而链表法采用指针指向的方式存取。同样封装到一个结构体中代码如下：
1 struct Node {
int//以当前结点为前缀的单词个数
Node* chi[<span style="color: #];//字符集的大小的结点指针数组
5 struct Trie {
void init() {//初始化
root = create();
<span style="color: #
Node* create() {//新建一个结点
<span style="color: #
Node* tmp = new N
<span style="color: #
tmp-&cnt = <span style="color: #;
<span style="color: #
memset(tmp-&chi, <span style="color: #, sizeof(tmp-&chi));
<span style="color: #
<span style="color: #
<span style="color: #
void insert(char *s) {
<span style="color: #
<span style="color: #
int len = strlen(s);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = s[i] - 'a';
<span style="color: #
if(u-&chi[c] == NULL)
<span style="color: #
u-&chi[c] = create();
<span style="color: #
<span style="color: #
u = u-&chi[c];
<span style="color: #
u-&cnt ++;//以当前结点为前缀的单词个数++
<span style="color: #
<span style="color: #
<span style="color: #
int query(char *t) {//查询
<span style="color: #
int len = strlen(t);
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = t[i] - 'a';
<span style="color: #
if(u-&chi[c] == NULL)
<span style="color: #
return <span style="color: #;//走到字典树的叶子节点该单词还没结束，以该串为前缀的单词数为0
<span style="color: #
<span style="color: #
u = u-&chi[c];
<span style="color: #
<span style="color: #
return u-&
<span style="color: #
<span style="color: #
void freeTrie(Node* u) {//递归释放内存
<span style="color: #
if(u == NULL)
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i & <span style="color: #; i ++) {
<span style="color: #
if(u-&chi[i] != NULL)
<span style="color: #
freeTrie(u-&chi[i]);
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: # };
　　可以看出，前两种方法的基本思想是一致的，只是存取方式略有差异。它们除了都存在稀疏现象严重，空间利用率低的问题之外，当碰上字符集很大题目，比如UVa 11732 “strcmp()” Anyone?，字符集是10个数字和大小写字母，想要遍历整个Trie的时候必须依次枚举字符集各个位置是否为空才行，所以还存在遍历时间开销较大的问题。（需要遍历Trie的问题很多比如计算多个模板的最长公共前缀问题）而第三种构建方式左儿子-右兄弟表示法可以很好的解决时间和空间上的问题。
　 左儿子-右兄弟表示法的基本思想和实现
　　左儿子-右兄弟表示法的精髓在于将之前的字典树的多叉树结构转化为了二叉树结构。这里借鉴《算法入门经典 训练指南》中的数组表示法。主要使用了两个数组，一个是head数组表示第i个结点的左儿子编号和next数组表示第i个结点的右兄弟编号。同样封装在一个结构体中代码如下：
1 const int maxw = <span style="color: #00010; //单词的最大个数
2 const int maxwl = <span style="color: #1;//单词的最大长度
3 const int maxnode = maxw * maxwl + <span style="color: #;
5 struct Trie {
int head[maxnode]; //head[i]表示第i个结点的左儿子的编号
int next[maxnode]; //next[i]表示第i个结点的右兄弟的编号
int val[maxnode];
//以该结点为前缀的单词的个数
char ch[maxnode];
//ch[i]表示第i个结点的字符
<span style="color: #
//结点总数
<span style="color: #
<span style="color: #
void init() {
<span style="color: #
sz = <span style="color: #;
<span style="color: #
head[<span style="color: #] = next[<span style="color: #] = val[<span style="color: #] = <span style="color: #;
<span style="color: #
<span style="color: #
void insert(char *s) {
<span style="color: #
int u = <span style="color: #, len = strlen(s),
<span style="color: #
for(int i = <span style="color: #; i & i ++) {
<span style="color: #
//在当前u的所有儿子中找s[i]
<span style="color: #
bool found = false;
<span style="color: #
for(v = head[u]; v != <span style="color: #; v = next[v]) {//遍历当前u的所有儿子
<span style="color: #
if(ch[v] == s[i]) {
<span style="color: #
found = true;//找到
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
if(!found) {//没有找到则新建一个结点作为当前结点的儿子
<span style="color: #
<span style="color: #
ch[v] = s[i];
<span style="color: #
val[v] = <span style="color: #;
<span style="color: #
<span style="color: #
next[v] = head[u]; //该结点的右兄弟是head[u](当前结点的左儿子)
<span style="color: #
//v是当前结点u的左儿子
<span style="color: #
head[v] = <span style="color: #;
//v没有左儿子(叶子结点)
<span style="color: #
<span style="color: #
<span style="color: #
u =//继续往下走
<span style="color: #
val[u]++; //以当前结点为前缀为单词个数++
<span style="color: #
<span style="color: #
<span style="color: #
int query(char *t) {
<span style="color: #
int u = <span style="color: #, len = strlen(t),
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
bool found = false;
<span style="color: #
for(v = head[u]; v != <span style="color: #; v = next[v]) {
<span style="color: #
if(ch[v] == t[i]) {
<span style="color: #
found = true;
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
if(!found)
<span style="color: #
return <span style="color: #;
<span style="color: #
<span style="color: #
<span style="color: #
return val[u];
<span style="color: #
<span style="color: # };
　　为了比较三种写法的优劣，以HDU 1251 统计难题为例，统计以某串为前缀的单词个数，三种写法如下：
转移矩阵表示法：
2 关于转移矩阵的使用注意事项，由于二维矩阵存在较大的空间资源浪费，可以利用C语言的特性，变量声明时不申请空间，只有在赋值
3 的时候申请，所以置零可以分成需要的时候再置。
5 #include &cstdio&
6 #include &cstring&
7 const int maxw = <span style="color: #00010;
8 const int sigm_size = <span style="color: #;
<span style="color: # struct Trie {
<span style="color: #
int ch[maxw][sigm_size];
<span style="color: #
int val[maxw];
<span style="color: #
<span style="color: #
<span style="color: #
void init() {
<span style="color: #
sz = <span style="color: #;
<span style="color: #
memset(ch[<span style="color: #], <span style="color: #, sizeof(ch[<span style="color: #]));
<span style="color: #
<span style="color: #
void insert(char *s) {
<span style="color: #
int u = <span style="color: #, len = strlen(s);
<span style="color: #
for(int i = <span style="color: #; i & i++) {//遍历模板串的每一个字母
<span style="color: #
int c = s[i] - 'a';//得到该字母的编号
<span style="color: #
if(!ch[u][c]) {//该结点不存在
<span style="color: #
memset(ch[sz], <span style="color: #, sizeof(ch[sz]));
<span style="color: #
val[sz] = <span style="color: #;//中间结点的附加信息为0
<span style="color: #
ch[u][c] = sz++;//将结点u编号为j的子结点编号为sz
<span style="color: #
<span style="color: #
<span style="color: #
u = ch[u][c];//往下走
<span style="color: #
val[u]++;//以该结点为前缀的单词++
<span style="color: #
<span style="color: #
<span style="color: #
int query(char *t) {
<span style="color: #
int len = strlen(t);
<span style="color: #
int u = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = t[i] - 'a';
<span style="color: #
if(!ch[u][c])//结点u编号为j的子结点为空表示不存在该串
<span style="color: #
return <span style="color: #;
<span style="color: #
u = ch[u][c];
<span style="color: #
<span style="color: #
return val[u];
<span style="color: #
<span style="color: # };
<span style="color: #
<span style="color: # T
<span style="color: # int main()
<span style="color: # {
<span style="color: #
char word[<span style="color: #];
<span style="color: #
trie.init();
<span style="color: #
while(gets(word) != NULL) {
<span style="color: #
int len = strlen(word);
<span style="color: #
if(len == <span style="color: #) break;
<span style="color: #
trie.insert(word);
<span style="color: #
<span style="color: #
while(gets(word) != NULL) {
<span style="color: #
printf("%d\n", trie.query(word));
<span style="color: #
<span style="color: #
return <span style="color: #;
<span style="color: # }
左儿子-右兄弟表示法：
1 #include &cstdio&
2 #include &cstring&
3 const int maxw = <span style="color: #00010; //单词的最大个数
4 const int maxwl = <span style="color: #1;//单词的最大长度
5 const int maxnode = maxw * maxwl + <span style="color: #;
7 struct Trie {
int head[maxnode]; //head[i]表示第i个结点的左儿子的编号
int next[maxnode]; //next[i]表示第i个结点的右兄弟的编号
<span style="color: #
int val[maxnode];
//以该结点为前缀的单词的个数
<span style="color: #
char ch[maxnode];
//ch[i]表示第i个结点的字符
<span style="color: #
//结点总数
<span style="color: #
<span style="color: #
void init() {
<span style="color: #
sz = <span style="color: #;
<span style="color: #
head[<span style="color: #] = next[<span style="color: #] = val[<span style="color: #] = <span style="color: #;
<span style="color: #
<span style="color: #
void insert(char *s) {
<span style="color: #
int u = <span style="color: #, len = strlen(s),
<span style="color: #
for(int i = <span style="color: #; i & i ++) {
<span style="color: #
//在当前u的所有儿子中找s[i]
<span style="color: #
bool found = false;
<span style="color: #
for(v = head[u]; v != <span style="color: #; v = next[v]) {//遍历当前u的所有儿子
<span style="color: #
if(ch[v] == s[i]) {
<span style="color: #
found = true;//找到
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
if(!found) {//没有找到则新建一个结点作为当前结点的儿子
<span style="color: #
<span style="color: #
ch[v] = s[i];
<span style="color: #
val[v] = <span style="color: #;
<span style="color: #
<span style="color: #
next[v] = head[u]; //该结点的右兄弟是head[u](当前结点的左儿子)
<span style="color: #
//v是当前结点u的左儿子
<span style="color: #
head[v] = <span style="color: #;
//v没有左儿子(叶子结点)
<span style="color: #
<span style="color: #
<span style="color: #
u =//继续往下走
<span style="color: #
val[u]++; //以当前结点为前缀为单词个数++
<span style="color: #
<span style="color: #
<span style="color: #
int query(char *t) {
<span style="color: #
int u = <span style="color: #, len = strlen(t),
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
bool found = false;
<span style="color: #
for(v = head[u]; v != <span style="color: #; v = next[v]) {
<span style="color: #
if(ch[v] == t[i]) {
<span style="color: #
found = true;
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
if(!found)
<span style="color: #
return <span style="color: #;
<span style="color: #
<span style="color: #
<span style="color: #
return val[u];
<span style="color: #
<span style="color: # };
<span style="color: #
<span style="color: # T
<span style="color: # int main()
<span style="color: # {
<span style="color: #
char word[maxwl];
<span style="color: #
trie.init();//记得初始化
<span style="color: #
while(gets(word) != NULL) {
<span style="color: #
int len = strlen(word);
<span style="color: #
if(len == <span style="color: #)
<span style="color: #
trie.insert(word);
<span style="color: #
<span style="color: #
while(gets(word) != NULL) {
<span style="color: #
printf("%d\n", trie.query(word));
<span style="color: #
<span style="color: #
return <span style="color: #;
<span style="color: # }
1 //c++ AC G++MLE
2 #include &cstdio&
3 #include &cstring&
4 #include &cstdlib&
5 struct Node {
int//以当前结点为前缀的单词个数
Node* chi[<span style="color: #];//字符集的大小的结点指针数组
9 struct Trie {
<span style="color: #
<span style="color: #
void init() {//初始化
<span style="color: #
root = create();
<span style="color: #
<span style="color: #
Node* create() {//新建一个结点
<span style="color: #
Node* tmp = new N
<span style="color: #
tmp-&cnt = <span style="color: #;
<span style="color: #
memset(tmp-&chi, <span style="color: #, sizeof(tmp-&chi));
<span style="color: #
<span style="color: #
<span style="color: #
void insert(char *s) {
<span style="color: #
<span style="color: #
int len = strlen(s);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = s[i] - 'a';
<span style="color: #
if(u-&chi[c] == NULL)
<span style="color: #
u-&chi[c] = create();
<span style="color: #
<span style="color: #
u = u-&chi[c];
<span style="color: #
u-&cnt ++;//以当前结点为前缀的单词个数++
<span style="color: #
<span style="color: #
<span style="color: #
int query(char *t) {//查询
<span style="color: #
int len = strlen(t);
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = t[i] - 'a';
<span style="color: #
if(u-&chi[c] == NULL)
<span style="color: #
return <span style="color: #;//走到字典树的叶子节点该单词还没结束，以该串为前缀的单词数为0
<span style="color: #
<span style="color: #
u = u-&chi[c];
<span style="color: #
<span style="color: #
return u-&
<span style="color: #
<span style="color: #
void freeTrie(Node* u) {//递归释放内存
<span style="color: #
if(u == NULL)
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i & <span style="color: #; i ++) {
<span style="color: #
if(u-&chi[i] != NULL)
<span style="color: #
freeTrie(u-&chi[i]);
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: # };
<span style="color: #
<span style="color: # T
<span style="color: # int main()
<span style="color: # {
<span style="color: #
char word[<span style="color: #];
<span style="color: #
trie.init();
<span style="color: #
while(gets(word) != NULL) {
<span style="color: #
int len = strlen(word);
<span style="color: #
if(len == <span style="color: #) break;
<span style="color: #
trie.insert(word);
<span style="color: #
<span style="color: #
while(gets(word) != NULL) {
<span style="color: #
printf("%d\n", trie.query(word));
<span style="color: #
<span style="color: #
trie.freeTrie(trie.root);
<span style="color: #
return <span style="color: #;
<span style="color: # }
对应运行结果如下图所示：
可以看到，运行结果时间最长，内存占用最大的是链表法，转移矩阵法虽然占用内存大，但是在时间上表现优异，而左儿子-右兄弟表示法完美的解决了前两种的结构存在的问题，占用内存小、效率高。
Trie在编程竞赛中有哪些典型的应用呢？
　　1、前缀统计
　　给出单词表后问一个串是多少个单词的前缀。例题HDU 1251 统计难题。
　　2、串的快速检索
　　给出单词表，问一个单词是否存在在之前的单词表里。例题 HDU 1277 全文检索。当然对于单词检索问题，也可以用STL中的map集合求解，但有时不光是解决存在问题，还需要解决其他问题,比如和前缀有关的问题和效率问题，就应该考虑Trie。
　　3、串的排序问题
　　给出许多单词，将其按字典序输出。当然对于字符串排序，使用STL中sort一下也可，但是对于单词量巨大的时候，Trie有其独有的优势:占用空间少，效率又高。
　　4、计算最长公共前缀。
　　给出几个字符串，问它们的最长公共前缀是多少。或者像UVa11732 strcmp() Anyone?求解两两串的公共前缀。
　　5、作为其他算法的数据结构，比如AC自动机。
　　围绕上述Trie在编程竞赛中的典型应用，例题有：
　 & （前缀统计），上面给出了三种写法，大致思想都是用单词表构建字典树的时候，每走过一个结点都标记一下，最后以查询串的最后一单词为结点的值就是以该串为前缀的单词的数量。
　　（串的快速检索问题），题意描述是给出一段数字串，再给出关键词，问哪些关键词在上面的数字串里。题意很明显，先根据关键词构建个位数字集合的字典树，然后分割数字文本串，查找到最长前缀就输出，有些同学可能会想，以某个开头的关键词不止一个怎么办，题中说了前四个数字不同，意味着没有前缀相同的关键词，所以就不用考虑了。其实这道题是AC自动机的模板问题，只不过这里使用了复杂度较高的方法。代码如下：
1 #include &cstdio&
2 #include &cstring&
3 #include &vector&
4 using namespace
6 const int maxl = <span style="color: #010;
7 char txt[maxl];
8 const int maxk = <span style="color: #010;
9 char key[maxk/<span style="color: #0];//每个关键词的长度
<span style="color: # const int maxnode = maxk * <span style="color: # + <span style="color: #;//最大化结点个数
<span style="color: #
<span style="color: # struct Trie {
<span style="color: #
int ch[maxnode][<span style="color: #];
<span style="color: #
int val[maxnode];
<span style="color: #
<span style="color: #
<span style="color: #
void init() {
<span style="color: #
sz = <span style="color: #;
<span style="color: #
memset(ch[sz], <span style="color: #, sizeof(ch[sz]));
<span style="color: #
<span style="color: #
void insert(char *s, int v) {//将每个关键词的序号作为附加信息
<span style="color: #
int u = <span style="color: #, len = strlen(s);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = s[i] - '<span style="color: #';//注意字符集的使用
<span style="color: #
if(!ch[u][c]) {
<span style="color: #
val[sz] = <span style="color: #;
<span style="color: #
memset(ch[sz], <span style="color: #, sizeof(ch[sz]));
<span style="color: #
<span style="color: #
ch[u][c] = sz++;
<span style="color: #
<span style="color: #
u = ch[u][c];
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
int query(char *t) {
<span style="color: #
int u = <span style="color: #, len = strlen(t);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = t[i] - '<span style="color: #';
<span style="color: #
if(!ch[u][c])
<span style="color: #
<span style="color: #
u = ch[u][c];
<span style="color: #
<span style="color: #
return val[u];
<span style="color: #
<span style="color: # };
<span style="color: #
<span style="color: # T
<span style="color: # int main()
<span style="color: # {
<span style="color: #
<span style="color: #
while(scanf("%d%d", &n, &m) != EOF) {
<span style="color: #
trie.init();
<span style="color: #
int len = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
scanf("%s", txt+len);
<span style="color: #
len = strlen(txt);
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i &= i++) {
<span style="color: #
<span style="color: #
scanf("%*s%*s%d%*c%s", &v, key);
<span style="color: #
trie.insert(key, i);
<span style="color: #
<span style="color: #
<span style="color: #
vector&int&//保存存在的关键词的编号
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int num = trie.query(txt+i);
<span style="color: #
p.push_back(num);
<span style="color: #
<span style="color: #
if(!p.empty()) {
<span style="color: #
printf("Found key:");
<span style="color: #
for(int i = <span style="color: #; i & p.size(); i++)
<span style="color: #
printf(" [Key No. %d]", p[i]);
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
puts("No key can be found !\n");
<span style="color: #
<span style="color: #
return <span style="color: #;
<span style="color: # }
　　（与DP结合的前缀串查询问题），题意描述是给出一个字符串和单词数n和n个单词，问可以重复使用n个单词，组成该字符串的方法有几种？例如有4个单词a、b、cd、ab，组成abcd有两种方法：a+b+cd和ab+cd。
　　直觉告诉我们这是一个DP题，关键是定义状态，找到转移方程，我们可以这样定义d[i]为第i个字符开始的字符串（即后缀s[i..L]）的分解方法。如果单词x是s[i...L]的前缀的话，那么d[i] = 1*d[i + len(x)]，单词x个数1和之后的组合方案书相乘，不要忘了，这道题没有说前几个单词前缀不同，也就是存在多个单词x，那么d[i] = sum{d[i + len(x)]}就可以了。现在问题变成了怎么寻找是串s[i..L]的前缀的单词，一个一个枚举显然不是什么好办法，可以使用Trie，每次枚举s[i..L并]记录它有哪些前缀单词，直接一遍就可以找出全部的前缀单词。代码如下：
1 #include &cstring&
2 #include &vector&
3 using namespace
5 const int maxn = <span style="color: #10 * <span style="color: #0 + <span style="color: #;
6 struct Trie {
int ch[maxn][<span style="color: #];
int val[maxn];
<span style="color: #
<span style="color: #
void clear() {
<span style="color: #
sz = <span style="color: #;
<span style="color: #
memset(ch[<span style="color: #], <span style="color: #, sizeof(ch[<span style="color: #]));
<span style="color: #
<span style="color: #
void insert(char *s, int v) {
<span style="color: #
int u = <span style="color: #;
<span style="color: #
int n = strlen(s);
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = s[i] - 'a';
<span style="color: #
if(!ch[u][c]){
<span style="color: #
memset(ch[sz], <span style="color: #, sizeof(ch[sz]));
<span style="color: #
val[sz] = <span style="color: #;
<span style="color: #
ch[u][c] = sz++;
<span style="color: #
<span style="color: #
u = ch[u][c];
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
//查询长度不超过len的前缀单词并记录序号到p中
<span style="color: #
void query(char *t, int len, vector&int&& p) {
<span style="color: #
int u = <span style="color: #;
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
if(t[i] == '\0')
<span style="color: #
<span style="color: #
int c = t[i] - 'a';
<span style="color: #
if(!ch[u][c])
<span style="color: #
<span style="color: #
<span style="color: #
u = ch[u][c];
<span style="color: #
if(val[u] != <span style="color: #)
<span style="color: #
p.push_back(val[u]);
<span style="color: #
<span style="color: #
<span style="color: # }
<span style="color: #
<span style="color: # #include &cstdio&
<span style="color: # const int maxwl = <span style="color: #0 + <span style="color: #;
<span style="color: # const int maxl = <span style="color: #0010;
<span style="color: # const int MOD =
<span style="color: #071027;
<span style="color: # const int maxw = <span style="color: #00 + <span style="color: #;
<span style="color: #
<span style="color: # char txt[maxl];
<span style="color: # char word[maxwl];
<span style="color: # int len[maxw];
<span style="color: # int d[maxl];
<span style="color: #
<span style="color: # int main()
<span style="color: # {
<span style="color: #
<span style="color: #
int kase = <span style="color: #;
<span style="color: #
while(scanf("%s", txt) != EOF) {
<span style="color: #
scanf("%d", &n);
<span style="color: #
trie.clear();//多样例，记得初始化
<span style="color: #
for(int i = <span style="color: #; i &= i++) {
<span style="color: #
scanf("%s", word);
<span style="color: #
trie.insert(word, i);
<span style="color: #
len[i] = strlen(word);;
<span style="color: #
<span style="color: #
<span style="color: #
int L = strlen(txt);
<span style="color: #
memset(d, <span style="color: #, sizeof(d));
<span style="color: #
d[L] = <span style="color: #;
<span style="color: #
for(int i = L - <span style="color: #; i &= <span style="color: #; i --) {
<span style="color: #
vector&int&
<span style="color: #
trie.query(txt+i, L - i, p);
<span style="color: #
for(int j = <span style="color: #; j & p.size(); j++)
<span style="color: #
d[i] = (d[i] + d[i + len[p[j]]]) % MOD;
<span style="color: #
<span style="color: #
printf("Case %d: %d\n", ++kase, d[<span style="color: #]);
<span style="color: #
<span style="color: #
return <span style="color: #;
<span style="color: # }
　　串的排序问题，就是字符串的排序，就不找题了，关键是使用字典树进行排序，也不能说是用字典树排序，应该是构造字典树，前序遍历输出的问题。关于前序遍历，主要是递归遍历，需要记录进入子树之前的字符串，用于回溯的时候恢复状态。代码如下：
1 #include &cstdio&
2 #include &cstring&
3 #include &vector&
4 #include &iostream&
5 using namespace
7 struct Node {
bool//单词结点标志位
Node* chl[<span style="color: #];
<span style="color: # };
<span style="color: # struct Trie {
<span style="color: #
<span style="color: #
string//保存单词便于输出
<span style="color: #
void init() {//初始化只有一个结点和清空单词字符串
<span style="color: #
root = cret();
<span style="color: #
memset(root-&chl, <span style="color: #, sizeof(root-&chl));
<span style="color: #
p.clear();
<span style="color: #
<span style="color: #
Node* cret() {
<span style="color: #
Node* tmp = new N
<span style="color: #
tmp-&f = false;
<span style="color: #
memset(tmp-&chl, <span style="color: #, sizeof(tmp-&chl));
<span style="color: #
<span style="color: #
<span style="color: #
void insert(char *s) {
<span style="color: #
int len = strlen(s);
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
int c = s[i] - 'a';
<span style="color: #
if(u-&chl[c] == NULL)
<span style="color: #
u-&chl[c] = cret();
<span style="color: #
<span style="color: #
u = u-&chl[c];//往下走
<span style="color: #
<span style="color: #
u-&f = true;//标记该结点为单词结点
<span style="color: #
<span style="color: #
void print(Node* u) {
<span style="color: #
if(u-&f)//如果是单词结点就输出当前单词字符串
<span style="color: #
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i & <span style="color: #; i++) {
<span style="color: #
if(u-&chl[i]) {
<span style="color: #
string tmp =
<span style="color: #
char tmpch = ('a' + i);
<span style="color: #
p = p +//字符串+时不能直接+('a' + i)
<span style="color: #
print(u-&chl[i]);
<span style="color: #
<span style="color: #
p =//恢复成进入子树之前的状态
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: # }
<span style="color: #
<span style="color: # int main()
<span style="color: # {
<span style="color: #
<span style="color: #
char word[<span style="color: #1];
<span style="color: #
//printf("输入待排序单词的个数:\n");
<span style="color: #
scanf("%d", &n);
<span style="color: #
trie.init();
<span style="color: #
while(n--) {
<span style="color: #
scanf("%s", word);
<span style="color: #
trie.insert(word);
<span style="color: #
<span style="color: #
<span style="color: #
trie.print(trie.root);
<span style="color: #
return <span style="color: #;
<span style="color: # }
<span style="color: #
<span style="color: # /*测试样例
<span style="color: # <span style="color: #
<span style="color: # banana
<span style="color: # band
<span style="color: # bee
<span style="color: # absolute
<span style="color: # acm
<span style="color: # */
样例结果如下：
　　 计算公共前缀问题，给出n个单词，问这些单词两两调用strcmp函数共比较了多少次？C/C++中的strcmp函数源码如下：
<span style="color: # int strcmp(char *s, char *t)
<span style="color: # {
<span style="color: #
<span style="color: #
for (i = <span style="color: #; s[i] == t[i]; i++)
<span style="color: #
if(s[i] == '\0')
<span style="color: #
return <span style="color: #;
<span style="color: #
return s[i] - t[i];
<span style="color: # }
&&&&&& 比如aaa和aaa比较，两者相等s[i] == t[i]& 和& s[i] == '\0'各用了四次，共比较了8词，再比如题中所给的than 和that最后一次比较是s[i] == t[i]失败，之前相同的各两次，所以共比较7次，由此可以发现比较次数和公共前缀有关，那就有了字典树的用武之地，建立字典树，采用深度优先搜索，计算每个结点之前的比较次数，按失败的计算，最后遍历到叶结点时，根据相同个数再加上最后一次比较即可。代码如下：
1 #include &cstdio&
2 #include &cstring&
4 const int maxw = <span style="color: #10;
5 const int maxwl = <span style="color: #00;
6 const int maxnode = maxw * maxwl + <span style="color: #;
8 struct Trie {
int head[maxnode];//第i个结点的儿子
<span style="color: #
int next[maxnode];//第i个结点兄弟
<span style="color: #
char ch[maxnode];//第i个结点的字符
<span style="color: #
int tot[maxnode];//以该结点为根结点的子树的数目，跟前缀相同的单词数一样
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
void init() {
<span style="color: #
sz = <span style="color: #;
<span style="color: #
head[<span style="color: #] = next[<span style="color: #] = tot[<span style="color: #] = <span style="color: #;
<span style="color: #
<span style="color: #
void insert(const char *s) {
<span style="color: #
int u = <span style="color: #, len = strlen(s),
<span style="color: #
tot[<span style="color: #]++;
<span style="color: #
<span style="color: #
for(int i = <span style="color: #; i &= i++) {//是 &= 为了表示出相同字符串的数目，注意将'\0'也加入
<span style="color: #
bool found = false;
<span style="color: #
for(v = head[u]; v != <span style="color: #; v = next[v]) {
<span style="color: #
if(ch[v] == s[i]) {
<span style="color: #
found = true;
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
if(!found) {
<span style="color: #
<span style="color: #
ch[v] = s[i];
<span style="color: #
tot[v] = <span style="color: #;
<span style="color: #
<span style="color: #
next[v] = head[u];
<span style="color: #
<span style="color: #
head[v] = <span style="color: #;
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
<span style="color: #
//统计最长公共前缀为u的所有串的比较次数
<span style="color: #
void dfs(int depth, int u) {
<span style="color: #
if(head[u] == <span style="color: #) //叶结点，如果该叶结点没有相同的串，tot[u] == 1对答案没有影响，如果有那么
<span style="color: #
ans += tot[u] * (tot[u] - <span style="color: #) *
<span style="color: #
<span style="color: #
int sum = <span style="color: #;
<span style="color: #
for(int v = head[u]; v != <span style="color: #; v = next[v])//统计当前结点之前的比较次数
<span style="color: #
sum += tot[v] * (tot[u] - tot[v]);//子树v中选择一个，其他子树中选一个
<span style="color: #
//除以2因为统计了两次,所有串的比较次数乘以当前的深度等于总的比较次数
<span style="color: #
//乘以2倍的深度加1是都先按不相等处理，最后到叶子结点再加
<span style="color: #
ans += sum / <span style="color: # * (<span style="color: # * depth + <span style="color: #);
<span style="color: #
for(int v = head[u]; v != <span style="color: #; v = next[v])//统计当前结点的所有子节点的比较次数
<span style="color: #
dfs(depth+<span style="color: #, v);
<span style="color: #
<span style="color: #
<span style="color: #
long long count(){
<span style="color: #
ans = <span style="color: #;
<span style="color: #
dfs(<span style="color: #, <span style="color: #);
<span style="color: #
<span style="color: #
<span style="color: # }
<span style="color: #
<span style="color: # int main()
<span style="color: # {
<span style="color: #
int n, kase = <span style="color: #;
<span style="color: #
char word[maxwl];
<span style="color: #
while(scanf("%d", &n) == <span style="color: # && n) {
<span style="color: #
trie.init();
<span style="color: #
for(int i = <span style="color: #; i & i++) {
<span style="color: #
scanf("%s", word);
<span style="color: #
trie.insert(word);
<span style="color: #
<span style="color: #
printf("Case %d: %lld\n",++kase, trie.count());
<span style="color: #
<span style="color: #
return <span style="color: #;
<span style="color: # }
　　Trie做为AC自动机的数据结构的应用就在AC自动机中具体解释。
　　到此，有关Trie的解析就结束了，本文主要讲述了Trie在编程竞赛中的一些典型应用，想掌握它并不难，关键是配合一些具体的应用和例题帮助自己更具实践性的掌握，可以根据具体的提示和问题，自己实现以下相关的程序，达到活学活用的效果。（原创不易，转载请注明出处哦）
阅读(...) 评论()