Dijkstra算法正确性证明 问题：求图中点1到其他各点的最短距离 算法描述： 设初始时图的所有点的集合U 把起点s放入初始集合Set中 U=U-{s} Set=Set+{s} 找s经过集合Set中的点，能达到的距离最短的点k(k\(\in\)U)，将k并入Set ...

算法证明 经典排序算法 为什么基于比较的排序算法的时间复杂度不能低于O(nlogn) 决策树与二叉树 红黑树 2-3-4树 树的遍历 算法正确性证明 完全正确性与部分正确性 循环不变量 　　为什么使用循环 ...

Kruskal算法： 　　步骤1，选择边e1，使得权值w(e1)尽可能小； 　　步骤2，若已选定边e1,e2,...,ei，则从E\{e1,e2,...,ei}选取e(i+1),使得 　　　　（1）G[{e1,e2,...,e(i+1)}]为无圈图 　　　　（2）权值w(e(i+1 ...

以下所有讨论，都是基于有向无负权回路的图上的。因为这一性质，任何最短路径都不会含有环，所以也不讨论路径中包含环的情形！并且为避免混淆，将“最短路径”称为权值最小的路径，将路径经过的点数-1称为路径的长度。 先列出算法的c语言代码实现，后面将用这段代码来辅助证明。 先用比较形象的语言来简单 ...

RSA加密算法是利用大整数分解耗时非常大来保证加密算法不被破译。 密钥的计算过程为：首先选择两个质数p和q，令n=p*q。 令k为n的欧拉函数，k=ϕ(n)=(p−1)(q−1) 选择任意整数a，保证其与k互质 取整数b，使得a*b ≡1mod k 令公匙为a和n。私匙为p，q，b ...

说明： 本文仅提供关于两个算法的正确性的证明，不涉及对算法的过程描述和实现细节 本人算法菜鸟一枚，提供的证明仅是自己的思路，不保证正确，仅供参考，若有错误，欢迎拍砖指正 ...

一，部分背包问题介绍 首先介绍下0-1背包问题。假设一共有N件物品，第 i 件物品的价值为 Vi ，重量为Wi，一个小偷有一个最多只能装下重量为W的背包，他希望带走的物品越有价值越好，请问：他应该选 ...

今天学习了Prim算法和Kruskal算法，因为书中只给出了算法的实现，而没有给出关于算法正确性的证明，所以尝试着给出了自己的证明。刚才看了一下《算法》一书中的相关章节，使用了切分定理来证明这两个算法的正确性，更加简洁、优雅并且根本。相比之下，我的证明带着许多草莽气息，于此写成博客，只当是记录 ...