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 ...

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

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

已知条件： 图p是一个连通图，Y是对p使用prim算法得到的一棵生成树，Y1是p的一棵最小生成树 1.若Y=Y1，显然prim算法是正确的 2.若Y≠Y1，可进行如下推导： a）Y中有n（n≥1）条边不存在于Y1中，在构建Y的过程中，第一次遇到这样的一条边时（以e表示），则e ...

以下所有讨论，都是基于有向无负权回路的图上的。因为这一性质，任何最短路径都不会含有环，所以也不讨论路径中包含环的情形！并且为避免混淆，将“最短路径”称为权值最小的路径，将路径经过的点数-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 ...

问题：求图中点1到其他各点的最短距离 策略: 1.把起点1放入初始集合Set中，从剩余的点中，选取到Set(此时Set中只有1个点)距离最近的点，并入集合Set中， 2.从 ...

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