图灵在1936年就指出，图灵机并不是什么都能计算。最著名的例子就是停机问题，即没有计算机能通过查看一段代码就知道自己是会永远执行下去还是会最终停止。——摘自《可能与不可能的边界：P/NP问题趣史 ...

比较排序算法的时间复杂度是O(nlogn)的证明： 排序算法的比较是两两进行的，所以可以抽象成一棵二叉树，相互比较的数分别是左右叶子结点，，比较的结果存储在父节点中，依此类推。那么算法的时间复杂度就 ...

重复题目: 输入一个整形数组，数组里有正数也有负数。数组中连续的一个或多个整数组成一个子数组，每个子数组都有一个和。求所有子数组的和的最大值。要求时间复杂度为O(n)。 此题最初载于 http: ...

算法证明 经典排序算法 为什么基于比较的排序算法的时间复杂度不能低于O(nlogn) 决策树与二叉树 红黑树 2-3-4树 树的遍历 算法正 ...

按：今天看Tanenbaum的计算机网络时讲到了Dijkstra算法。关于算法的正确性，《算法导论》给出了严格的证明。CLRS的证明基于一个通用的框架，非常清晰。今天只是随意想想是否有其他证明的方式， ...