数据结构与算法分析引论

GinShio 收录于类别和系列数据结构与算法分析

08-15 04-07 约 2050 字预计阅读 10 分钟

系列 - 数据结构与算法分析

I will, in fact, claim that the difference between a bad programmer and a good one is whether he considers his code or his data structures more important. Bad programmers worry about the code. Good programmers worry about data structures and their relationships.

— Linus Torvalds

基本的数学知识

首先我们需要复习一些在初高中可能学过的基础数学知识。

集合

集合 (Set) 是基本的数学概念，指具体的某种性质的事物的总体，集合中的事物称之为元素 (element)。

element 通常使用小写字母表示，而 set 通常使用大写字母表示。若 \(x\) 是集合 \(A\) 中的元素，记作 \(x \in A\) ；反之不在集合中记作 \(x \notin A\) 。当两个 set 中所包含的 element 完全一样时，就称这两个 set 相等，记作 \(A = B\) 。

集合中的所有元素地位相同，元素间是无序的。这些元素是唯一的，即在同一个集合中对一个元素只包含一次。而元素只有存在或不存在于这个集合两种状态。而我们常用的集合有以下几种：

集合	符号
自然数	\(\mathbb{N}\)
整数	\(\mathbb{Z}\)
有理数	\(\mathbb{Q}\)
实数	\(\mathbb{R}\)
复数	\(\mathbb{C}\)

使用上角标 \(*\) 表示去零之后的集合，而上角标 \(+\) 和 \(-\) 分别表示只包含正数部分与负数部分的集合。如果希望包含零 (比如非负数集合) 则可以在使用上角标的同时使用下角标 \(0\) 。

运算

模运算 简单的说就是 取余数 ，在数学上被称为同余 (congruent)，记作 \(A \equiv B (mod\ N)\) 。这意味着无论 A 还是 B 被 N 除，其余数都是相同的，即 \(81 \equiv 61 \equiv 1 (mod\ 10)\) 。同余在 programming 中用的还是比较多的，大部分语言中使用 % 代表同余运算。这里我们着重列一些同余的性质，至于证明亲请放过我！

传递性: 当有 3 个数，其中 a 与 b 同余 N、b 与 a 同余 N，则 a、c 同余 N \[a \equiv b (mod\ N), b \equiv c (mod\ N) \Longrightarrow a \equiv c (mod\ N)\]
保持运算: \[a \equiv b (mod\ N), c \equiv d (mod\ N) \Longrightarrow a \pm c \equiv b \pm d (mod\ N),\ ac \equiv bd (mod\ N)\] 可以引申该性质: \[a \equiv b (mod\ N) \Longrightarrow an \equiv bn (mod\ N) (\forall n \in \Z),\ a^{n} \equiv b^{n} (mod\ N) (\forall n \in \mathbb{N}^{0})\]
放大缩小底数: \[k \in \Z, n \in \Z^{+} \Longrightarrow (kN \pm a)^{n} \equiv (\pm a)^{n} (mod\ N)\]
放大缩小模数: \[k \in \mathbb{N}^{*}, a \equiv b (mod\ N) \Longrightarrow \exists! \ ka \equiv kb (mod\ kN)\]
除法原理: \[ka \equiv kb (mod\ N), k \bot N \Longrightarrow a \equiv b (mod\ N)\]
费马小定理: \[p \in \mathbb{P} \Longrightarrow a^{p-1} \equiv 1 (mod\ p)\]
欧拉定理: \[N \in \Z^{+}, a \in \Z^{+}, gcd(a, N) = 1 \Longrightarrow a^{\varphi(N)} \equiv 1 (mod\ N)\]

下来说一下运算法则，最不成问题的应该是幂运算，其次是幂的逆运算 – 对数。最后的级数，嗯，就不会说了 ~~，我也不会~~ 。

指数	对数	级数
\(X^{A}X^{B} = X^{A+B}\)	\(\log_{}{AB} = \log_{}{A} + \log_{}{B}\)	\(\sum_{i=1}^{N}{i} = \dfrac{N(N + 1)}{2} \approx \dfrac{N^{2}}{2}\)
\(\dfrac{X^{A}}{X^{B}} = X^{A-B}\)	\(\log_{}{\dfrac{A}{B}} = \log_{}{A} - \log_{}{B}\)	\(\sum_{i=1}^{N}{i^{2}} = \dfrac{N(N + 1)(2N + 1)}{6} \approx \dfrac{N^3}{3}\)
\((X^{A})^{B} = X^{AB}\)	\(\log_{}{A^{B}} = B \log_{}{A}\)	\(\sum_{i=1}^{N}{i^{k}} \approx \dfrac{N^{k + 1}}{\lvert k + 1 \rvert}\), \((k \neq -1)\)
\(X^{N} + X^{N} = 2 X^{N} \neq X^{2N}\)	\(\log_{A}{B} = \dfrac{\log_{C}{B}}{\log_{C}{A}}\)	\(\sum_{i=1}^{N}{A^{i}} = \dfrac{A^{N+1} - 1}{A - 1}\)
\(2^{N} + 2^{N} = 2^{N + 1}\)	\(\log_{A^{C}}{B^{D}} = \dfrac{D}{C}\log_{A}{B}\)	\(\sum_{i=n_{0}}^{N}{f(i)} = \sum_{i=1}^{N}{f(i)} - \sum_{i=1}^{n_{0}-1}{f(i)}\)

算法分析

数学基础

算法 (Algorithm) 是为求解一个问题所需要遵循的、被清楚地指定的简单指令集合。对于一个问题，一旦某种算法给定并且被确定是正确的，那么重要的一步是确定该算法将需要多少如时间或空间等资源量的问题。首先介绍以下四个定义：

大 \(\mathcal{O}\) 符号 (big O notation)，又称 渐近符号 ，用于描述一个函数的数量级渐近上界，记作 \(T(N) = \mathcal{O}(f(N))\) 。

\[\exists c \in \mathbb{N}^{*}, \exists n_{0} \in \mathbb{N}^{*}, N \geq n_{0} \Longrightarrow T(N) \leq c f(N)\]

例如有 \(T(n) = 4n^{2} - 2n + 2\) ，写作 \(T(n) \in \mathcal{O}(n^{2})\) 或 \(T(n) = \mathcal{O}(n^2)\)

符号	名称
\(\mathcal{O}(1)\)	常数阶
\(\mathcal{O}(\log_{}{n})\)	对数阶
\(\mathcal{O}[(\log_{}{n})^{c}]\)	多对数阶
\(\mathcal{O}(n)\)	线性阶
\(\mathcal{O}(n \log_{}^{*}{n})\)	迭代对数阶
\(\mathcal{O}(n \log_{}{n})\)	线性对数阶
\(\mathcal{O}(n^{2})\)	平方阶
\(\mathcal{O}(n^{c}), c \in \mathbb{N}^{*}\)	多项式阶 (代数阶)
\(\mathcal{O}(c^{n})\)	指数阶 (几何阶)
\(\mathcal{O}(n!)\)	阶乘阶 (组合阶)

大 \(\Omega\) 符号 (big Omega notation)，与 big O notation 类似，big O 表示函数增长到一定程度时总小于一个特定函数的常数倍，big Omega 则表示总大于一个特定函数的常数倍。记作 \(T(N) = \Omega(f(N))\) 。

\[\exists c \in \mathbb{N}^{*}, \exists n_{0} \in \mathbb{N}^{*}, N \geq n_{0} \Longrightarrow N \geq c f(N)\]
大 \(\Theta\) 符号 (big Theta notation)，是 big O 与 big Omega 的结合，由 Knuth 教授于 1970 年提出。这是在教科书上容易被误用的符号，可能会将 \(\Theta\) 误用为 \(\mathcal{O}\) 。

\[\exists!\ T(N) = \mathcal{O}(f(N)), \exists!\ T(N) = \Omega(f(N)) \Longrightarrow T(N) = \Theta(f(N))\]
小 \(\mathcal{o}\) 符号 ，如果说 bit O 是无穷大渐近，那么小 o 符号则表示的是无穷小渐近，记作 \(T(N) = \mathcal{o}(f(N))\) 。

\[\forall c \in N^{*}, \exists n_{0}, N > n_{0} \Longrightarrow T(N) < c f(N)\]

\(T(N) = \mathcal{o}(f(N))\) 或者用 big O 与 big Theta 来理解小 o 符号： \[T(N) = \mathcal{O}(f(N)) \land T(N) \neq \Theta(f(N)) \Longrightarrow T(N) = \mathcal{o}(f(N))\]

可以发现，在使用 \(\mathcal{O}\) 时常常可以忽略低阶项或常数项，当然也会忽略高阶项的系数。因此 \(\mathcal{O}\) 是一种精度较低的估计。

我们可以通过计算极限 \(\lim_{N \to \infty}{\dfrac{f(N)}{g(N)}}\) 来确定函数 \(f(N)\) 与 \(g(N)\) 的相对增长率。最终我们可以求解 (比如说洛必达法则) 出四种可能性：

\(\lim=0\) ，即 \(f(N)\) 是 \(g(N)\) 的高阶无穷小，这意味着 \(f(N) = \mathcal{o}(g(N))\)
\(\lim=c (c \neq 0)\) ，即 \(f(N)\) 是 \(g(N)\) 的同阶无穷小，这意味着 \(f(N) = \Theta(g(N))\)
\(\lim=\infty\) ，即 \(f(N)\) 是 \(g(N)\) 的低阶无穷小，这意味着 \(g(N) = \mathcal{o}(f(N))\)
\(\lim=\nexists\) ，即极限不存在，这意味着二者无关

需要注意的是，我们不要说 \(f(N) \leq \mathcal{O}(g(N))\) ，因为 \(\mathcal{O}\) 定义中已经蕴含了不等式；写作 \(f(N) \geq \mathcal{O}(g(N))\) 则是错误的，因为其没有意义。

要分析的问题

一般需要分析的最重要的资源是运行时间，有多个因素影响程序的运行时间。除了编译器与计算机等超出理论模型的范畴，主要因素是使用的算法以及对该算法的输入。

我们需要明白，虽然实现方面我们可以使用不同编程语言，但是我们往往忽略编程语言的细节所带来的影响，虽然不同语言的实现存在着运行时间的差异。

典型情况下，输入的大小是主要的讨论因素。我们定义函数 \(T_{avg}(N)\) 与 \(T_{worst}(N)\) 分别表示对于输入 N 所花费的平均情形与最坏情形的运行时间，显然 \(T_{avg}(N) \leq T_{worst}(N)\) 。一般最好结果不在分析范围内，因为其不代表典型结果。平均情形性能往往可以反应出该算法的典型结果，而最坏情形的性能则是算法对于任何输入在性能上的保证。

一般来说，在无特殊说明时，所需要的量就是最坏情况的运行时间，因为它对所有输出提供了一个界限，而平均情形并不提供这样的界。

运行时间计算

为了让我们更有效的分析算法，我们约定 不存在 特定的时间单位，因此我们只需要计算 \(\mathcal{O}\) 运行时间。由于 \(\mathcal{O}\) 是上界，我们不能低估程序的运行时间，这是对程序运行时间的保证。

一般法则

顺序语句的运行时间是各个语句运行时间求和
选择语句的运行时间是判断与分支中的最长运行时间之和
循环语句其运行时间至多是该 for 循环内语句的运行时间乘以迭代的次数

不过我们需要注意一点，就是递归 (recursion)，虽然其中可能只使用到顺序与选择语句，但其是隐含的循环结构。如果你对递归的认识并不是很好，可以学习 SICP 的第一章 ~ 构造过程的抽象~ ，使用 Scheme 进行学习与构造的过程中是十分愉快的。

使用 SICP 中的例子，递归可以分为 线性递归 与 树形递归，在 recursion 应用中，前者的典型示例是阶乘，而后者的典型示例是 Fibonacci 数列。

以阶乘为示例，翻译为简单的数学表达式 \(n! = n \cdot [(n - 1) \cdot (n - 2) \cdots 3 \cdot 2 \cdot 1] = n \cdot (n - 1)!\) ，递归的进行阶乘的求解，构造起一个 推迟进行的操作 所形成的链条，收缩阶段表现为这些运算的实际执行。忽略程序运行时进行的函数调用开销，这个程序的时间复杂度为 \(\mathcal{O}(N)\) ，保证对于任何输入都可以在关于 N 的线性时间完成。

1
2
3
4


(define (factorial n)
  (if (or (= n 1) (= n 0))
      1
      (* n (factorial (- n 1)))))

以 Fibonacci 数列 \(F(n) = F(n - 1) + F(n - 2), F(0) = F(1) = 1\) 为示例，在求解第 n 个 fibonacci 数时，我们需要对第 \(n - 1\) 个和第 \(n - 2\) 个数进行分别求解，然后对第 \(n - 1\) 个数也如此求解。最终我们的递归构造起一个树形的推迟计算结构，并在收缩时进行了很多冗余计算。对于示例程序，其运行时间为 \(T(N) = T(N - 1) + T(N - 2) + 2\) ，利用数学归纳法可以得知 \(fib_{N} < (5/3)^{N}\) 并且 \(F_{N} \geq (3/2)^{N}\) ，这个运算的时间将随着 N 的增加而指数级增加。

1
2
3
4
5


(define (fib n)
  (cond ((= n 0) 1)
        ((= n 1) 1)
        (else (+ (fib (- n 1))
                 (fib (- n 2))))))

示例：最大子数组和问题

给定序列 \(A_{1}, A_{2}, \dots, A_{N}\) ，且 \(A_{i} \in \mathbb{Z}\) ，求 \(\sum_{k=i}^{j}{A_{k}}\) 的最大值。

例如，对于输入 \(-2, 11, -4, 13, -5, -2\) ，其答案为 \(20\)

对于该问题有四种差异极大的解决方法，其时间复杂度分别为 \(\mathcal{O}{N^{3}}\) 、 \(\mathcal{O}{N^{2}}\) 、 \(\mathcal{O}{N \log_{}{N}}\) 以及 \(\mathcal{O}{N}\) 。对于小输入来说，无论选取哪种方式，计算机总能很快完成其给定输入；但数据输入到达一定大的数量级时，其前两种算法的时间复杂度实在太大了，以至于它们十分缓慢，不再适合解决该问题。

朴素算法，时间复杂度为 \(\mathcal{O}(N^{3})\)

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15


int max_subarray_sum(const int arr[], const int len) {
  int ans = 0;
  for (int i = 0; i < len; i++) {
    for (int j = i; j < len; j++) {
      int sum = 0;
      for (int k = i; k <= j; k++) {
        sum += arr[k];
      }
      if (sum > ans) {
        ans = sum;
      }
    }
  }
  return ans;
}

该算法在 6 ~ 8 行由一个隐含于三层 for 循环中的 \(\mathcal{O}(1)\) 语句组成，循环大小为 N (虽然它们是 \(N - i\) 和 \(j - i + 1\) ，但最坏情况为 \(N\))，总开销为 \(\mathcal{O}(1 \cdot N \cdot N \cdot N) = \mathcal{O}(N^{3})\) 。第 9 ~ 11 行语句开销 \(\mathcal{O}(N^{2})\) 。因此我们可以忽略低阶表达式带来的影响，其最终的分析答案为 \(\Theta(N^{3})\) 。

优化算法到 \(\mathcal{O}(N^{2})\)
我们观察到第三层循环是 \(\sum_{k=i}^{j}{A_{k}} = A_{j} + \sum_{k=i}^{j-1}{A_{k}}\) ，而第二层循环即从 i 到 len 循环整个数组，而 \(j = i\) 时 \(\sum_{k=i}^{j}{A_{k}} = A_{j}\) ，而在循环时完全可以将第三层循环去除，累加 \(A_{i}\) ~ \(A_{len}\) 并在累加过程中与当前最大结果进行比较。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


int max_subarray_sum(const int arr[], const int len) {
  int ans = 0;
  for (int i = 0; i < len; i++) {
    int sum = 0;
    for (int j = i; j < len; j++) {
      sum += arr[j];
      if (sum > ans) {
        ans = sum;
      }
    }
  }
  return ans;
}

时间复杂度为 \(\mathcal{O}(N)\) 的 Recursion 解法 (分治算法)
对于一个区间 \([l, r]\) 我们取 \(\lfloor\dfrac{l+r}{2}\rfloor\) 分治区间，直到区间长度为 1 后开始收缩。对于每段区间，需要定义四种变量来维护区间的最大子数组和 a. \([l, r]\) 内以 l 为左端点的最大子数组和，记作 lr_lsum b. \([l, r]\) 内以 r 为右端点的最大子数组和，记作 lr_rsum c. \([l, r]\) 内的最大子数组和，记作 lr_msum d. \([l, r]\) 的区间和，记作 lr_sum 假设 \(m = \lfloor\dfrac{l+r}{2}\rfloor\) ，称区间 \([l, m]\) 为左区间，\([m + 1, r]\) 为右区间，在合并区间时 a. \([l, r]\) 的 lr_lsum 为 \(max(lm\_lsum, lm\_sum + mr\_lsum)\) b. \([l, r]\) 的 lr_rsum 为 \(max(mr\_rsum, mr\_sum + lm\_rsum)\) c. \([l, r]\) 的 lr_msum 为 \(max(lm\_msum, mr\_msum, lm\_rsum + mr\_lsum)\) 如此我们可以轻松获取到整个区间的最大值

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19


struct State { int lsum, rsum, msum, sum; };
struct State push_up(struct State l, struct State r) {
  return (struct State) {
    .lsum = fmax(l.lsum, l.sum + r.lsum),
    .rsum = fmax(r.rsum, r.sum + l.rsum),
    .msum = fmax(fmax(l.msum, r.msum), l.rsum + r.lsum),
    .sum = fmax(l.sum, r.sum),
  };
}
struct State get(const int arr[], const int l, const int r) {
  if (l == r) {
    return (struct State){arr[l], arr[l], arr[l], arr[l]};
  }
  int m = (l + r) >> 1;
  return push_up(get(arr, l, m), get(arr, m + 1, r));
}
int max_subarray_sum(const int arr[], const int len) {
  return get(arr, 0, len - 1);
}

对数级增长

对数级增长通常发生在分治算法中，或者其他算法中。如果一个算法用 常数时间 (\(\mathcal{O}(1)\)) 将问题的大小削减为其一部分 (通常为 \(1/2\))，则该算法就是 \(\mathcal{O}(\log_{}{N})\) 的。比如说在二分算法、欧几里得算法 (迭代法求最大公因数) 或快速幂算法。

抽象数据类型

抽象数据类型 (Abstract Data Type, ADT) 是带有一组操作的一些对象的集合。ADT 是数学抽象，在 ADT 的定义中根本又有提到这组操作是如何实现的。对于不同的数据结构，其存储的数据都是抽象数据，可以是整数、浮点数、布尔数或其他符合 ADT 要求的数据类型。对于不同的 ADT 也有不同的操作，比如线性 ADT 可以有 insert (插入)、移除 (remove)、大小 (size) 等等，集合 ADT 还可以有其他操作，比如并 (union)、查找 (find) 等。

对于适当地隐藏实现细节，如此程序中需要对 ADT 实施操作的任何其他部分可以通过调用适当的方法来进行。如果出于某些原因需要更改实现细节，那么通过仅仅改变执行这些 ADT 操作的例程是十分轻松的，而这些修改对于程序的其他部分是 透明的 (transparent)。

ADT 并不是必须实现这些操作，而是一种 设计决策 。错误处理和结构调整一般取决于程序的设计者。比如说 C++ 的 STL，标准中只定义了每种容器的接口，和每个接口的时间复杂度和要求。

容器与迭代器

容器 (Container) 是一类特殊的类型，它是存放数据的集合，不同类型的 Container 有着不同的适用场景。容器主要分为四大类：

顺序容器 (sequence container)：实现能按顺序访问的数据结构
关联容器 (associative container)：实现能快速查找 (\(\mathcal{O}(\log_{}{N})\)) 的数据结构
无序关联容器 (unordered associative container)：实现能快速查找 (\(\mathcal{O}_{avg}(1), \mathcal{O}_{worst}(N)\)) 的无序数据结构
容器适配器 (container adaptor)：提供顺序容器的不同接口

容器其实是一组特殊的数据结构，为编程过程中提供便利。其中 associative container 主要使用 红黑树 (red-black tree) 作为底层实现，这是我们之后需要学习的树的一种； unordered associative container 底层使用 Hash (散列) 进行实现；container adaptor 则是对 sequence container 的接口进行再封装，所实现的一种受限容器。

为了更轻松的访问容器，实现容器元素的遍历 (traverse)，从而无需关心容器对象的内存分配的实现细节，从而引入 迭代器 (iterator) 的概念。iterator 依据功能的不同被分为了不同的种类，且约束 (constraint) 逐渐增强。

分类	名称	功能
遗留迭代器	LegacyIterator	描述可以用来标识和遍历容器中的元素的类型
向前迭代器	ForwardIterator	能从所指向的元素读取数据的 LegacyIterator
双向迭代器	BidirectionalIterator	能双向移动 (即自增自减) 的 ForwardIterator
随机访问迭代器	RandomAccessIterator	能在常数时间内移动到指向任何元素的 BidirectionalIterator
连续迭代器	ContiguousIterator	其所指向的逻辑相邻元素也在内存中物理上相邻的 RandomAccessIterator

虽然上述这些关于 Container 与 Iterator 的概念从 C++ 而来，但在不同编程语言中差别不大，是一种较为通用的概念。

概念与约束

这是一个 C++ 20 中添加的特性，可以与 constraint 关联，它指定对模板实参的一些要求，这些要求可被用于选择最恰当的函数重载和模板特化。这与 Haskell 的类型类相似，限制可以接受的对象的类型，并对其进行 constraint。在不同语言中有不同的类似概念，如果你想了解更多关于它们区别的内容，可以移步这里。 ~~对不住了，我能力有限啊！~~

迭代器

首先介绍 iterator 的 concept，你可以将 iterator 想象成一个指向元素的指针。 container 的 concept 依赖于 iterator，但 iterator 的具体实现依赖于 container。

LegacyIterator

1
2
3
4
5
6


template <class I>
concept iterator = requires(I i) {
    {   *i } -> Referenceable;     // 1
    {  ++i } -> std::same_as<I&>;  // 2
    { *i++ } -> Referenceable;     // 3
} && std::copyable<I>;             // 4

LegacyIterator 要求：

对于 I 类型的对象 i 可以解引用并返回对数据的引用
对于 I 类型的对象 i 可以自增且返回的是对自身的引用
对于 I 类型的对象 i 可以返回对数据的引用并使其自增
必须是可复制的

ForwardIterator

 1
 2
 3
 4
 5
 6
 7
 8
 9
10


template <class I>
concept forward_iterator = input_iterator<I> &&                  // 1
    std::constructible_from<I> &&                                // 2
    std::is_lvalue_reference_v<std::iter_reference_t<I>> &&      // 3
    std::same_as<std::remove_cvref_t<std::iter_reference_t<I>>,  // 4
                 typename std::indirectly_readable_traits<I>::value_type> &&
    requires(I i) {
        {  i++ } -> std::convertible_to<const I&>;
        { *i++ } -> std::same_as<std::iter_reference_t<I>>;
    };

ForwardIterator 要求：

I 是一个 LegacyInputIterator
可以从 I 构造
I 的引用的元素类型可被左值引用
I 的引用的元素类型可被读

BidirectionalIterator

1
2
3
4
5
6
7


template <class I>
concept bidirectional_iterator = forward_iterator<I> &&  // 1
    requires(I i) {
        {  --i } -> std::same_as<I&>;                   // 2
        {  i-- } -> std::convertible_to<const I&>;
        { *i-- } -> std::same_as<std::iter_reference_t<I>>;
    };

BidirectionalIterator 要求：

I 是一个 ForwordIterator
对于 I 类型的对象 i 可以自减并返回自身的引用

RandomAccessIterator

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12


template <class I>
concept random_access_iterator = bidirectional_iterator<I> &&  // 1
    std::totally_ordered<I> &&                                 // 2
    requires(I i, typename std::incrementable_traits<I>::difference_type n) {  // 3
        { i += n } -> std::same_as<I&>;                               // 3.1
        { i -= n } -> std::same_as<I&>;                               // 3.2
        { i +  n } -> std::same_as<I>;                                // 3.3
        { n +  i } -> std::same_as<I>;                                // 3.4
        { i -  n } -> std::same_as<I>;                                // 3.5
        { i -  i } -> std::same_as<decltype(n)>;                      // 3.6
        {  i[n]  } -> std::convertible_to<std::iter_reference_t<I>>;  // 3.7
    };

RandomAccessIterator 要求：

I 是一个 BidirectionalIterator
对于 I 类型的对象进行比较，其结果符合严格全序要求
对于 I 类型的对象 i 与 I 类型的关联差类型 n：
1. i 以 \(\mathcal{O}(1)\) 时间复杂度向前步进 n 并返回对其自身的引用
2. i 以 \(\mathcal{O}(1)\) 时间复杂度向后步进 n 并返回对其自身的引用
3. i 的副本以 \(\mathcal{O}(1)\) 时间复杂度向前步进 n 并返回
4. 同 3
5. i 的副本以 \(\mathcal{O}(1)\) 时间复杂度向后步进 n 并返回
6. \(i_{1}\) 与 \(i_{2}\) 的关联差，即计算 \(i_{i} - i_{2}\)
7. 随机对 i 进行访问并返回元素的引用，即 \(*(i + n)\)

ContiguousIterator

1
2
3
4
5
6


template <class I>
concept contiguous_iterator = std::random_access_iterator<I> &&
    requires(const I& i) {
        { std::to_address(i) } ->
            std::same_as<std::add_pointer_t<std::iter_reference_t<I>>>;
    };

ContiguousIterator 要求：设 a 与 b 为 I 类型的可解引用迭代器，c 为 I 类型的不可解引用迭代器，使得 b 从 a 可抵达而 c 从 b 可抵达。类型 I 实现 contiguous_iterator 仅若其所蕴含的所有概念均被实现，且： \[address_{a} = address_{*a} \quad \land \quad address_{b} = address_{a} + (b - a) \quad \land \quad address_{c} = address_{a} + (c - a)\]

容器

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27


template <class T>
concept container = requires(T a, const T b) {
    requires regular<T>;  // 1
    requires swappable<T>;  // 2
    requires erasable<typename T::value_type>;  // 3
    requires same<typename T::reference, typename T::value_type&>;  // 4
    requires same<typename T::const_reference, const typename T::value_type&>; // 4
    requires forward_iterator<typename T::iterator>; // 5
    requires forward_iterator<typename T::const_iterator>; // 5
    requires unsigned<typename T::size_type>; // 6
    requires signed<typename T::difference_type>; // 7
    requires same<typename T::difference_type,
                  typename std::iterator_traits<typename T::iterator>::difference_type>; // 8
    requires same<typename T::difference_type,
                  typename std::iterator_traits<typename T::const_iterator>::difference_type>; // 8
    { a.begin() } -> typename T::iterator;
    { a.end() } -> typename T::iterator;
    { b.begin() } -> typename T::const_iterator;
    { b.end() } -> typename T::const_iterator;
    { a.cbegin() } -> typename T::const_iterator;
    { a.cend() } -> typename T::const_iterator;
    { a.size() } -> typename T::size_type;
    { a.max_size() } -> typename T::size_type;
    { a.empty() } -> boolean;
    a.clear();
    a.swap(a);
};

对于容器类型 T，其中包含的元素类型 value_type ，迭代器类型 iterator 与 const_iterator ，元素的引用类型 reference 与 const_reference ，关联差类型 difference_type ，大小相关类型 size_type

T 是 正则的 ，即它可复制、可默认构造且可比较相等
T 可交换
value_type 是可擦除的
value_type 的引用类型与 reference 相同
iterator 满足 forward_iterator 要求
size_type 是无符号类型
difference_type 是有符号的
difference_type 与 iterator 的关联差类型相同

container 拥有以下函数

函数名称	操作说明
begin()	获取指向起始位置的 `iterator`
end()	获取指向末尾位置的 `iterator`
cbegin()	获取指向起始位置的 `const_iterator`
cend()	获取指向末尾位置的 `const_iterator`
size()	获取当前容器还有的元素数量
`max_size()`	获取荣去最多可容纳的元素数量
empty()	判断容器是否为空
clear()	将容器内元素清空
swap(a)	将当前容器内容与容器 a 交换

目录