Чтобы ответить на этот вопрос, необходимо выяснить, можно ли расставить 12 двухпалубных кораблей (домино 1х2) на поле 8х8 так, чтобы не осталось свободного места для трехпалубного корабля (прямоугольника 1х3). Для этого воспользуемся методом блокировки. Чтобы на поле не поместился трехпалубный корабль, в каждой горизонтали и в каждой вертикали не должно быть трех свободных клеток подряд. Анализ площади и структуры
- Общая площадь поля: клетки. Площадь 12 двухпалубных кораблей: клетки. Свободное пространство: клеток.
Даже при наличии 40 свободных клеток их можно распределить так, что ни в одном месте не останется сегмента 1х3. Стратегия расстановки (Контрпример) Чтобы доказать, что место для трехпалубного корабля останется не обязательно, достаточно привести пример расстановки, где его разместить невозможно. Рассмотрим поле как набор строк. В каждой строке длиной 8 клеток мы можем расставить двухпалубные корабли так, чтобы "разбить" любые свободные участки. Пример заполнения одной строки: Представим строку из 8 клеток, где «К» — клетка корабля, а «.» — пустая клетка: . К К . . К К .
- Здесь использовано 2 двухпалубных корабля.
- Максимальный пустой сегмент — 2 клетки.
- Трехпалубный корабль (1х3) не помещается горизонтально.
Если мы заполним таким образом все 8 строк, используя по 2 корабля на строку, мы потратим кораблей. Однако у нас в распоряжении всего 12 кораблей. Нам нужно распределить их более эффективно, чтобы заблокировать и горизонтали, и вертикали. Оптимальная блокировка Эффективный способ — расставлять корабли «лесенкой» или в шахматном порядке с пропусками.
- Разделим поле 8х8 на квадраты 2х2 (всего 16 таких квадратов).
- Если в центре каждого квадрата 2х2 или на стыке сегментов поставить корабль, он будет эффективно «разрезать» пространство.
- Существует математически доказанная расстановка: если разместить 12 кораблей (24 клетки) определенным паттерном (например, по диагоналям с шагом), то можно добиться того, что в любой строке и любом столбце максимальное количество идущих подряд пустых клеток будет равно 2.
Визуальная схема (логика): Разместим корабли вертикально в шахматном стиле:
- Ряд 1: Корабли в столбцах 3 и 6.
- Ряд 2: Корабли в столбцах 3 и 6.
- (Это занимает 2 корабля 1х2 и блокирует проход 1х3 по горизонтали в этих двух рядах).
Повторяя подобные паттерны, 12 кораблей вполне достаточно, чтобы «засорить» поле 8х8 так, что нигде не останется сплошной линии из 3 пустых клеток ни по горизонтали, ни по вертикали. Вывод Нет, не обязательно. 12 двухпалубных кораблей достаточно для того, чтобы заблокировать все возможные места для размещения трехпалубного корабля (1х3), если расставить их равномерно по площади поля, не оставляя пустых зон размером более или . Хотите, я составлю графическую схему координат для такой расстановки, чтобы вы могли убедиться в этом наглядно?