О норинори

Я уже давно подсел на этот Webring - очень приятный, ностальгический, неплохо забытый и стильный способ организации набора вебсайтов с головоломками разных типов (один из которых — Норинори).
Разумеется, я попробовал все из них — некоторые оказались слишким легкими, некоторые — слишком тягомотными (я плохо умею строить в голове деревья попыток решений) — в частности, на этом вебринге меня даже intermediate level Sudoku расстраивает.
В настоящее время я регулярно играю в Slant, LITS, Galaxies, Tents, Battleships, Pipes, Masyu (15x15 normal), Stitches (10x10(1)), Tapa, Kakuro (16x16 hard), Nonograms, Slither Link, Light Up — легче было наверно перечислить те, которые я совсем забросил. Все игры неотмеченные уровнями — подразумевается самый высокий уровень, или почти самый высокий.
И вот новенькая — Норинори. Меня интригует широкая вариабельность трудности в выбранном уровне 20x20 Hard.
Правила Норинори просты: вы должны заштриховать некоторые ячейки
таким образом, чтобы:
- В каждом регионе заштрихованы ровно 2 клетки.
- Каждая заштрихованная ячейка должна быть частью
домино*. Домино может пересекать границы
области.
- Домино не могут касаться друг друга, кроме как по диагонали.
* Домино — это фигура, состоящая из 2 заштрихованных ячеек, расположенных рядом друг с другом (1x2 или 2x1).
Конец перевода с вебсайта
От себя добавлю секрет — все решения единственны, невырождены — что является, конечно, подсказкой — локальные решения неизбежно приводящие к дегенерации решения должны отсекаться.
Понятно что все регионы делятся на два класса — одно домино внутри или два домино пересекающие границу региона.
Во втором классе регионы образуют граф с другими регионами.
Меня заинтриговала задача — каково распределение размеров этих графов. Эмпирически, эти графы — довольно маленькие. В текущей задаче, которую я решаю прямо сейчас (и, как вы понимаете, застрял, иначе какого ж хрена я стал бы избегать процесс решения путем отвлечения на написание сего поста?), все регионы которые я уже решил образуют максимально графы из трех регионов.
Насколько легко построить задачку норинори, где все регионы объединены в один граф? Понятно, что для небольшого количества регионов это довольно часто. А вот для больших?
Заметим, что регионы нельзя делать слишком большими часто, иначе возникнет проблема отсутствия единственного решения.
|
</> |