# Розділ 1. Фундаментальні засади

## 1.1. Топологія тора

Дошка Aether Neutral є квадратною сіткою розміром **4×4** клітинок, але з **топологією тора**. Це означає, що клітинки, які знаходяться на протилежних краях, вважаються сусідніми. Формально координати клітинки задаються парою (x, y), де x, y ∈ {0,1,2,3}, а відстань між клітинками визначається за модулем 4. Рух за межі лівого краю продовжується з правого (і навпаки), аналогічно для верхнього та нижнього країв.

Така топологія має важливі наслідки:

* Кожна клітинка має рівно **8 можливих напрямків для ходу конем** (див. розділ 3.1), оскільки немає «крайових» клітинок.
* Дошка стає абсолютно симетричною: будь-яка клітинка може бути перетворена на будь-яку іншу за допомогою паралельного перенесення (трансляції) на торі.
* Граф сусідства для ходу коня є регулярним, що спрощує аналіз загроз і можливостей.

## 1.2. Початкова розстановка

Усі 16 клітинок перед початком гри заповнені фігурами. Кожна фігура має один із чотирьох типів (умовно позначених числами 0, 1, 2, 3). Розподіл типів задається строгою математичною формулою:

```
Тип(x, y) = (x + y) mod 4,
```

де x — номер рядка (0–3), y — номер стовпця (0–3).

Ця формула породжує **латинський квадрат** 4×4: кожен тип зустрічається рівно 4 рази, по одному разу в кожному рядку та кожному стовпці. Початкова конфігурація має вигляд:

```
0 1 2 3
1 2 3 0
2 3 0 1
3 0 1 2
```

Така симетрична розстановка забезпечує рівні стартові умови для обох гравців і дозволяє використовувати інваріанти (див. розділ 2.2).

## 1.3. Фігури як множини

У процесі гри фігури можуть зливатися, накопичуючи в собі кілька типів. Тому природно представляти кожну фігуру як **підмножину множини типів** {0,1,2,3}. Існує 2^4 = 16 підмножин, але порожня підмножина не зустрічається (на дошці завжди є фігура), тому реально можливі 15 станів. Для зручності використовується **бітове представлення**: кожному типу відповідає один біт, а фігура – це 4-бітове число, де біт i дорівнює 1, якщо тип i присутній.

Наприклад:

* Фігура типу 0 → бітова маска 0001 (або 1 у десятковій).
* Фігура, що містить типи 1 та 3 → 1010 (10).

**Злиття** двох фігур (маски a і b) відбувається за правилом об'єднання множин, що відповідає побітовому **АБО** (OR):

```
результат = a | b
```

Злиття завжди зменшує загальну кількість фігур на дошці на 1. Перемога досягається, коли якась фігура має маску 1111 (усі 4 типи).

## 1.4. Аналіз зменшених варіантів

Для розуміння структури гри 4×4 корисно розглянути менші аналоги. Вони дозволяють виконати повний перебір і виявити закономірності.

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

Дошка 2×2, типи 0 і 1, початкова конфігурація за формулою (x+y) mod 2:

```
0 1
1 0
```

Гравець, що ходить першим, може негайно злити дві фігури різних типів (наприклад, 0 і 1), отримавши фігуру з маскою 11 і вигравши за один хід. Таким чином, перший гравець завжди перемагає.

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

Дошка 3×3, типи 0,1,2. Початкова конфігурація (з топологією тора) задається тією ж формулою (x+y) mod 3. Повний перебір усіх можливих ігор показує, що:

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

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

### 1.4.3. Зв'язок із 4×4

Аналіз менших варіантів показує, що зі збільшенням розміру дошки та кількості типів:

* Зростає кількість можливих шляхів до перемоги.
* Збільшується середня тривалість партії.
* Виникають більш складні тактичні патерни, пов'язані з контролем над фігурами, що мають 2 або 3 типи.

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

## Висновки до розділу

* Топологія тора робить дошку однорідною та усуває крайові ефекти.
* Початкова конфігурація є латинським квадратом, що забезпечує симетрію.
* Фігури зручно представляти бітовими масками; злиття – це OR.
* Аналіз варіантів 2×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/monograph/01_foundations.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.