数据结构（王道笔记）—— 串

一、定义

  串 （string）是由零个或多个字符组成的有限序列。一般记为$S{=}^{\prime }{a}_1{a}_2...a_n^{\prime }$。
  其中，S是串名，单引号括起来的字符序列是串的值；$n_i$ 可以是字母、数字或其他字符；串中字符的个数n称为串的长度。n=0 时的串称为空串。
  串中任意个连续的字符组成的子序列称为该串的子串，包含子串的串相应地称为主串。某个字符在串中的序号称为该字符在串中的位置。子串在主串中的位置以子串的第一个字符在主串中的位置来表示。当两个串的长度相等且每个对应位置的字符都相等时，称这两个串是相等的。

  串的逻辑结构和线性表极为相似，区别仅在于串的数据对象限定为字符集。在基本操作上串和线性表有很大差别。线性表的基本操作主要以单个元素作为操作对象，如查找、插入或删除某个元素等；而串的基本操作通常以子串作为操作对象，如查找、插入或删除一个子串等

二、存储结构

1、定长顺序存储表示

  类似于线性表的顺序存储结构，用一组地址连续的存储单元存储串值的字符序列。在串的定 长顺序存储结构中，为每个串变量分配一个固定长度的存储区，即定长数组。
  串的实际长度只能小于等于MAXLEN,超过预定义长度的串值会被舍去，称为截断。

#define MAXLEN 255 //预定义最大串长为255 
typedef struct{ 
    char ch[MAXLEN] ; //每个分量存储一个字符 
    int length; //串的实际长度 
}SString;

  串长有 两种表示方法：一是如上述定义描述的那样，用一个额外的变量len来存放串的长度；二是在串 值后面加一个不计入串长的结束标记字符“\0“七此时的串长为隐含值。
  在一些串的操作(如插入、联接等 )中 ，若串值序列的长度超过上界MAXLEN,约 定 用 "截断"法处理，要克服这种弊端，只能不限定串长的最大长度，即采用动态分配的方式。

2、堆分配存储表示

  堆分配存储表示仍然以一组地址连续的存储单元存放串值的字符序列，但它们的存储空间是 在程序执行过程中动态分配得到的。

typedef struct( 
    char *ch; //按串长分配存储区，小指向串的基地址 
    int length; //串的长度 
}HString;

  在 C语言中，存在一个称之为“堆”的自由存储区，并用malloc()和 free()函数来完成动 态存储管理。利用malloc() 为每个新产生的串分配一块实际串长所需的存储空间，若分配成功， 则返回一个指向起始地址的指针，作为串的基地址，这个串由ch指针来指示；若分配失败，则返回NULL。已分配的空间可用free ()释放掉。
  上述两种存储表示通常为高级程序设计语言所采用。块链存储表示仅做简单介绍

3、块链存储表示

  类似于线性表的链式存储结构，也可采用链表方式存储串值。由于串的特殊性(每个元素只 有一个字符)，在具体实现时，每个结点既可以存放一个字符，也可以存放多个字符。每个结点称为块，整个链表称为块链结构。最后一个结点占不满时通常用 ”#“补上。

三、串的模式匹配

暴力时间复杂度：O(mn)
kmp时间复杂度：O(m+n)
详情如下：KMP算法详解【next数组图解】

本文所有概念性描述及图示均来自王道考研数据结构一书