MathDB
2017 ISL C8

Source:

July 10, 2018
combinatoricsIMO Shortlist

Problem Statement

Let nn be a given positive integer. In the Cartesian plane, each lattice point with nonnegative coordinates initially contains a butterfly, and there are no other butterflies. The neighborhood of a lattice point cc consists of all lattice points within the axis-aligned (2n+1)×(2n+1)(2n+1) \times (2n+1) square entered at cc, apart from cc itself. We call a butterfly lonely, crowded, or comfortable, depending on whether the number of butterflies in its neighborhood NN is respectively less than, greater than, or equal to half of the number of lattice points in NN. Every minute, all lonely butterflies fly away simultaneously. This process goes on for as long as there are any lonely butterflies. Assuming that the process eventually stops, determine the number of comfortable butterflies at the final state.