523D - Statistics of Recompressing Videos【模拟，greedy】

D. Statistics of Recompressing Videos

time limit per test

3 seconds

memory limit per test

256 megabytes

input

standard input

output

standard output

A social network for dogs called DH (DogHouse) has k special servers to recompress uploaded videos of cute cats. After each video is uploaded, it should be recompressed on one (any) of the servers, and only after that it can be saved in the social network.

We know that each server takes one second to recompress a one minute fragment. Thus, any server takesm seconds to recompress am minute video.

We know the time when each of the n videos were uploaded to the network (in seconds starting from the moment all servers started working). All videos appear at different moments of time and they are recompressed in the order they a