彪悍的人生不需要解释！

本文内容：1）本文给出了最短路径问题六大定理的证明分析及定理的本质分析2）本文从六大定理的角度，去探讨了Bellman-Ford算法设计思路分析以及拓扑排序松弛算法与路径松弛性质定理的关系这是初稿，本文内容过于重要，而且我还有大量想法没有写进来，因此我决定择日重写。。下面给出CLRS对六大定理的描述...

本文从多个角度去讨论了强连通分量算法的设计思路，并重点分析了算法中的图转置操作的意义。本文的内容是基于算法导论22.5节的深度分析，编写日期2019/1/22,20日掌握算法导论day13 【为什么要转置图G？】         为什么不直接按照正时间次序对原图G进行二次深度优先搜索，这样我觉得也行啊，分析见下例题Exercises 22.5-3Professor B...

本文不太严谨的去论证了势函数与核算法是等价的。另外，本文介绍了构造势函数的要点。本文编写于 2019/1/21，20日掌握算法导论day12【以下设计问题模型】 假设我们的实际代价函数在i=f(k)时(k=0,1,2,3…)，会突变产生巨大的代价 ex:对于17.4动态表，i=f(k)=2^k-1 势函数设计核心：势函数的设计要求在每次f(k)来临之前，通过之前的操作积...

HJ指示器变量假说 本文主要通过随机构建二叉树性能证明来摸索出指示器变量使用的物理层面逻辑意义，称之为HJ指示器变量假说；日期:2019/1/15,20日掌握算法导论day6【理论总结】根据目标变量Yn的特性，去分析出性质变量的可能表现形式Rn。而后再以Zn为工具去试图打破性质变量和目标变量之间的隔阂 指示器变量更像是一种无赖透顶的假设。我们可以很容易的搭建出目标变量和性质变...

本文对拟阵理论的最优子集贪心算法的安全性和正确性证明进行了分析另外，本文讨论了拟阵理论和贪心算法的关系 写作日期：2019.1.20，20日掌握算法导论day11【定理证明的依据是什么？】 导致《拟阵最优子集问题》具有最优子结构性质的本质原因是拟阵具有交换性，即拟阵的第三个性质。  【最优子结构证明分析】 引理16.10的证明是错误的，其I撇假设：B∪x∈I 没有任何依据...

本文是我对算法导论P156-159 11.5节完全散列的证明分析本文重点：1.对完全散列四大定理的证明进行分析，着重堆二次散列进行了可行性分析2. 对完全散列四大定理的证明进行分析，着重堆二次散列进行了可行性分析对完全散列四大定理的证明进行分析，着重堆二次散列进行了可行性分析3. 马尔科夫不等式就是刻画 事物偏离它本质的偏离程度 的大小 的概率。马尔科夫不等式就是刻画 事物偏离它本质的偏...

本文主要是对 算法导论P154定理11.6的证明分析以及对开放寻址法的性能优异的本质进行分析• 【本定理证明的依据是什么？】 § 开放寻址表特殊的插入和查找规则 § 均匀散列假设• 对定理11.6的证明分析非常非常困难，请你务必找到证明步骤中体现开放寻址法独特性的关键步骤。以及想想看如果是普通数组，进行类似11.6定理证明为什么不行。• 【开放寻址法的性能与结构关联分析】 ○ ...

     本文主要是对算法导论16.3节 赫尔夫曼编码相关证明的分析梳理；     另外，本文总结分析了贪心算法安全性证明的思路；      编写日期，2019/1/19,20日掌握算法导论day10 【证明之HuffMan算法构造的树是最优的证明】 遮住底部所有叶结点和内部结点，只剩下树X1（高度为1的两个根的儿子和根）。利用引理16.2证明X1是最优的，然后利用引理16....

本文首先依据全域散列函数的全域性来证明全域散列法的性能，而后设计一个全域散列函数。下面是定理11.3和推论11.4的证明分析，其实我们的目的是为了证明推论11.4，才想到去证明定理11.3• 【证明核心步骤】○ 指示器变量+分类讨论+穷举○ 【证明目标锁定】：因为散列表的性能主要决定于其查找操作的性能，因此我们决定求得任意关键词k所在链表的期望长度• 【证明成功的背后本质原因】○ ...

尾递归如果一个函数中所有递归形式的调用都出现在函数的末尾，我们称这个递归函数是尾递归的。当递归调用是整个函数体中最后执行的语句且它的返回值不属于表达式的一部分时，这个递归调用就是尾递归。尾递归函数的特点是在回归过程中不用做任何操作，这个特性很重要，因为大多数现代的编译器会利用这种特点自动生成优化的代码。当编译器检测到一个函数调用是尾递归的时候，它就覆盖当前的活跃记录而不是在栈中去创建一个新...

 本篇笔记分析的是一种特殊地算法设计思想：根据算法结构和性能的相关定理，从目标性能出发反推出我们能够接受的最终的算法结构，然后按照这些算法结构再去实现算法内部的逻辑。如果算法的局部是未知的，但是他的架构的性质是已知的。那么我们便可以算法架构出发反过来去设计算法的内部实现逻辑。特别地，在设计递归算法时，因为有主定理和Akra-Bazzi方法，我们可以简单的、有目的性地设定具有特定递...

• 【证明核心步骤】 ○ 【证明目标锁定】：查找所需要的平均次数 ○ 分类套路，查找成功，查找失败 ○ 穷举，对所有查找成功的可能进行穷举，利用指示器变量工具对穷举结果进行数学描述• 【证明套路】 ○ 通过指示器变量对非随机算法进行概率分析，必须要强调的是，任何牵扯到算法概率分析的相关证明都可以使用指示器变量，不要以为仅仅是随机性算法才会使用指示器变量• 【证明成功的背后本质原因】 ...

本文是针对算法导论34.2节的证明部分的分析本文对电路可满足问题NP完全性的证明过程进行了细致的套路和分析编写日期：20日掌握算法导论,day19 2019/1/29下面给出CLRS的证明原文...