第 11 题

a=[1,2,5,5,6,7,8,11]
n=len(a) ; c=[0]*(n+1)
for i in range(n):
    k=a[i]
    if k>n:
        k=n
    c[k]+=1

列表 c 的各项初值为0。循环取出 a[i] 作为下标 k，再将 c[k] 加1；若 a[i]>n，则先把 k 改为 n。因此，循环结束时，c[0] 至 c[n-1] 分别记录对应数值的出现次数，c[n] 记录大于或等于 n 的元素个数。

k=n
while c[k]<k and k>0:
    k-=1
    c[k]+=c[k+1]

从 k=n 开始检查，此时 c[n] 已表示大于或等于 n 的元素个数。若 c[k]<k 且 k>0，就将 k 减1，再把 c[k+1] 加到 c[k] 上：原 c[k] 统计等于当前 k 的元素，c[k+1] 已统计大于或等于 k+1 的元素，两者合并后，c[k] 就表示大于或等于当前 k 的元素个数。

因此，每次判断循环条件时，都是比较“大于或等于 k 的元素个数”与 k。k 从 n 逐步减小，遇到 c[k]≥k 时停止；若一直不满足，则减至0后停止。