算法：求一个源源不断到来数据中的前K个最大（小）元素？以及第K个最大（小）元素？