找前 $k$ 大/小 元素,用 nth_element() 而非 sort() 会更快