MwingFly

摘要： 算法证明 经典排序算法 为什么基于比较的排序算法的时间复杂度不能低于O(nlogn) 决策树与二叉树 红黑树 2-3-4树 树的遍历 算法正确性证明 完全正确性与部分正确性 循环不变量 为什么使用循环不变量证明算法正确性？ 循环不变量是满足下列条件的逻辑谓词：在进入循环之前满足一定的规律，在循环结束 阅读全文

摘要： 斯特林公式（Stirling's approximation）是一条用来取n的阶乘的近似值的数学公式。一般来说，当n很大的时候，n阶乘的计算量十分大，所以斯特林公式十分好用，而且，即使在n很小的时候，斯特林公式的取值已经十分准确。 阅读全文