第 7 题

i ← n - 1, k ← i → i > 0?
Y → i ← i - 1 → a[k] < a[i]?
Y → k ← i → 返回 i > 0?
N → 返回 i > 0?
i > 0? 的 N 分支 → 输出k

初始时i和k都指向最后一个元素。每次在i>0时先将i减1，再把a[i]与a[k]比较；只有a[i]更大时才将k改为i。因此，k始终记录已查看元素中最大值的下标。遍历由右向左进行，相等时不更新k，所以最大值重复出现时保留最右侧的下标。i减至0后仍会完成对a[0]的比较，再回到循环条件处退出。