数据结构笔记 第四章

模式匹配——BF算法
从主串S的第0个字符开始和模式T 的第0个字符进行比较，
若相等，则继续比较两者的后续字符；
否则，从主串S的第1个字符开始和模式T 的第0个字符进行比较，
重复上述过程，直到T 中的字符全部比较完毕，则说明本趟匹配成功；或S中字符全部比较完，则说明匹配失败。

模式匹配——KMP算法
1.在串S和串T中分别设比较的起始下标i和j；
2. 循环直到S中所剩字符长度小于T的长度或T中所有字符均比较完毕
2.1 如果S[i]==T[j]，继续比较S和T的下一个字符；否则
2.2 将j向右滑动到next[j]位置，即j=next[j]；
2.3 如果j=-1，则将i和j分别加1，准备下一趟比较；
3. 如果T中所有字符均比较完毕，则返回匹配的起始下标；否则返回-1；

数组是由一组类型相同的数据元素构成的有序集合，每个元素受n(n≥1)个线性关系的约束，并称该数组为 n 维数组。

矩阵的压缩存储
存储结构定义：
const int MaxTerm=100;
template
struct SparseMatrix
{
T data[MaxTerm]; //存储非零元素
int mu, nu, tu; //行数，列数，非零元个数
};

广义表与线性表的区别？
线性表的成分都是结构上不可分的单元素
广义表的成分可以是单元素，也可以是有结构的表
线性表是一种特殊的广义表
广义表不一定是线性表，也不一定是线性结构

广义表的基本运算
（1）求表头GetHead(L)：非空广义表的第一个元素，可以是一个单元素，也可以是一个子表
（2）求表尾GetTail(L)：非空广义表除去表头元素以外其它元素所构成的表。表尾一定是一个表

广义表的存储结构——头尾表示法
enum Elemtag {Atom, List};

template
struct GLNode {
Elemtag tag;
union {
T data;
struct
{
GLNode *hp, *tp;
} ptr;
};
};