#二分查找

二分查找开闭区间与循环不变量