如何写出正确的二分查找？——利用循环不变式理解二分查找及其变体的正确性以及构造方式...

序言html 　　本文以经典的二分查找为例，介绍如何使用循环不变式来理解算法并利用循环不变式在原始算法的基础上根据须要产生算法的变体。谨以本文献给在理解算法思路时没有头绪而又不甘心于死记硬背的人。程序员 　　二分查找究竟有多重要？《编程之美》第2.16节的最长递增子序列算法，若是想实现O(n2)到O(nlogn)的时间复杂度降低，必须借助于二分算法的变形。其实不少算法都是这样，若是出现了在有序序列

>>阅读原文<<