循环边界与循环不变式 — 软件工程填空题
题目
某循环用于在有序数组 a[0..n-1] 中查找 x 的插入位置，采用左闭右开区间写法：初始 lo=0、hi=n，循环条件为 lo<hi，循环体为 mid←⌊(lo+hi)/2⌋；若 a[mid]<x 则 lo←mid+1，否则 hi←mid。若以 P(lo,hi)：所有下标小于 lo 的元素均 < x，且所有下标不小于 hi 的元素均 ≥ x 为循环不变式，则循环结束时必有 lo=____（用 lo 与 hi 的关系表示），此时 x 的插入位置为 lo。