Sherwood算法随机选择一个数组元素作为划分标准求解k小元素问题，保证线性时间的平均性能