程序员的数学基础课：编程中的数学思维

客官°小女子只卖身不卖艺 2023-01-13 05:41 127阅读 0赞

本文将从编程的角度出发，重新梳理这些内容，作为第一篇“基础思想”的总结。

# 5.1　数据结构、编程语言和基础算法 #

这一节我们汇总数学在常见的数据结构、编程语言和基础算法中的体现，让你对数学和编程的关系有个新的认识。

# 5.1.1　数据结构 #

先来看一些基本的数据结构，你可别小看这些数据结构，它们其实就是一个个解决问题的“模型”。有了这些模型，你就能将一个个具体的问题抽象化，然后再来解决。这里从最简单的数据结构数组开始介绍。自从你开始接触计算机编程，数组一定是你经常使用的数据结构，它的特点也很鲜明。数组可以通过下标直接定位到所需的数据，因此数组特别适合快速地随机访问。它常常和循环语句相结合来实现迭代法，例如二分搜索、斐波那契数列等。另外，将要在第三篇“线性代数”介绍的矩阵也可以使用多维数组来表示。不过，数组只对稠密的数列更有效。如果数列非常稀疏，那么很多数组的元素就是无效值，浪费了存储空间。此外，数组中元素的插入和删除也比较麻烦，需要进行数据的批量移动。

那么对稀疏的数列而言，使用什么样的数据结构更有效呢？答案是链表。链表中的结点存储了数据，而链表结点之间的相连关系，在C和C++语言中是通过指针来实现的，而在Python和Java语言中是通过对象引用来实现的。链表的特点是不能通过下标来直接访问数据，而必须按照存储的结构逐个读取。这样做的优势在于，不必事先规定数据的数量，也不再需要保存无效的值，因而表示稀疏的数列时可以更有效地利用存储空间，同时也利于数据的动态插入和删除。但是，相对于数组，链表无法支持快速地随机访问，所以进行读写操作时就更耗时。和数组一样，链表也可以是多维的。对于非常稀疏的矩阵，也可以用多维链表的结构来表达。此外，在链表结构中，点和点之间的连接，分别体现了图论中的顶点和边。因此，我们还可以使用指针、对象引用等来表示图结构中的顶点和边。常见的图模型，例如多叉树、无向图和有向图等，都可以用指针或引用来实现。

在数组和链表这些基础的数据结构之上，我们可以构建更复杂的数据结构，如哈希表、队列和栈等。这些数据结构，提供了逻辑更复杂的模型，可以通过数组、链表或这两者的结合来实现。在第1章中，我提到过哈希的概念，而哈希表就可以通过数组和链表来构造。在很多编程语言中，哈希表的实现采用的就是链式哈希表。这种方法的主要思想是，先分配一个很大的数组空间，而数组中的每一个元素都是一个链表的头部。随后，我们就可以根据哈希函数算出的哈希值（也叫哈希的key）找到数组中的某个元素及其对应的链表，然后将数据添加到这个链表中。之所以要这样设计，是因为存在哈希冲突。对于不同的数据，哈希函数可能产生相同的哈希值，这就是哈希冲突。如果数组的每个元素都只能存放一个数据，那就无法解决冲突。如果每个元素对应了一个链表，那么当发生冲突的时候，我们就可以将多个数据添加到同一个链表中。可是，将多个数据存放在一个链表中就代表访问效率不高。所以，我们要尽量找到一个合理的哈希函数，减少冲突发生的机会，提升检索的效率。第1章中还提到了使用求余相关的操作来实现哈希函数。我在这里举个例子，如图5-1所示。

![1b9e1b5488bc3170f576dc9e23109e8a.png][]

图5-1　基于数组和链表实现的哈希结构，解决了哈希冲突

我们将对100求余作为哈希函数。因此数组的长度是100。对于每一个数据，通过它对100求余，确定它在数组中的位置。如果多个数据的求余结果一样，就产生冲突，使用链表来解决。可以看到，图5-1中键为98的链表没有冲突，而0、1、2、3和99的链表都有冲突。

介绍了哈希，再来看看栈这种数据结构。我在介绍树的深度优先搜索时讲到过栈。它是先进后出的。在进行函数递归的时候，函数调用和返回的顺序也是先进后出，所以，栈体现了递归的思想，可以实现基于递归的编程。实际上，计算机系统里的函数递归，在内部也是通过栈来实现的。虽然直接通过栈来实现递归不如函数递归调用那么直观，但是，由于栈可以避免使用过多的中间变量，它可以节省内存空间。

在介绍广度优先搜索策略时，我谈到了队列。队列和栈最大的不同在于，它是一种先进先出的数据结构，先进入队列的元素会优先得到处理。队列模拟了日常生活中人们排队的现象，其思想已经延伸到很多大型的数据系统中，例如消息队列。在消息系统中，生产者会源源不断地推送新的消息，而消费者会对这些消息进行处理。可是，有时消费者的处理速度会慢于生产者推送的速度，这会带来很多复杂的后续问题，因此可以通过队列实现消息的缓冲。新产生的数据会先进入队列，直到消费者处理它。经过这样的异步处理，消息队列实现了生产者和消费者的松耦合，对消费者起到了保护作用，使它不容易被数据洪流冲垮。相比于哈希表，队列和栈更为复杂的数据结构是基于图论中的各种模型，例如各种二叉树、多叉树、有向图和无向图等。通常，这些模型表示了顶点和顶点之间的稀疏关系，所以它们常常是基于指针或者对象引用来实现的。我在讲前缀树、社交关系图和交通导航的案例中，都使用了这些模型。另外，树模型中的多叉树、特别是二叉树体现了递归的思想。之前的递归方式编程的案例中的图示也可以对应到多叉树的表示。

# 5.1.2　编程语句 #

在学习编程的时候，我们都接触过条件语句、循环语句和函数调用这些基本的语句。条件语句的一个关键元素是布尔表达式。它其实体现了逻辑代数中逻辑和集合的概念。第1章介绍过逻辑代数，它也被称为布尔代数，主要包括逻辑表达式及其相关的逻辑运算，可以帮助我们消除自然语言所带来的歧义，并严格、准确地描述事物。在编程语言中，我们将逻辑表达式和控制语言结合起来，例如Java语言的if语句：

if(表达式) \{函数体1\} else \{函数体2\}：若表达式为真，执行函数体1，否则执行函数体2

当然，逻辑代数在计算机中的应用远不止条件语句，例如SQL语言中的Select语句和布尔检索模型。Select是SQL查询语言中十分常用的语句。这个语句将根据指定的逻辑表达式，在一个数据库中进行查询并返回结果，而返回的结果就是满足条件的记录之集合。类似地，布尔检索模型利用逻辑表达式，确定哪些文档满足检索的条件并将它们作为结果返回。除了条件语句中的布尔表达式，逻辑代数还体现在编程中的其他地方。例如，SQL语言中的Join操作。Join有多种类型，每种类型其实都对应了一种集合的操作。

循环语句可以让我们进行有规律的重复性操作，直到满足某个条件。这和迭代法中反复修改某个值的操作非常一致。所以循环常用于迭代法的实现，例如二分法或者牛顿法求解方程的根。在之前的迭代法讲解中，我经常使用循环来实现编码。另外，循环语句也会经常和布尔表达式相结合。嵌套的多层循环常常用于比较多个元素的大小或者计算多个元素之间的相似度等，这也体现了排列组合的思想。

至于函数的调用，一个函数既可以调用自己，又可以调用其他函数。如果函数不断地调用自己，这就体现了递归的思想。同时，函数的递归调用也可以体现排列组合的思想。

# 5.1.3　基础算法 #

介绍分治思想的时候，我谈及了MapReduce的数据切分。在分布式系统中，除了数据切分，还要经常处理的问题是：如何确定服务请求被分配到哪台机器上？这就引出了负载均衡算法，常见的包括轮询或者源地址哈希算法。轮询算法将请求按顺序轮流地分配到后端服务器上，它并不关心每台服务器当前的负载。如果给每个请求标记一个自动递增的ID，我们就可以认为轮询算法是对请求的ID进行求余操作（或者是求余的哈希函数），被除数就是可用服务器的数量，余数就是接受请求的服务器ID。而源地址哈希算法进一步扩展了这个思想，主要体现在：

*  它可以对请求的IP或其他唯一标识进行哈希，而不一定是请求的ID；
 *  哈希函数的变换操作不一定是求余。

不管是对何种数据进行哈希变换，也不管是何种哈希函数，只要能为每个请求确定哈希key之后，我们就能为它查找对应的服务器。

另外，第3章谈到了字符串的编辑距离，但是没有涉及字符串匹配的算法。知名的RK字符串（Rabin-Karp）匹配算法在暴力（brute force）匹配基础之上，充分利用了迭代法和哈希，提升了算法的效率。首先，RK算法可以根据两个字符串哈希后的值来判断它们是否相同。如果哈希值不同，则两个字符串肯定不同，不用再比较。此外，RK算法中的哈希设计非常巧妙，让相邻两个子字符串的哈希值产生了固定的联系，让我们可以通过前一个子字符串的哈希值推导出后一个子字符串的哈希值，这样就能使用迭代法来计算每个子字符串的哈希值，大大减少了用于哈希函数的计算。

除了分治和动态规划，另一个常用的算法思想是回溯。我们可以使用回溯来解决的问题包括八皇后和0/1背包等。回溯实际上体现了递归和排列的思想。不过，它对搜索空间做了一些优化，提前排除了不可能的情况，提升了算法整体的效率。当然，既然回溯体现了递归的思想，那么也可以将整个搜索状态表示成树，而对结果的搜索就是树的深度优先遍历。

讲到这里，我们已经对常用的数据结构、编程语句和基础算法中体现的数学思想做了一个大体的梳理。可以看到，不同的数据结构都是在编程中运用数学思维的产物。每种数据结构都有自身的特点，有利于更方便地实现某种特定的数学模型。从数据结构的角度来看，最基本的数组遍历体现了迭代的思想，而链表和树的结构可用于描述图论中的模型。栈的先进后出和队列的先进先出分别适用于图的深度优先和广度优先遍历。哈希表则充分利用了哈希函数的特点，大幅降低了查询的时间复杂度。

当然，仅使用数据结构来存储数据还不够，还需要操作这些数据。为了实现操作的流程，条件语句使用了布尔代数来控制编程逻辑，循环和函数嵌套使用迭代、递归和排列组合等思想来实现更精细的数学模型。

但是，有时候我们面对的问题太复杂了，除了数据结构和基本的编程语句，我们还需要发明一些算法。为了提升算法的效率，我们需要对其进行复杂度分析。通常，这些算法中的数学思想更为明显，因为它们都是为了解决特定的问题，根据特定的数学模型而设计的。有的时候，某个算法会体现多种数学思想，例如RK字符串匹配算法，同时使用了迭代法和哈希。此外，多种数学思维可能都是相通的。例如，递归的思想、排列的结果、二进制数的枚举都可以用树的结构来图示化，因此我们可以通过树来理解。

总之，在平时学习编程的时候，我们可以多从数学的角度出发，思考其背后的数学模型。这样不仅有利于你对现有知识的融会贯通，还可以帮助你优化数据结构和算法。既然谈到了程序的优化，那么我们还需要讨论另一个话题：复杂度分析。其实这类分析的背后也隐藏着数学的原理。

# 5.2　算法复杂度分析 #

算法复杂度的分析并不简单，不过熟悉了数学原理之后，要解决相关的问题就不难了。

# 5.2.1　复杂度分析的原理和法则 #

作为程序员，你一定非常清楚复杂度分析对编码的重要性。计算机系统从最初的设计、开发到最终的部署，要经过很多的步骤，而影响系统性能的因素有很多。我将这些因素分为3大类：算法理论上的计算复杂度、开发实现的方案和硬件设备的规格。如果将构建整个系统比作生产汽车，那么计算复杂度相当于在蓝图设计阶段对整个汽车的性能进行预估。如果我们能够进行准确的复杂度分析，就能从理论上预估汽车的各项指标，避免生产出一辆既耗油又开得很慢的汽车。可是，你常常会发现，要准确地分析复杂度并不容易。本节我们就用数学思维来进行系统性的复杂度分析。

# 1．基本概念 #

我们先简短地回顾一下几个重要概念，便于稍后更好地理解本节的内容。算法复杂度是一个比较抽象的概念，通常只是一个估计值，它用于衡量程序在运行时所需要的资源，用于比较不同算法的性能好坏。同一段代码处理不同的输入数据所消耗的资源也可能不同，所以分析复杂度时，需要考虑3种情况，最好情况、最差情况和平均情况。

复杂度分析会考虑性能的各个方面，不过我们最关注的是两个部分，即时间和空间。时间因素是指程序执行的耗时长短，空间因素是程序占用内存或磁盘存储空间的大小。因此，我们将复杂度进一步细分为时间复杂度和空间复杂度。

我们通常所说的时间复杂度是指渐进时间复杂度，表示程序运行时间随着问题复杂度增加而变化的规律。同理，空间复杂度是指渐进空间复杂度，表示程序所需要的存储空间随着问题复杂度增加而变化的规律。我们可以使用

![ef191b7cecee36069c632e749f8a0eef.gif][]

来表示这两者。这里通过数学的思维，总结一些比较通用的方法和法则，帮助你快速、准确地进行复杂度分析。

# 2．6个通用法则 #

复杂度分析有时看上去很难，其实我们只要通过一定的方法进行系统性的分析，就能得出正确的结论。本书总结了6个法则，相信它们对你会很有帮助。

（1）四则运算法则

对于时间复杂度，代码的添加意味着计算机操作的增加，也就是时间复杂度的增加。如果代码是平行增加的，就是加法。如果是循环、嵌套或者函数的嵌套，就是乘法。

例如，在二分搜索的代码中，第一步是对长度为

![1c9e42c1afd1e43a7989caebeb8f5026.gif][]

的数组排序，第二步是在这个已排序的数组中进行查找。这两个部分是平行的，所以计算时间复杂度时可以使用加法。第一步的时间复杂度是

![d080dda8f4dd9db62938eb5bdaa04cde.gif][]

，第二步的时间复杂度是

![934797838587e71b8057bb7c54055f46.gif][]

，所以时间复杂度是

![91ef8c3b0d04f28e1e2c4dd501c5a521.gif][]

。再来看另外一个例子。从

![1ca54c0a847d4972d64562d59e2d31c6.gif][]

个元素中选出3个元素的可重复排列，使用3层循环的嵌套或者3层递归嵌套，这里时间复杂度的计算使用乘法。由于

![40171854b4d14f369bc787e78d2a3607.gif][]

，时间复杂度是

![6f43d2b65428f2166c8529d2799fe68f.gif][]

。对应加法和乘法，分别是减法和除法。如果去掉平行的代码，就减去相应的时间复杂度。如果去掉嵌套内的循环或函数，就除去相应的时间复杂度。

对于空间复杂度，同样如此。需要注意的是，空间复杂度看的是对存储空间的使用，而不是计算的次数。如果语句中没有新开辟空间，那么无论是平行增加还是嵌套增加代码，都不会增加空间复杂度。

（2）主次分明法则

这个法则主要是运用了数量级和运算法则优先级的概念。在刚刚介绍的第一个法则中，我们会对代码的不同部分所产生的复杂度进行加法或乘法。使用加法或减法时，你可能会遇到不同数量级的复杂度。这个时候，我们只需要看最高数量级的复杂度，而忽略常量、系数和较低数量级的复杂度。

在介绍二分搜索的时候，经历了先排序、后二分搜索的过程，其总的时间复杂度是

![9415ce2aec0cb41d26550328f5cec8a2.gif][]

。实际上，之前给出的代码清单中还有数组初始化、变量赋值、Console输出等步骤，如果细究的话，时间复杂度应该是

![515eb5ce024be64993e826debec74a0b.gif][]

，但是和

![2ae5dca86782869833a9644e0ddd7901.gif][]

相比，常量和

![661c6d90d644bf1a626a178d8c0f4b32.gif][]

这种数量级都是可以忽略的，所以最终简化为

![3c71e864f0b0fb03ee77361a1d527f54.gif][]

。

再举个例子，我们先通过随机函数生成一个长度为

![39a7e1b4d720ad9f025537a7469951cb.gif][]

的数组，然后生成这个数组的全排列。通过循环，生成

![034509abf91856722750d11ce86d4d69.gif][]

个随机数的时间复杂度为

![65b2e8446fe4a634ce345dd5afd34c68.gif][]

，而全排列的时间复杂度为

![0a194d0a12c76e2982e1b3ea25ba98c4.gif][]

，如果使用四则运算法则，总的时间复杂为

![95202049697c61de7be5217dc28107b4.gif][]

。不过，因为

![d3b75429e7eae3bd0c9b955337a27970.gif][]

的数量级远远大于

![1e488ff3e9637d6ec7f3d289259229c2.gif][]

，所以可以将总的时间复杂度简化为

![950e5176c9749cc5f62ea60869e19c24.gif][]

。这对于空间复杂度同样适用。假设计算一个长度为

![c61a28f6e1b3fca37b0df6f36e52b65b.gif][]

的向量和一个维度为

![8f11374b5280b39f8ee0696f4e4f561a.gif][]

的矩阵的乘积，那么总的空间复杂度是

![a89d4f6e0acf23017493a9dc90d66d46.gif][]

，简化为

![e108ac25d046107a2a220b80634041a9.gif][]

。注意，这个法则对于乘法或除法并不适用，因为乘法或除法会改变参与运算的复杂度的数量级。

（3）齐头并进法则

这个法则主要是运用了多元变量的概念，其核心思想是复杂度可能受到多个因素的影响。在这种情况下，我们要同时考虑所有因素，并在复杂度公式中体现出来。之前的章节介绍了使用动态规划解决的编辑距离问题。从解决方案的推导和代码可以看出，这个问题涉及两个因素：参与比较的第一个字符串的长度

![3d76519e9b0912c488bca14d2bd92f88.gif][]

和第二个字符串的长度

![a2393026dade9659c8a2b24523141c9c.gif][]

。代码使用了两次嵌套循环，第一层循环的长度为

![150ede605709e3fed1423d732d9a9805.gif][]

，第二层循环的长度为

![a0f54b5807497743b6c29d1cb202bfac.gif][]

，根据乘法法则，时间复杂度为

![97c06a0c09a616a95287c9796ae56bc5.gif][]

。而空间复杂度很容易从推导结果的状态转移表得出，也是

![3637538b5718f8ee06b7722178e65084.gif][]

。

（4）排列组合法则

排列组合的思想不仅体现在数学模型的设计中，同样也会体现在复杂度分析中，它经常会用在最好、最差和平均复杂度分析中。下面来看一个简单的算法题。

给定两个不同的字符

![c6614fed961ccca70a48bef642104fb1.gif][]

和

![c8788b8e57f10c78e365534d62306a46.gif][]

，以及一个长度为

![a3784143ce752048660553ce6d300843.gif][]

的字符数组。字符数组里的字符都只出现过一次，而且一定存在一个

![5dd2304c8187eaeaeba3abfe30c74dec.gif][]

和一个

![8d80a103109b1f12d484d2e11cb431a0.gif][]

，请输出

![c8a09fc0671ed216ef7ffd91445201e1.gif][]

和

![e918fc8576346e11060d1926e20f8eed.gif][]

之间的所有字符，其中包括

![be75e88bf9c44cbc9b0e7de947c20f15.gif][]

和

![0c87e7daf8c09d2712b4c4cfcd5eeac4.gif][]

。假设我们的算法是按照数组下标值从低到高的顺序依次扫描数组，那么时间复杂度是多少呢？这里的时间复杂度是由被扫描的数组元素之数量决定的，但是要准确地求解并不容易。仔细思考一下，你会发现被扫描的元素之数量存在很多可能的值。

首先，考虑字母出现的顺序，第一个遇到的字母有两个选择，

![b71a7c2a578f94ecbe1cf87cb302d120.gif][]

或者

![eb916517eccc061b5f5b36920f259ef4.gif][]

；第二个字母只有一个选择，这就是两个元素的全排列。下面我们将两种情况分开来看。

*  在之前出现。接下来是和之间的距离，这会决定我们要扫描多少个字符。两者之间的距离最大为，最小为1，所以最差的时间复杂度为，根据主次分明法则，简化为，最好复杂度为。平均复杂度的计算稍微烦琐一些。如果距离为，只有1种可能，即为数组中第一个字符，为数组中最后一个字符。如果距离为，那么的位置有2种可能，在位置确定的情况下只有1种可能，因此排列数是2。以此类推，如果距离为，那么有3种可能，一直到距离为1，有种可能。所以平均的扫描次数为，最后时间复杂度简化为。
 *  在之前出现。这个分析过程和第一种情况类似。我们假设第一种和第二种情况出现的概率相等，那么综合这两种情况，可以得出平均复杂度为。

（5）一图千言法则

在第2、3和4章中，我们提到的很多数学和算法思想都体现了树这种结构，通过画图，它们内在的联系就一目了然了。同样，这些树结构也可以帮助我们分析某些算法的复杂度。就以我们之前介绍的归并排序为例，这个算法分为数据的切分和归并两大阶段，每个阶段的数据划分不同，分组数量也不同，因此时间复杂度的计算较为复杂。下面来看一个例子。

假设待排序的数组长为

![6587cb1b25ee070af39dcad96e7a7824.gif][]

。首先，看数据切分阶段。数据切分的次数，就是切分阶段那棵树的非叶结点之数量。这个切分阶段的树是一棵满二叉树，叶结点是

![7afdb18222ca909832daede6e4aa6982.gif][]

个，那么非叶结点的数量就是

![460e6a869d1c5b6bf171171a324a1713.gif][]

个，所以切分的次数也就是

![7c4944db2982ccd7e61511a0bc5e2e11.gif][]

次，如图5-2所示。如果切分数据的时候并不重新生成新的数据，只是生成切分边界的下标，那么时间复杂度就是

![be776d03c9cd3cf807b3a99f81908c4d.gif][]

。

![e42cbe0f17292b705ec48df9c7e843ed.png][]

图5-2

![17aa0a6bcfdcdefa56fd95c5515ec911.gif][]

个数值的二分次数

在数据归并阶段，情况稍微复杂一些。和切分不用，不同的合并步骤意味着不同的数组长度。这个时候，我们可以看到二叉树的高度为

![ba82cdaae968f8be5aa1d33666f22a24.gif][]

，如图5-3所示。另外，无论在树的哪一层，每次归并都需要扫描整个长度为

![585bd29e33edc2bdb3882a919b3d750e.gif][]

的数组，因此归并阶段的时间复杂度为

![1b5a7032afd530d97aa3a861a9fd46ee.gif][]

。两个阶段加起来的时间复杂度为

![24195c3814fdb9da3917694184a5fb1b.gif][]

，最终简化为

![8c0eaa5e0cb70ef65adfec9e110aa4c5.gif][]

，非常直观。

![08cea8d257cac37e3d706c10bdb1d2e4.png][]

图5-3

![48081e79dac2e582dc1df8df7f435529.gif][]

个数据的归并

当然，除了图论，很多简单的图表也能帮助我们做分析。例如，在使用动态规划的时候，我们经常要画出状态转移的表格。看到这类表格，可以很容易地得出该算法的时间复杂度和空间复杂度。以编辑距离为例，参看表5-1，我们可以发现每个单元格都对应了3次计算，以及一个存储单元，而总共的单元格数量为

![30efb1d0226bc53be7ed4260b25aa6c9.gif][]

，其中

![adcd65ebc07e768dfc019e3cdb209b76.gif][]

为第一个字符串的长度，

![483563e38b7e481da227871fe648cc48.gif][]

为第二个字符串的长度。所以，很快就能得出这种算法的时间复杂度为

![02ee4b9531b95dd6b34f467a4f3be0e5.gif][]

，简化为

![1664d4906499b4dd25e7ba2c61a12d30.gif][]

，空间复杂度为

![2f35e4cc2c05ec6b7b0e485102a083fc.gif][]

。

**表5-1　动态规划的状态转移表格**

![18ce3e414617e33e808515e1ccef4626.png][]

（6）时空互换法则

在给定的计算量下，通常时间复杂度和空间复杂度呈数学中的反比关系。这就说明，如果无法降低整体的计算量，也许可以通过提高空间复杂度来达到降低时间复杂度的目的，或者反之，通过提高时间复杂度来降低空间复杂度。对于这个法则，最直观的例子就是缓存系统。在没有缓存系统的时候，每次请求都要服务器来处理，因此时间复杂度比较高。如果使用了缓存系统，那么会消耗更多的内存空间，但是减少了请求响应的时间。说到这，你也许会产生一个疑惑：在使用广度优先策略优化聚合操作的时候，无论是时间复杂度还是空间复杂度，都大幅降低了吗？请注意，这里时空互换法则有个前提条件，就是计算量固定。而聚合操作的优化是利用了广度优先的特点，大幅减少了整体的计算量，因此可以保证时间复杂度和空间复杂度都降低。

# 5.2.2　复杂度分析的案例 #

实际工作中我们会碰到很多复杂的问题，正确地运用这些法则并不是容易的事。本节我们将结合两个案例一步步地使用这几个法则。

# 1．案例分析一：广度优先搜索 #

在图遍历的4.4.2节介绍了单向广度优先搜索和双向广度优先搜索。当时我们提到了通常情况下，双向广度优先搜索性能更好。那么，应该如何从理论上分析谁的效率更高呢？先来看单向广度优先搜索。我们先快速回顾一下搜索的主要步骤。

（1）判断边界条件，时间复杂度和空间复杂度都是

![ee1739dc8858306010beb7768ae686e3.gif][]

。

（2）生成空的队列。对于常量级的CPU和内存操作，根据主次分明法则，时间复杂度和空间复杂度都是

![5c9d56cd020d3f27d83632d768604060.gif][]

。

（3）将搜索的起始结点放入队列queue和已访问结点的哈希集合visited，类似于第2步的常量级操作，其时间复杂度和空间复杂度都是

![56e4809aedcf633282c267ef8c312c36.gif][]

。

（4）最后也是最核心的步骤，包括while和for的两个循环嵌套。

先看时间复杂度。根据四则运算法则，时间复杂度是两个循环的次数相乘。对于嵌套在内的for循环，这个次数很好理解，和每个结点的直接连接点有关。要计算平均复杂度，就取直接连接点的平均数量，假设它为

![fdab3c9278683d68dbd04023c201b532.gif][]

。现在的难题在于，第一个while循环次数是多少呢？我们考虑一下齐头并进法则，是否存在其他的因素来决定计算的次数？第一次while循环，只有起始结点一个。从起始结点出发，会找到

![f6b959502000a40fdd3ee6e018941879.gif][]

个一度连接点，将它们放入队列，那么第二次while循环就是

![f7b38a4f063fe0b52b13edb7c19286f0.gif][]

次，依次类推，到第

![bf9f8965b56d46b378e704b69da70569.gif][]

次，那么总次数就是

![e34842261f00769cd75d717660c8a194.gif][]

。这里假设被重复访问的结点不多，可以忽略不计。在循环内部，所有操作都是常量级的，包括通过哈希集合判断是否找到终止结点。所以时间复杂度就是

![55120b3e31c31a5c0d33615042fc9ddd.gif][]

，取最高数量级

![46ffac8a46a3d9bc15407f7a2db39132.gif][]

，最后可以简化成

![00dda4acb75d7139a85581efb3b50747.gif][]

，其中

![d0e25968ee1f8b1d36b957e8a6a4d0c7.gif][]

是从起始结点开始所走的边数。这就是除

![0272ea2b54c2588e25a1d1c997aab53b.gif][]

之外的第二个关键因素。使用一图千言法则，我们画出图5-4进行展示。

![1603d519155c200d39a716a53741c630.png][]

图5-4　单向广度优先搜索的展开

再来看这个步骤的空间复杂度。通过代码你应该可以看出来，只有queue和visited变量新增了数据，而图的结点本身没有发生改变。所以，考虑内存空间使用时，只需要考虑queue和visited的使用情况。两者都是在新发现一个结点时进行操作，因此新增的内存空间和被访问过的结点数成正比，同样为

![95b292d2396cca0775254c159ec29345.gif][]

。最后，上述4个步骤是平行的，所以只需要将这几个时间复杂度相加就行了。很明显前3步都是常量级操作，只有最后一步是决定性因素，因此时间复杂度和空间复杂度都是

![eda3f39f5c2640e2148f6358fdc903a8.gif][]

。这里没有考虑图的生成，因为这步在单向搜索和双向搜索中是一样的，而且在实际项目中，我们也不会采用随机生成的方式。

接下来，我们来看看双向广度优先搜索，有两个关键点需要注意。

（1）双向搜索所要走的边数。如果单向需要走

![2e24af93ebfa156ae6f57a5fbe36e37d.gif][]

条边，那么双向需要走

![0385acfe1e52933c538c9049060e8605.gif][]

条边。因此时间复杂度和空间复杂度都会变为

![0cbfba09bf90cc4c39d9acf2dac9efe0.gif][]

，简化为

![bd9b48143d847afe8e963df08202f46e.gif][]

。这里

![b4664aef9eb5912b51959090bc11e49e.gif][]

中的

![07c3eba72d585cb2a69d638aa918d528.gif][]

不能省去，因为它是在指数上，改变了数量级。仅从这一点来看，双向比单向的复杂度低。

（2）双向搜索过程中，判断是否找到通路的方式。单向搜索只需要判断一个结点是否存在集合中，每次只有

![7321ee4d27e9c73344f0d608ff358eba.gif][]

的复杂度。而双向搜索需要比较两个集合是否存在交集，其复杂度肯定要高于

![d886b997baa1ef5ab2db5bd67b54b2c0.gif][]

。最常规的实现方法是，循环遍历其中一个集合

![b6a4c3b3afff7a5f4ba8de777a5e40b9.gif][]

，看看

![c6bf8a0f695a55df7604130278ed9858.gif][]

中的每个元素是否出现在集合

![c0e9a83fac767353b90f67b8fc203aa8.gif][]

中。假设两个集合中元素的数量都为

![29a196ca0b01d3268d15672c0c68997e.gif][]

，那么循环

![39d57c22daa4e8f187926c5cdc08ddbe.gif][]

次，时间复杂度就为

![141db495ae24ec928696a973e7f2190e.gif][]

。基于这些，我们重新推导一下双向广度优先搜索的时间复杂度。

假设我们分别从结点

![38267f1f233abbaab1a6cd234e20a4ce.gif][]

和

![964c050039e19ac27eb0fbf921a7ae4d.gif][]

出发。从

![49a53d414fc4343221088fe2cf466f24.gif][]

出发，找到

![28e9489cdf6152ee7e02b9f95a05b91b.gif][]

个一度连接点

![f270bc9c3ed7e314058ff568ed3dd5fd.gif][]

，时间复杂度是

![b62d8e62adddd72ffb3b8e7a19d07618.gif][]

，然后查看

![7922c792ee5fb5ea0404d42175cc5b0a.gif][]

是否在这

![31dea90b9e797f72ae1a029255567843.gif][]

个结点中，时间复杂度是

![c7f61ce4c9729ee6c6ace09f046180f1.gif][]

。然后从

![b8d2d7e2f36cf224f13749fd71910366.gif][]

出发，找到

![5aacd5f971c18c25e9463a6eb1fae885.gif][]

个一度连接点

![65f3180b670a45a1a545d8fbd6d9abc3.gif][]

，时间复杂度是

![f594a7b5cf3f65807832882afcebf26d.gif][]

，然后查看

![62cd8889e1c77cca940a80b17bb663ff.gif][]

和

![6be20ccf099e761b8db1999c36af7145.gif][]

是否在

![ba4ec7252083887517ece93a480a173c.gif][]

和

![78858f447fe0418428b4d40908746b40.gif][]

中，时间复杂度是

![1327db2d3286eae804cccb6c75c7dca3.gif][]

，简化为

![3ca693dc23cf128685f4164aaab2f94e.gif][]

。从

![a0f24e092868246c8cb27b08d9502b48.gif][]

继续推进到第二度的结点

![5d00ba1da17f05d7657c522b4bcef59e.gif][]

，这个时候

![41c5a7d29070d4c2cf0ee2bda966204b.gif][]

、

![add71a7fffffe7059831593302742893.gif][]

和

![b1fbc94dabe0fe6b116bb5fb34e3e9d5.gif][]

的并集的数量已经有

![3b00827bdaac616182b32349a85ed1ba.gif][]

，而

![6624149b4d21c5cf5e8bff91d7f259e8.gif][]

和

![bba117ec0aca66bccd1ae38b079868a1.gif][]

的并集数量只有

![c7bd4b4790a560258789d0433bb2037e.gif][]

，因此，针对

![70a50f4af420890f0ad092e3d5a673ed.gif][]

和

![654c8922feaac1237398d187d4fced9f.gif][]

的集合进行循环更高效一些，时间复杂度是

![2e9c6e6f9cc05598ab18703d378373a3.gif][]

。逐步递推下去，可以得到下面这个式子：

![d695beb5a4cc03212057d4c29edaf54b.gif][]

其中，第一项

![c3358da230a7b534d174689afa25392d.gif][]

表示找到

![81957a2381b0147fc2f6e6b0515bfc90.gif][]

的时间复杂度，第二项

![e7cb7c9bd94ced870e695901d6ab6b52.gif][]

表示判断

![ad4bd12b0b43e526b676a8e585baedc2.gif][]

是否在

![ab66b4d475966893b0dcb5c52f282fc8.gif][]

中的时间复杂度，第三项

![3f351da39b3dd6c63c87cedca0257d03.gif][]

表示找到

![78c0135e3e9043d6909a575b6df327f8.gif][]

的时间复杂度，第四项

![85db24fb58c0674d10dadad94e9ce605.gif][]

表示判断

![65c3c1383cfd167710a6c2ebb5c15721.gif][]

和

![b98fc8e3f88954184767bac289fec382.gif][]

是否在

![f2565864fca877b40032a7953e3fd52e.gif][]

和

![3f741f3313caea6b02d6d9f470e165c9.gif][]

中的时间复杂度，以此类推。虽然这个式子简化后仍然为

![230524f824c68710a86945ba3b0cdac1.gif][]

，但是我们可以通过这些推导的步骤了解整个算法运行的过程，以及对最终复杂度的影响。最后比较单向广度搜索的复杂度

![27b4cd8255a5e6354306eeb1e7684249.gif][]

和双向广度搜索的复杂度

![261ce47a74da22d2392d8ee27d11a33b.gif][]

，双向的方法更优。

上面讨论的内容，都是假设每个结点的直接连接的结点数量都很均匀，都是

![5b4d2a84f0a67ffaa697d7a94154a12f.gif][]

个。如果数量不是均匀的呢？我们来看几种不同的情况。

（1）用

![97040d008d848429ff6ca8ea6de105a0.gif][]

来表示，也就是前面讨论的，不管从

![3113cd90aabf0777277ed659a33f42d9.gif][]

和

![53bc33140e4568a3cfd3ed6e171dea17.gif][]

哪个结点出发，每个结点的直接连接数量都是相当的。这个时候的最好、最差和平均复杂度非常接近。

（2）用

![ced11d2a06b5f5015e64624e5f14e871.gif][]

来表示，表示从

![7840c6a7b96e05be297a37d0c0c75401.gif][]

出发，每个结点的直接连接结点数量远远小于从

![3b7b74d4579b000897605fb1971fb793.gif][]

出发的那些结点数量。例如，从

![5ed2f41091e4f9c0173b5bedaa1c4eaf.gif][]

出发，2度之内所有的结点都只有一两个直接连接的结点，而从

![88379dd07747a41d5175d0e1623393a2.gif][]

出发，2度之内的大部分结点都有100个以上的直接连接的结点。

（3）和第2种情况类似，用

![0a3905eaa192297ae807c95c1fd211cd.gif][]

表示，表示从

![c615514f6dc649aa14cace33d9fa015b.gif][]

出发，每个结点的直接连接结点数量远远小于从

![24c76fd9f31ccb6668eb19fb07097f06.gif][]

出发的那些结点数量。

对于第2种和第3种情况，双向搜索的最好、最差和平均复杂度是多少？还会是双向的方法更优吗？你可以思考一下。

# 2．案例分析二：全文搜索 #

在刚才的分析中，我们已经使用了6个复杂度分析法则中的5个，不过还没涉及最后一个时空互换法则。这个法则有自己的特殊性，我们需要通过牺牲空间复杂度来降低时间复杂度，或者反之。因此，在实际运用中，更多的是使用这个法则来指导和优化系统的设计。下面我就使用搜索引擎的例子来讲一下如何做到这一点。

对于搜索引擎你一定用的很多了，它的最基本也是最重要的功能，就是根据输入的关键词查找指定的数据对象。这里以文本搜索为例。要查找某个关键词是否出现在一篇文章里，最基本的处理方式有两种。

（1）将全文作为一个很长的字符串，将用户输入的关键词作为一个子字符串，这个搜索问题就会变成子字符串匹配的问题。假设字符串平均长度为

![53632ce580f85513b821c20c08e874b1.gif][]

个字符，关键词平均长度为

![51926edb5e820daba3124b502fd9d319.gif][]

个字符，使用最简单的暴力法，就是将代表全文的字符串的每个字符，和关键词字符串的每个字符两两比较，那么时间复杂度就是

![72460afa28216343bce7ea5e02d16890.gif][]

。

（2）对全文进行分词，将全文切分成一个个有意义的词，那么这个搜索问题就变成了将输入关键词和这些切分后的词进行匹配的问题。拉丁文分词比较简单，基本上就是根据各种分隔符来切分。而中文分词涉及很多算法，不过这不是讨论的重点。假设无论何种语言、何种分词方法，其时间复杂度都是

![23d07c0d758943c32296f2c34da1edb7.gif][]

，其中

![4866f497c8d88f456dc46c37e9b4c87f.gif][]

为文章的长度。而在词的集合中查找输入的关键词，时间复杂度是

![06f22760cd96079a9407dd9fb7af6e78.gif][]

，

![6958d69f44973b2fb36370eff65bb6ca.gif][]

为词集合中元素的数量。我们也可以先对词的集合排序，时间复杂度是

![2809af7693792d635f15c3f4ebebe15b.gif][]

，然后使用二分搜索，时间复杂度只有

![ffedf0c38ba634531990ecc7f49494b7.gif][]

。如果文章很少改变，那么全文的分词和词的排序基本上都属于一次性的开销，对于关键词查询来说，每次的时间复杂度都只有

![6d314b38f4467a8de202129ee4677e2f.gif][]

。

无论使用上述哪种方法，看上去时间复杂都不算太高。但是我们是在海量的文章中查找信息，还需要考虑文章数量这个因素。假设文章数量是

![c39c69771d9fa54d27ce520ef5073487.gif][]

，那么时间复杂度就变为

![bac542a290c7a2ae4426f2c4c7f5950d.gif][]

，或者

![9fd647c1264249338b8c11b29bcdcaf2.gif][]

，数量级一下子就增加了。为了降低搜索引擎在查询时候的时间复杂度，我们需要引入倒排索引（或逆向索引），这属于典型的牺牲空间来换取时间。如果你对倒排索引的概念不熟悉，我通过一个比方加以解释。假设你是一个热爱读书的人，当你进入图书馆或书店的时候，怎样快速找到自己喜爱的书籍？没错，就是看书架上的标签。如果看到一个架子上标着“计算机–编程”，那么恭喜你，离程序员的书籍就不远了。而倒排索引做的就是“贴标签”的事情。为了实现倒排索引，对于每篇文章我们都要先进行分词，然后将切分好的词作为该篇文章的标签。我们来看一下表5-2中的3篇样例文章和对应的分词，也就是标签。其中，分词之后，还做了一些标准化的处理，例如全部转成小写、去除时态等。

**表5-2　文章和分词**

<table> 
 <tbody> 
 <tr> 
 <td> 文章ID </td> 
 <td> 文章内容 </td> 
 <td> 分词 </td> 
 </tr> 
 <tr> 
 <td> 1 </td> 
 <td> I love this movie </td> 
 <td> i, love, this, movie </td> 
 </tr> 
 <tr> 
 <td> 2 </td> 
 <td> This movie is so great </td> 
 <td> this, movie, is, so, great </td> 
 </tr> 
 <tr> 
 <td> 3 </td> 
 <td> I watched this movie last week </td> 
 <td> i, watch, this, movie, last, week </td> 
 </tr> 
 </tbody> 
</table>

表5-2看上去并没有什么特别。体现“倒排”的时刻来了，我们转换一下，不再从文章的角度出发，而是从标签的角度出发来看问题。也就是说，从每个标签，我们能找到哪些文章？通过这样的思考，我们可以得到表5-3。

**表5-3　倒排索引**

<table> 
 <tbody> 
 <tr> 
 <td> 标签 </td> 
 <td> 文章ID </td> 
 </tr> 
 <tr> 
 <td> i </td> 
 <td> 1, 3 </td> 
 </tr> 
 <tr> 
 <td> love </td> 
 <td> 2 </td> 
 </tr> 
 <tr> 
 <td> this </td> 
 <td> 1, 2, 3 </td> 
 </tr> 
 <tr> 
 <td> movie </td> 
 <td> 1, 2, 3 </td> 
 </tr> 
 <tr> 
 <td> is </td> 
 <td> 2 </td> 
 </tr> 
 <tr> 
 <td> so </td> 
 <td> 2 </td> 
 </tr> 
 <tr> 
 <td> great </td> 
 <td> 2 </td> 
 </tr> 
 <tr> 
 <td> watch </td> 
 <td> 3 </td> 
 </tr> 
 <tr> 
 <td> last </td> 
 <td> 3 </td> 
 </tr> 
 <tr> 
 <td> week </td> 
 <td> 3 </td> 
 </tr> 
 </tbody> 
</table>

有了表5-3，就很容易知道某个关键词在哪些文章中出现。整个过程就像在哈希表中查找一样，时间复杂度只有

![55f93f2dfcb86c1ade6c7a199e8cc273.gif][]

了。当然，我们所要付出的成本就是倒排索引这张表。假设有

![c2da0a29594963536aca356795d7b5cc.gif][]

个不同的单词，而每个单词所对应的文章平均数为

![795afcbadd18d10bb98394c4775f52d2.gif][]

的话，那么这种索引的空间复杂度就是

![1a0e028bcbac77e1f631cff94048d55c.gif][]

。好在

![27f72fa6930508b6b7952f656722a344.gif][]

和

![d212fc17fe3ccad1c3eaaef4ab3cd1c9.gif][]

通常不会太大，对内存和磁盘空间的消耗都是可以接受的。

**本文摘自《程序员的数学基础课：从理论到Python实践》**

![c5e3c8558ae3d858721a017686a11550.png][]

本书紧贴计算机领域，从程序员的需求出发，精心挑选了程序员真正用得上的数学知识，通过生动的案例来解读知识中的难点，使程序员更容易对实际问题进行数学建模，进而构建出更优化的算法和代码。

本书共分为三大模块：“基础思想”篇梳理编程中常用的数学概念和思想，既由浅入深地精讲数据结构与数学中基础、核心的数学知识，又阐明数学对编程和算法的真正意义；“概率统计”篇以概率统计中核心的贝叶斯公式为基点，向上讲解随机变量、概率分布等基础概念，向下讲解朴素贝叶斯，并分析其在生活和编程中的实际应用，使读者真正理解概率统计的本质，跨越概念和应用之间的鸿沟；“线性代数”篇从线性代数中的核心概念向量、矩阵、线性方程入手，逐步深入分析这些概念是如何与计算机融会贯通以解决实际问题的。除了理论知识的阐述，本书还通过Python语言，分享了通过大量实践积累下来的宝贵经验和编码，使读者学有所用。

本书的内容从概念到应用，再到本质，层层深入，不但注重培养读者养成良好的数学思维，而且努力使读者的编程技术实现进阶，非常适合希望从本质上提升编程质量的中级程序员阅读和学习。

[1b9e1b5488bc3170f576dc9e23109e8a.png]: /images/20221022/b04c9d756219477bb70dcfd0306c97a9.png
[ef191b7cecee36069c632e749f8a0eef.gif]: /images/20221022/08cd0152a12c4a9fae809543f9fcfd37.png
[1c9e42c1afd1e43a7989caebeb8f5026.gif]: /images/20221022/4ebbd6a1a5e7455bb96fca581d3072ce.png
[d080dda8f4dd9db62938eb5bdaa04cde.gif]: /images/20221022/bdee276d577a4eb8917b0c6dbc764516.png
[934797838587e71b8057bb7c54055f46.gif]: /images/20221022/af5e8cace963459a8e8ad954b4996544.png
[91ef8c3b0d04f28e1e2c4dd501c5a521.gif]: /images/20221022/d39ee06be65f4a8e8ed28ada3edcd8da.png
[1ca54c0a847d4972d64562d59e2d31c6.gif]: /images/20221022/2fa61eeec4bd4db0a637af9d82fe66ac.png
[40171854b4d14f369bc787e78d2a3607.gif]: /images/20221022/654b6cf03ab146a5ae6e44e71c49741c.png
[6f43d2b65428f2166c8529d2799fe68f.gif]: /images/20221022/7bfe804cf3814107937eb668746792bf.png
[9415ce2aec0cb41d26550328f5cec8a2.gif]: /images/20221022/ee98d153373e41749b0e554adde931ef.png
[515eb5ce024be64993e826debec74a0b.gif]: /images/20221022/51e86fc4327344548d9c432aeaa346f7.png
[2ae5dca86782869833a9644e0ddd7901.gif]: /images/20221022/a9e0960739b340fc8ed5b769c92c0955.png
[661c6d90d644bf1a626a178d8c0f4b32.gif]: /images/20221022/1ff99138aed34c279ead4e8f9fe09f74.png
[3c71e864f0b0fb03ee77361a1d527f54.gif]: /images/20221022/f91b208bfac64313a3783fd40a4e2afb.png
[39a7e1b4d720ad9f025537a7469951cb.gif]: /images/20221022/421ed34b995e4773aaf435ddc72e920b.png
[034509abf91856722750d11ce86d4d69.gif]: /images/20221022/631c0e69005c48b68627e471555c4fc2.png
[65b2e8446fe4a634ce345dd5afd34c68.gif]: /images/20221022/9f6e6c3cd27c4d96bf0fd1518881aa5b.png
[0a194d0a12c76e2982e1b3ea25ba98c4.gif]: /images/20221022/fe9381c3a1eb471492bbe74141fc7f8b.png
[95202049697c61de7be5217dc28107b4.gif]: /images/20221022/69360373661b4952978bdfb1d1f43fbf.png
[d3b75429e7eae3bd0c9b955337a27970.gif]: /images/20221022/95d849cdc69c4d79ba2ff8aa1d8f1433.png
[1e488ff3e9637d6ec7f3d289259229c2.gif]: /images/20221022/2483e594a9824027bc5d885b5dda2aeb.png
[950e5176c9749cc5f62ea60869e19c24.gif]: /images/20221022/70663214399b4ee48f0e287c504a855d.png
[c61a28f6e1b3fca37b0df6f36e52b65b.gif]: /images/20221022/1a513bf67fe44ef1b7c5c076ae851bfc.png
[8f11374b5280b39f8ee0696f4e4f561a.gif]: /images/20221022/1f94bb32d6f447e2a4692ef9dc4497e4.png
[a89d4f6e0acf23017493a9dc90d66d46.gif]: /images/20221022/76bd3707b3de4ed499c6212649019fe3.png
[e108ac25d046107a2a220b80634041a9.gif]: /images/20221022/bb6967b11b114457bca79f2831cdc428.png
[3d76519e9b0912c488bca14d2bd92f88.gif]: /images/20221022/57ad8cac1df84b7fad8831ffbbae6f0a.png
[a2393026dade9659c8a2b24523141c9c.gif]: /images/20221022/73dd2607c7d14f54a9fde25fa01ea740.png
[150ede605709e3fed1423d732d9a9805.gif]: /images/20221022/c44856340e6649e5a08a2c3af8ede641.png
[a0f54b5807497743b6c29d1cb202bfac.gif]: /images/20221022/91b3773f2ace4d2f8bea3e3cb89d29cc.png
[97c06a0c09a616a95287c9796ae56bc5.gif]: /images/20221022/22c15d4737e44d59b6e9f5446a587615.png
[3637538b5718f8ee06b7722178e65084.gif]: /images/20221022/27159f76c7614fce8e7d0d80e8264711.png
[c6614fed961ccca70a48bef642104fb1.gif]: /images/20221022/16fc9d7d610d41ceb41ef5a351cfab3c.png
[c8788b8e57f10c78e365534d62306a46.gif]: /images/20221022/2f2f73759d8e4b98bd0c4c123d4e6bf1.png
[a3784143ce752048660553ce6d300843.gif]: /images/20221022/c033e81b85b846f79430eb02127c5829.png
[5dd2304c8187eaeaeba3abfe30c74dec.gif]: /images/20221022/98795e6f4c164a67a490efac84c74a45.png
[8d80a103109b1f12d484d2e11cb431a0.gif]: /images/20221022/0b07b8e19a954f3b938af99dbaaa5e68.png
[c8a09fc0671ed216ef7ffd91445201e1.gif]: /images/20221022/e34edc4208ae458bb9e01dffb6a3d4eb.png
[e918fc8576346e11060d1926e20f8eed.gif]: /images/20221022/937f9a9d8c1a4ec693a2d43f82800410.png
[be75e88bf9c44cbc9b0e7de947c20f15.gif]: /images/20221022/e7c7c4d6fc8f4dab85b02caf75385b6d.png
[0c87e7daf8c09d2712b4c4cfcd5eeac4.gif]: /images/20221022/82312d3484a54124bc49484d4a7b23f4.png
[b71a7c2a578f94ecbe1cf87cb302d120.gif]: /images/20221022/38a55cca25e34da09bd99e5344d2b827.png
[eb916517eccc061b5f5b36920f259ef4.gif]: /images/20221022/4a56dcfd5df2410db8fba6e2d8c7701a.png
[6587cb1b25ee070af39dcad96e7a7824.gif]: /images/20221022/073e0f01d4d54c2eb29192442e4c1a84.png
[7afdb18222ca909832daede6e4aa6982.gif]: /images/20221022/67407d772e6045fc90116de7b643c61e.png
[460e6a869d1c5b6bf171171a324a1713.gif]: /images/20221022/a7394a890d71495fb0c9a36e13429754.png
[7c4944db2982ccd7e61511a0bc5e2e11.gif]: /images/20221022/2d628a64730d44a29936e61430905aa4.png
[be776d03c9cd3cf807b3a99f81908c4d.gif]: /images/20221022/95be42cf54c54a3c97dc335c3eb7e82e.png
[e42cbe0f17292b705ec48df9c7e843ed.png]: /images/20221022/371b68b690f142efb0a713bd3e14595f.png
[17aa0a6bcfdcdefa56fd95c5515ec911.gif]: /images/20221022/b2f8a6bde250489aafde16cead58e9c9.png
[ba82cdaae968f8be5aa1d33666f22a24.gif]: /images/20221022/5a083211b8bf49da8a1a03e16df53809.png
[585bd29e33edc2bdb3882a919b3d750e.gif]: /images/20221022/330aa2cdd53240968707602290321749.png
[1b5a7032afd530d97aa3a861a9fd46ee.gif]: /images/20221022/0973a7adb20b4f398e08fa2edfacfa57.png
[24195c3814fdb9da3917694184a5fb1b.gif]: /images/20221022/34ee77c3dfc64570961983c0ddf1fb81.png
[8c0eaa5e0cb70ef65adfec9e110aa4c5.gif]: /images/20221022/3ca4749bbaee44ef9feb0cf889f2f47a.png
[08cea8d257cac37e3d706c10bdb1d2e4.png]: /images/20221022/1995e468f193471188756e5626c1eac1.png
[48081e79dac2e582dc1df8df7f435529.gif]: /images/20221022/e3964bad433d4e89854c96f7259241f9.png
[30efb1d0226bc53be7ed4260b25aa6c9.gif]: /images/20221022/c23962935ef7407aa9c49c7d4ae2f70c.png
[adcd65ebc07e768dfc019e3cdb209b76.gif]: /images/20221022/e4e315b57a4545c2b9057faf1f057087.png
[483563e38b7e481da227871fe648cc48.gif]: /images/20221022/cc2d85e6591542b89dbbd6bb16c7a053.png
[02ee4b9531b95dd6b34f467a4f3be0e5.gif]: /images/20221022/e0aee9fd032b4f81a63cf1628b4cc3cd.png
[1664d4906499b4dd25e7ba2c61a12d30.gif]: /images/20221022/3c060fbd456643e094ae07386245bc1d.png
[2f35e4cc2c05ec6b7b0e485102a083fc.gif]: /images/20221022/c5b5e22e59c64ec3b4d8fbe213f11223.png
[18ce3e414617e33e808515e1ccef4626.png]: /images/20221022/8d968c6cf3f142ce8a5c10f3002dccea.png
[ee1739dc8858306010beb7768ae686e3.gif]: /images/20221022/87b09fa0743d412db09050a80ea11844.png
[5c9d56cd020d3f27d83632d768604060.gif]: /images/20221022/73543c0e0f3a430ea7e70313f24a577b.png
[56e4809aedcf633282c267ef8c312c36.gif]: /images/20221022/1210825d368d4d5fb382de9faf2dcd55.png
[fdab3c9278683d68dbd04023c201b532.gif]: /images/20221022/fef0dc4f3b83485081b2ac041bce362f.png
[f6b959502000a40fdd3ee6e018941879.gif]: /images/20221022/5bfe283418474919a7d8c7094dbc48ab.png
[f7b38a4f063fe0b52b13edb7c19286f0.gif]: /images/20221022/178a14720c67469fa28e37bf00af140e.png
[bf9f8965b56d46b378e704b69da70569.gif]: /images/20221022/1c7263a69ecd4aaeb7dfe7495911f719.png
[e34842261f00769cd75d717660c8a194.gif]: /images/20221022/274b9360fc07401192faf7b5f3545f4a.png
[55120b3e31c31a5c0d33615042fc9ddd.gif]: /images/20221022/b2dbb61c65f54d33b0b98036986709d5.png
[46ffac8a46a3d9bc15407f7a2db39132.gif]: /images/20221022/ec3b3ae5649242bb9a7fa5a6917a70a2.png
[00dda4acb75d7139a85581efb3b50747.gif]: /images/20221022/f274661f036e4042bc3a8857a98a9204.png
[d0e25968ee1f8b1d36b957e8a6a4d0c7.gif]: /images/20221022/8bc97966f65c4f5cb3873d267cb05391.png
[0272ea2b54c2588e25a1d1c997aab53b.gif]: /images/20221022/b8a703c8ea714ac8adbd11a57ebf0e95.png
[1603d519155c200d39a716a53741c630.png]: /images/20221022/fb3cd53818e1448da1d34fe25a0ac5e2.png
[95b292d2396cca0775254c159ec29345.gif]: /images/20221022/b9b5e90f769d4e42b05d2864a82b1eef.png
[eda3f39f5c2640e2148f6358fdc903a8.gif]: /images/20221022/ebad24fe16cd4c04bf8fea5998644b74.png
[2e24af93ebfa156ae6f57a5fbe36e37d.gif]: /images/20221022/7e04ae652c17439b89717a3e38c36671.png
[0385acfe1e52933c538c9049060e8605.gif]: /images/20221022/5b88db5566ce4eaf84ff893b67d6d003.png
[0cbfba09bf90cc4c39d9acf2dac9efe0.gif]: /images/20221022/8424891623ae4c5dbd7cf5d6bceca60e.png
[bd9b48143d847afe8e963df08202f46e.gif]: /images/20221022/42e6a587f4b2475fb881eac5d8737d79.png
[b4664aef9eb5912b51959090bc11e49e.gif]: /images/20221022/9e1e44c72aee4dde8e6beacce9d5eb62.png
[07c3eba72d585cb2a69d638aa918d528.gif]: /images/20221022/368b612d4228492ba3e5c67ca2d186f1.png
[7321ee4d27e9c73344f0d608ff358eba.gif]: /images/20221022/bd058561f20f433abfbd410f0336f4c4.png
[d886b997baa1ef5ab2db5bd67b54b2c0.gif]: /images/20221022/2a4aa600f1fa4d1aa06722c9c99e130a.png
[b6a4c3b3afff7a5f4ba8de777a5e40b9.gif]: /images/20221022/c0c2e99faf984a0b9d2256ab5cbe639b.png
[c6bf8a0f695a55df7604130278ed9858.gif]: /images/20221022/dafc3e161189472a87b5624c8ed5307f.png
[c0e9a83fac767353b90f67b8fc203aa8.gif]: /images/20221022/e8ba0ab0260c4c50ae08abec862eab22.png
[29a196ca0b01d3268d15672c0c68997e.gif]: /images/20221022/83208d20edbd48bc97892953707ca076.png
[39d57c22daa4e8f187926c5cdc08ddbe.gif]: /images/20221022/792b69bdbb4b40b88646e0e15fd7f01d.png
[141db495ae24ec928696a973e7f2190e.gif]: /images/20221022/e9af11ffb9e24a9f90db6cae9e1d14bb.png
[38267f1f233abbaab1a6cd234e20a4ce.gif]: /images/20221022/9114387069864d21872e4bc63fc1c9c5.png
[964c050039e19ac27eb0fbf921a7ae4d.gif]: /images/20221022/8606175bb7b6423bb77e78875882130c.png
[49a53d414fc4343221088fe2cf466f24.gif]: /images/20221022/177ab023539d4adb956313c855599750.png
[28e9489cdf6152ee7e02b9f95a05b91b.gif]: /images/20221022/32eb7271e4734e9cb19aade739bbb63c.png
[f270bc9c3ed7e314058ff568ed3dd5fd.gif]: /images/20221022/51a3b2610bd54574820d2bf4b949628e.png
[b62d8e62adddd72ffb3b8e7a19d07618.gif]: /images/20221022/d24425e37b6841fda258e10d4e284ed8.png
[7922c792ee5fb5ea0404d42175cc5b0a.gif]: /images/20221022/48e5b8a14d394583b655268d4473b0e2.png
[31dea90b9e797f72ae1a029255567843.gif]: /images/20221022/93252892982e41d1b6877a07aa2dc17d.png
[c7f61ce4c9729ee6c6ace09f046180f1.gif]: /images/20221022/6f911fe988f14693aa2ac7901f6a6799.png
[b8d2d7e2f36cf224f13749fd71910366.gif]: /images/20221022/211a27c5b7734573a382ad0503e40ba9.png
[5aacd5f971c18c25e9463a6eb1fae885.gif]: /images/20221022/cc26d0f7485e4ad582ab2d6e804efef7.png
[65f3180b670a45a1a545d8fbd6d9abc3.gif]: /images/20221022/d60944a219304b65ad973e5952fc4dc2.png
[f594a7b5cf3f65807832882afcebf26d.gif]: /images/20221022/5817402665364f41a9c1c8024f435d5e.png
[62cd8889e1c77cca940a80b17bb663ff.gif]: /images/20221022/8b8ad1d8ea0e4eeab9b7edebcc71e200.png
[6be20ccf099e761b8db1999c36af7145.gif]: /images/20221022/fb2a95ab4b1548de895e6b2e53b5f1f1.png
[ba4ec7252083887517ece93a480a173c.gif]: /images/20221022/5953bb7484944137ad3e91e98dd5990d.png
[78858f447fe0418428b4d40908746b40.gif]: /images/20221022/55c7b5acfaf24ae391a6bfaa1439a96c.png
[1327db2d3286eae804cccb6c75c7dca3.gif]: /images/20221022/08aef9c63fce4c26bf7a49d35247df79.png
[3ca693dc23cf128685f4164aaab2f94e.gif]: /images/20221022/3b6136f629864fc6ba4edb21eff5ad76.png
[a0f24e092868246c8cb27b08d9502b48.gif]: /images/20221022/6b3c5fff0dd041ae858e2c549fe23695.png
[5d00ba1da17f05d7657c522b4bcef59e.gif]: /images/20221022/aaed09fb8d8848308b159d02f3bf0a57.png
[41c5a7d29070d4c2cf0ee2bda966204b.gif]: /images/20221022/5337a5f5a74f48d8b4e87a4dc8facf79.png
[add71a7fffffe7059831593302742893.gif]: /images/20221022/1b441f2d28aa471faae8ef0945ccc7ff.png
[b1fbc94dabe0fe6b116bb5fb34e3e9d5.gif]: /images/20221022/c8103a9bdb8341388963d46e1755004c.png
[3b00827bdaac616182b32349a85ed1ba.gif]: /images/20221022/3adb28e5c971486b8564312de16365e9.png
[6624149b4d21c5cf5e8bff91d7f259e8.gif]: /images/20221022/28c1d3913b3d492fbfb300ab816a2c3d.png
[bba117ec0aca66bccd1ae38b079868a1.gif]: /images/20221022/b9d91106b8c0453a8c7824606d8fb4b6.png
[c7bd4b4790a560258789d0433bb2037e.gif]: /images/20221022/2ed44485421f442fa395ecfadd384781.png
[70a50f4af420890f0ad092e3d5a673ed.gif]: /images/20221022/f67d0bce1a2b4132a78498cc4a9c74fc.png
[654c8922feaac1237398d187d4fced9f.gif]: /images/20221022/e5f2826d3cd34f8b80b3480757b0377f.png
[2e9c6e6f9cc05598ab18703d378373a3.gif]: /images/20221022/58c82f9d69c24635942c34124062df7b.png
[d695beb5a4cc03212057d4c29edaf54b.gif]: /images/20221022/c068578a3811412688a5a6e3da499da5.png
[c3358da230a7b534d174689afa25392d.gif]: /images/20221022/3ceec33fb4424f5793e99ef300a377ba.png
[81957a2381b0147fc2f6e6b0515bfc90.gif]: /images/20221022/4a47ef90d2d44927a58cea02bc1cc03e.png
[e7cb7c9bd94ced870e695901d6ab6b52.gif]: /images/20221022/ed8c6930858949d3b5f53b8e9e66b1ba.png
[ad4bd12b0b43e526b676a8e585baedc2.gif]: /images/20221022/7339bf7a3823439ba9288bc746848286.png
[ab66b4d475966893b0dcb5c52f282fc8.gif]: /images/20221022/4eaff7863f9a452b89531912f9000697.png
[3f351da39b3dd6c63c87cedca0257d03.gif]: /images/20221022/dfff798517934deab1f5107d0a755e78.png
[78c0135e3e9043d6909a575b6df327f8.gif]: /images/20221022/bd3e6635fe044337b686424ee4f5928d.png
[85db24fb58c0674d10dadad94e9ce605.gif]: /images/20221022/1587b41016de476e82429b66043402ef.png
[65c3c1383cfd167710a6c2ebb5c15721.gif]: /images/20221022/a023a6a4e05d471fbba187095c39bc93.png
[b98fc8e3f88954184767bac289fec382.gif]: /images/20221022/f34a6c694546453994ce7fc5bdcc731f.png
[f2565864fca877b40032a7953e3fd52e.gif]: /images/20221022/f5e57c7422584778a18049ee721c2dd4.png
[3f741f3313caea6b02d6d9f470e165c9.gif]: /images/20221022/58e6244d50c84c65ac25a3f7bd937271.png
[230524f824c68710a86945ba3b0cdac1.gif]: /images/20221022/b34a0e1978b94be491a6a548e5e459ad.png
[27b4cd8255a5e6354306eeb1e7684249.gif]: /images/20221022/b2366cbdc5d6440e908c20cb7483b525.png
[261ce47a74da22d2392d8ee27d11a33b.gif]: /images/20221022/787f2260d02b4941b7217ebd250ca54c.png
[5b4d2a84f0a67ffaa697d7a94154a12f.gif]: /images/20221022/06519c4d05b144b7aaf2d3f4a07d544b.png
[97040d008d848429ff6ca8ea6de105a0.gif]: /images/20221022/a2e295360ddf403ba2641143d95ee01d.png
[3113cd90aabf0777277ed659a33f42d9.gif]: /images/20221022/645ef390731d4a43b3d3317e43e6d427.png
[53bc33140e4568a3cfd3ed6e171dea17.gif]: /images/20221022/45946d4a13a94165b027e9d112dc51ca.png
[ced11d2a06b5f5015e64624e5f14e871.gif]: /images/20221022/871c2309ab244fe09f874789ac78050a.png
[7840c6a7b96e05be297a37d0c0c75401.gif]: /images/20221022/d87df448d36c4b87939563fcc720a748.png
[3b7b74d4579b000897605fb1971fb793.gif]: /images/20221022/485b85c4d34d455189c13c4108b6cbc4.png
[5ed2f41091e4f9c0173b5bedaa1c4eaf.gif]: /images/20221022/30821d8338f04bd5a7d8a63b5047f22a.png
[88379dd07747a41d5175d0e1623393a2.gif]: /images/20221022/5905309a962348b3803f7f6c96e75342.png
[0a3905eaa192297ae807c95c1fd211cd.gif]: /images/20221022/25f0aaca4c1f44ab9901d7ff37377678.png
[c615514f6dc649aa14cace33d9fa015b.gif]: /images/20221022/8ac5969f30fb4ce3a1aa777fa2830ce5.png
[24c76fd9f31ccb6668eb19fb07097f06.gif]: /images/20221022/43aa39e0485e4fffbfe7ef6fb1138b5b.png
[53632ce580f85513b821c20c08e874b1.gif]: /images/20221022/de0fb5a489824028b20b6a4c3e877d59.png
[51926edb5e820daba3124b502fd9d319.gif]: /images/20221022/043e4a5b6bbf48069123b3181cdd9744.png
[72460afa28216343bce7ea5e02d16890.gif]: /images/20221022/07bda7eb301a4d108b23c03b0781a70b.png
[23d07c0d758943c32296f2c34da1edb7.gif]: /images/20221022/68a37892bf30487e85815be463382a20.png
[4866f497c8d88f456dc46c37e9b4c87f.gif]: /images/20221022/679e3c5784964a40997ed7eedc5bcd7e.png
[06f22760cd96079a9407dd9fb7af6e78.gif]: /images/20221022/acea0ac23d1f48f4be9c6419c0e81b05.png
[6958d69f44973b2fb36370eff65bb6ca.gif]: /images/20221022/6c30a2bce5aa44cbba55d128a03a1e8a.png
[2809af7693792d635f15c3f4ebebe15b.gif]: /images/20221022/42314b4596654d479c26f3e38745cbab.png
[ffedf0c38ba634531990ecc7f49494b7.gif]: /images/20221022/e569bfdf27634f0aaf33a61560f3acec.png
[6d314b38f4467a8de202129ee4677e2f.gif]: /images/20221022/796a401198ff42248e335356bf2920da.png
[c39c69771d9fa54d27ce520ef5073487.gif]: /images/20221022/e357945e55eb4ee2b4669a0be9088358.png
[bac542a290c7a2ae4426f2c4c7f5950d.gif]: /images/20221022/56ebd41365034e76be360b1424ea6957.png
[9fd647c1264249338b8c11b29bcdcaf2.gif]: /images/20221022/3f5fa93f148f49b9983f1aaa6077f464.png
[55f93f2dfcb86c1ade6c7a199e8cc273.gif]: /images/20221022/66c7be3a203b4c22b8cbc7728fc966f5.png
[c2da0a29594963536aca356795d7b5cc.gif]: /images/20221022/e0eb232b5ee840f79844ab6ae14e6a32.png
[795afcbadd18d10bb98394c4775f52d2.gif]: /images/20221022/88317b38835e4dc882d5bf7433ff4fc6.png
[1a0e028bcbac77e1f631cff94048d55c.gif]: /images/20221022/9a6b49e78f2447a7a8ad0fbeb14375e8.png
[27f72fa6930508b6b7952f656722a344.gif]: /images/20221022/0bc54f5b70894b40842e9adfb5ff4799.png
[d212fc17fe3ccad1c3eaaef4ab3cd1c9.gif]: /images/20221022/17bbd8e865fc4686a0b058d831918012.png
[c5e3c8558ae3d858721a017686a11550.png]: /images/20221022/0dee31584f054ff3ba9af2d913ccb718.png