在预期的线性时间内从列表中选择第 n 个最大元素的 Python 程序