The IMO problem requires finding the minimum number of tiles needed to satisfy the property and rigorously proving that any other configuration must use more tiles.