第 7 题

i←0，j←n-1，c←0 → i<=j?
N → 输出c
Y → m←(i+j)//2 → a[m]>key?
Y → j←m-1 → c←c+1 → 返回i<=j?
N → i←m+1 → 返回i<=j?

i、j 初值为0、n-1，分别指向查找区间的左右端点，m=(i+j)//2 为对分点下标。若 a[m]>key，就将右端点更新为 m-1，向左查找，并使 c 加1；否则将左端点更新为 m+1，向右查找。因此，c 记录向左查找的次数。与找到相等元素就结束的常见写法不同，本题 a[m]=key 时仍走N分支向右查找，直到 i>j、查找区间为空时才输出 c。