# Розділ 8. Аналіз зменшених варіантів

Для розуміння структури гри 4×4 доцільно дослідити її менші аналоги. Вони дозволяють виконати повний перебір, виявити закономірності та перевірити гіпотези, які потім можна екстраполювати на більший розмір. У цьому розділі ми розглянемо варіанти 1×1, 2×2 та 3×3, а також з’ясуємо, які висновки можна перенести на 4×4.

## 8.1. Варіант 1×1 з 1 типом

Дошка складається з однієї клітинки. Множина типів T = {0}. Початкова конфігурація: єдина фігура має маску \[0]. Перемога досягається, коли фігура містить усі типи, тобто \[0]. Отже, гра вже на початку є переможною? За правилами, перемога перевіряється після ходу. Оскільки ходів немає (немає можливості рухатись, бо немає інших клітинок), гра не може початися. Цей варіант тривіальний і нецікавий.

## 8.2. Варіант 2×2 з 2 типами

Дошка 2×2, типи T = {0,1}. Топологія тора: координати за модулем 2. Початкова конфігурація за формулою mask(x,y) = (x+y) mod 2:

```
   a b
1  0 1
2  1 0
```

Усього 4 фігури, кожна ваги 1.

**Аналіз**. На торі 2×2 хід коня дає з будь-якої клітинки два можливі напрямки (0,1) та (1,0) (та їхні від’ємні варіанти, що збігаються). Граф сусідства утворює цикл довжини 4, де клітинки типу 0 ((0,0) та (1,1)) з’єднані з клітинками типу 1 ((0,1) та (1,0)), і навпаки.

Перший гравець може обрати будь-яку фігуру типу 0 і злити її з сусідньою фігурою типу 1 (або навпаки). Оскільки всі клітинки зайняті, такий хід є злиттям і негайно створює фігуру з маскою {0,1} (вага 2), тобто переможну фігуру. Таким чином, **перший гравець виграє за один хід**.

**Висновок для 2×2**: гра тривіальна, перший гравець завжди перемагає. Цей випадок показує, що при малих розмірах гра може бути розв’язана негайно, але для 4×4 через більшу кількість типів та клітинок така пряма перемога неможлива (потрібно мінімум 3 злиття, що додають нові типи).

### 8.3. Варіант 3×3 з 3 типами

Дошка 3×3, типи T = {0,1,2}. Початкова конфігурація за формулою (x+y) mod 3. Усього 9 фігур, кожна ваги 1.

Цей варіант допускає повний комп’ютерний перебір. Результати такого аналізу:

* **Перший гравець не має виграшної стратегії**; за оптимальної гри обох сторін партія завершується **нічиєю**.
* **Мінімальна кількість ходів до перемоги** (якщо суперник помиляється) – 3 ходи першого гравця.
* **Відсутні позиції, що призводять до нічиєї за правилом 50 ходів** (гра закінчується раніше, але нічия через відсутність виграшної стратегії).

**Пояснення**. Через малу кількість типів (3) будь-яке злиття, що створює фігуру ваги 2, дає супернику негайну загрозу виграшу. Тому оптимальна гра зводиться до уникнення таких злить, що веде до нічиєї при ідеальній грі.

## 8.4. Уроки для 4×4

Аналіз 3×3 дає такі важливі вказівки для 4×4:

1. **Перший гравець, ймовірно, має перевагу** (хоча доведення для 4×4 потребує окремого аналізу).
2. **Короткі партії можливі**, якщо вдається швидко зібрати фігуру ваги 4. У 3×3 мінімальна кількість ходів – 2; у 4×4 мінімальна – 3 (оскільки потрібно три злиття, що додають нові типи).
3. **Відстані ходу коня мають вирішальне значення**. Діаметр графа для 4×4 дорівнює 2, що дозволяє зближувати фігури дуже швидко.
4. **Симетрія та інваріанти** в 3×3 допомагають редукувати кількість станів; для 4×4 це буде ще важливіше.
5. **Правило 50 ходів** у 3×3 жодного разу не спрацювало, але в 4×4, через більший простір, теоретично можливі затяжні позиції.

Таким чином, 3×3 є ідеальним полігоном для перевірки гіпотез перед масштабуванням на 4×4. Багато тактичних ідей (вилки, жертви) були вперше виявлені саме при аналізі 3×3.

## 8.5. Висновки

У цьому розділі ми:

* розглянули тривіальний варіант 1×1;
* встановили, що в 2×2 перший гравець виграє за один хід;
* проаналізували 3×3 за допомогою комп’ютерного перебору, встановивши виграшну стратегію першого гравця та мінімальну довжину партії 2;
* обговорили, які уроки з 3×3 можна застосувати до 4×4.

Цей аналіз підтверджує, що гра на більших дошках (4×4 і вище) є більш збалансованою та вільною від патових ситуацій, а також дозволяє будувати індуктивні міркування про складність.

***


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://nautilus-3.gitbook.io/subit64/aether-tour/docs/compedium/08_reduced_variants.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.