groovy2007的专栏

原创 二分查找中的循环不变式

以下代码来自python标准库，查找有序数组中第一个大于或等于x的元素位置，填加了一些注释。a[lo:hi]（左闭右开）是待查找的区间，循环不变式为：lo左边的元素全部严格小于x，hi及hi右边的元素全部大于等于x。当循环结束时，lo==hi，根据循环不变式，可知hi为第一个大于等于x的元素。bisect_left(a, x, lo, hi): #assume a[lo-1]