符号约定

文本记号

  • $\color{red}\dag$: 表示存疑的内容.
  • 第一次出现的或复杂, 深刻的概念用粗体字标记.
  • 引用内容用斜体字标记.

数学符号

  • 高斯括号: $[s]$ 表示如果 $s$ 为真, 那么值为 $1$, 否则为 $0$.
  • 正整数集: $[n] (n \in \mathbb{Z}^+)$ 表示 $\{x \in \mathbb{Z}: 1 \le x \le n\}$.
  • 字符串一律以下标 $1$ 开始.
  • 子串: $s_{[l,r]}$ 表示子串, 子串是连续的. 存在 $s$ 的子串等于串 $t$ 记作 $t \subseteq s$.
  • 字符串拼接: 直接将两个字符串连接(即乘法记号)表示字符串拼接, 此时幂表示重复拼接. 为了方便, 有时候也用 $s+t$ 表示 $s$ 和 $t$ 的拼接, 注意自行区分, 或查找对应文中的说明.