Editorial for DMOPC '20 Contest 2 P4 - Hungry Pigeons
Submitting an official solution before solving the problem yourself is a bannable offence.
Author:
Subtask 1
A brute force algorithm will suffice for this subtask. After the -th minute, simply consider all ways of assigning the first worms to the pigeons.
Time complexity:
Subtask 2
A slightly better brute force algorithm is required for this subtask. Rather than consider all possible ways of assigning the worms, it can be quickly realized that the smallest worms should be assigned to the smallest pigeons.
First, we will need to sort the beak sizes. After the -th minute, we should also sort the first worm diameters. Then, we can find the maximum possible flock satisfaction by linearly searching for it. In other words, for all , we should try to feed the smallest worms to the smallest pigeon, then feed the next smallest worms to the next smallest pigeon, and so on. If this assignment works, then is a possible flock satisfaction; otherwise, is not.
Time complexity:
Subtask 3
This subtask requires the following observation:
Lemma: For all , define the "sub-satisfaction" of the -th smallest pigeon to be the number of worms that pigeon can eat, divided by (and rounded down). Then, the maximum possible satisfaction of the flock equals the minimum sub-satisfaction among all pigeons.
The rationale for this observation is as follows: Using the greedy algorithm explained in Subtask 2, if we try to feed worms to every pigeon, the largest worm that the -th smallest pigeon will eat is the ()-th smallest worm. If is larger than or equal to the pigeon's sub-satisfaction, then the pigeon can eat the worm; otherwise, the pigeon cannot.
Using this lemma, we can now develop the following algorithm: First, we need to sort the beak sizes. We will need to keep track of the number of worms each pigeon can eat over time. After the -th minute, we need to update these counts for the pigeons, based on whether or not each pigeon can eat the -th worm. Then, we can easily compute the sub-satisfaction of each pigeon after each minute, which allows us to find the maximum possible satisfaction of the flock.
Time complexity:
Subtasks 4 and 5
The intended solution relies on offline processing. In other words, instead of processing the worms one-by-one, we will process all of the worms together before outputting any answers. First, a large inefficiency in the Subtask 3 solution was that the sub-satisfaction of a pigeon could become much larger than the satisfaction of the flock. We can notice that the flock's satisfaction cannot be higher than , since there would not be enough worms to increase the flock's satisfaction. Thus, by limiting a pigeon's sub-satisfaction to , we can process each pigeon a fewer number of times. Also, we need a way to quickly find the -th earliest worm that the -th smallest pigeon can eat, for all and . That way, we can set flags for when each pigeon's sub-satisfaction increases, and we would have to set these flags at most times. This can be done by building a BBST of the worms' surfacing times, then processing the pigeons in order from smallest to largest, and adding a worm to the BBST when the pigeon is large enough to eat it. (Clearly, this requires sorting both the pigeons and the worms by size).
After we finish this pre-processing, we can loop through the minutes to determine the answers. As we iterate through the loop, the flags will indicate when each pigeon's sub-satisfaction increases. To determine the minimum sub-satisfaction among all pigeons, we can simply keep track of the frequency of each sub-satisfaction value.
Subtask 4 was added as a "fail-safe" for submissions with some inefficiency (e.g. An extra log factor, a large constant factor, etc.)
Note: One can alternatively use a range query tree such as a segment tree or binary-indexed tree.
Time complexity:
Comments