* linear-time greedy algorithm for covering