Warning: session_start(): open(/tmp/sess_c9cd18f3a09be5aac6d7c800225e0023, O_RDWR) failed: No space left on device (28) in /data/wiki/inc/init.php on line 239
Warning: session_start(): Failed to read session data: files (path: ) in /data/wiki/inc/init.php on line 239
Warning: Cannot modify header information - headers already sent by (output started at /data/wiki/inc/init.php:239) in /data/wiki/inc/auth.php on line 430
Warning: Cannot modify header information - headers already sent by (output started at /data/wiki/inc/init.php:239) in /data/wiki/inc/Action/Export.php on line 103
Warning: Cannot modify header information - headers already sent by (output started at /data/wiki/inc/init.php:239) in /data/wiki/inc/Action/Export.php on line 103
Warning: Cannot modify header information - headers already sent by (output started at /data/wiki/inc/init.php:239) in /data/wiki/inc/Action/Export.php on line 103
====== 字符串基础 ======
===== 定义 =====
==== 字符集 ====
一个**字符集** $\sum$ 是一个建立了全序关系的集合,也就是说,$\sum$ 中的任意两个不同的元素 $\alpha$ 和 $\beta$ 都可以比较大小,要么 $\alpha<\beta$,要么 $\beta<\alpha$。字符集 $\sum$ 中的元素称为字符。
==== 字符串 ====
一个**字符串 $S$** 是将 $n$ 个字符顺次排列形成的序列, $n$ 称为 $S$ 的长度,表示为 $|S|$。$S$ 的第 $i$ 个字符表示为 $S[i]$。(在有的地方,也会用 $S[i-1]$ 表示第 $i$ 个字符。)
==== 子串 ====
字符串 $S$ 的子串 $S[i..j]$,$i\le j$,表示 $S$ 串中从 $i$ 到 $j$ 这一段,也就是顺次排列 $S[i],S[i+1],\cdots,S[j]$ 形成的字符串。
有时也会用 $S[i..j],i>j$ 来表示空串。
==== 子序列 ====
字符串 $S$ 的**子序列**是从 $S$ 中将若干元素提取出来并不改变相对位置形成的序列,即 $S[p_1],S[p_2],\cdots,S[p_k],1\le p_1