算法的时间复杂度 编写算法时，需要对算法进行分析。第一是从数学上证明算法的正确性，这一步主要用到形式化证明的方法及相关推理模式，如循环不变式、数学归纳法等。而在证明算法是正确的基础上，第二部就是分析算法的时间复杂度。这是用来衡量你的算法好不好，以及能不能用。这在算法的编写当中至关重要。因为时间复杂度 ...
分类：
编程语言 时间：
2018-11-02 23:52:00
阅读次数：
221
学到了一个引理：在满足S最小化的条件下，一定存在一种构造序列B的方案，使得序列B中的数值都来自于A中。（数学归纳法+中位数定理得证） 对于状态的表示来说，首先肯定有一个 i ，表示选到了第 i 个数时对应的最优解，由于需要维护序列单调性，因此需要再在状态中加入一个因素 j ，表示在第 i 位选了离散 ...
分类：
其他好文 时间：
2018-10-11 20:05:17
阅读次数：
169
贪心部分的理论依据：前i个数可以凑出1～sum[i]的所有整数。 证明：第二类数学归纳，n=1时成立，假设n=k之前所有项都成立，当n=k+1时。sum[k+1]=sum[k]+a[k+1]。只需证明能凑出sum[k]+1~sum[k+1]间的整数即可。设1≤p≤a[k+1]，sum[k]+p=su ...
分类：
其他好文 时间：
2018-10-05 19:47:18
阅读次数：
144
题意：判断一个整系数多项式除以一个常数结果是否一定是一个整数 大白p123例题。可以随机代入一些n的值，判断一下。不过只要代入1到k+1（k为多项式最高项的次数）即可。通过数学归纳法证明，先讨论k为0 1 2的情况。 然后字符串的处理就很遍历然后判断吧。。要是py来个eval()就好了（滑稽） 代码 ...
分类：
其他好文 时间：
2018-08-16 16:34:07
阅读次数：
202
求解递归式的方法 【代入法】 代入法求解分为两步： 猜测解的形式 用数学归纳法求出解的常数C，并证明正确性，关键步骤是用猜测的解代入到递归式中。 做出好的猜测（没有一般方法，只能凭经验） 与见过的解类似，则猜测之。 先证较宽松的上、下界，减小猜测范围。我们可以从下界Ω(n)开始，上界O(n^2)，然 ...
分类：
编程语言 时间：
2018-06-19 20:10:51
阅读次数：
191
原文：https://blog.csdn.net/zolalad/article/details/11848739 博主：zolalad 通常，对于一个给定的算法，我们要做 两项分析。第一是从数学上证明算法的正确性，这一步主要用到形式化证明的方法及相关推理模式，如循环不变式、数学归纳法等。而在证明算 ...
分类：
编程语言 时间：
2018-05-25 21:14:48
阅读次数：
196
为什么二叉树为什么总是可以按照中序遍历线索化空指针是够但怎么保证不会有一个有左右孩子的节点不被别人指到想了想可以用类似于数学归纳法这样证明： 先讨论三种最简单的情形 1. ab c b左指针预留b右指针指向ac左指针指向ac右指针预留2. ab NULL b左指针预留b右指针指向a右指针预留3. a ...
分类：
其他好文 时间：
2018-05-13 21:02:39
阅读次数：
164
看了算法的大致步骤，然后自己一一证明了每一步的正确性，注释里写了一些理解。 这也不是新鲜的做法，只是感觉这个程序非常精巧，反复地使用数学归纳法。 让我感觉很新鲜。 ...
分类：
编程语言 时间：
2018-05-13 18:05:05
阅读次数：
224
ABC 喵喵喵 D 数学归纳吖！ n=0 ok n=1 ok 形成d[1]+1个点的完全图 n 2 一定能到达比n更小的状态 E 不考虑A操作，只考虑B操作：排序+贪心。 考虑A操作，会发现a全部加到一个人身上是最好的。 枚举把a加到哪个人头上。 F 最大匹配前是个负号哎！那没有被最大流浸泡过的边会 ...
分类：
其他好文 时间：
2018-05-08 19:32:19
阅读次数：
238
数字全排列 问题描述 给一个不重复的数字数组，写一个程序，输出全排列。 比如给定数组： 输出： 解决思路 这个问题很经典，接下来尝试使用数学归纳法的思想来解决这个问题。 在中学的时候，我们就知道一个长度为n的数列有n!个排列。因为第一个数字有n种情况，第二个数字有n 1种情况，第三个数字有n 2种情 ...
分类：
其他好文 时间：
2018-05-08 00:15:01
阅读次数：
201
