第 7 题

输入列表a → i = 0，j = len(a) - 1 → i <= j？
Y → m=(i+j)//2 → key < a[m]？
Y → j = m - 1 → 返回i <= j？
N → i = m + 1 → 返回i <= j？
i <= j？的N分支 → 输出j

i、j初值为首、尾元素的下标，限定当前查找区间。各选项的列表均按非降序排列：若key<a[m]，则m及右侧元素都大于key，令j=m-1向左查找；否则m及左侧元素都不大于key，令i=m+1向右查找。每次右移i，都把已经确定不大于key的部分留在i左侧；每次左移j，都把已经确定大于key的部分排除。结束时i=j+1，因此输出的j为最后一个不大于key的元素下标。