二分查找中的循环不变式

如下代码来自python标准库，查找有序数组中第一个大于或等于x的元素位置，填加了一些注释。python a[lo:hi]（左闭右开）是待查找的区间，循环不变式为：lo左边的元素所有严格小于x，hi及hi右边的元素所有大于等于x。关键不在于区间里的元素具备什么性质，而是区间外面的元素具备什么性质。当循环结束时，lo==hi，根据循环不变式，可知hi为第一个大于等于x的元素。数组 bisect_le

>>阅读原文<<