Top-K & Streaming"Find the k largest" looks like a sorting problem, and sorting solves it — but sorting also computes