# Розділ 4. Топологія дошки

Дошка Aether Neutral 4×4 має нетривіальну топологію: вона є **дискретним тором**. Це означає, що протилежні краї з’єднані, і клітинки, які в плоскій геометрії були б крайовими, тут мають таких самих сусідів, як і центральні. У цьому розділі ми формально опишемо цю структуру, дослідимо граф ходів коня, симетрії дошки та метрику відстаней, що матиме критичне значення для аналізу ендшпілю.

## 4.1. Дошка як дискретний тор

**Означення 4.1 (Множина клітинок)**. Клітинки дошки – це елементи декартового добутку\
C = Z₄ × Z₄ = { (x, y) | x, y ∈ {0,1,2,3} },\
де додавання та віднімання виконуються за модулем 4. Тобто Z₄ – кільце лишків за модулем 4.

**Означення 4.2 (Топологія)**. Дошка має топологію тора: дві клітинки (x₁, y₁) та (x₂, y₂) вважаються сусідніми, якщо вони відрізняються на (dx, dy) за правилом ходу коня (див. нижче). При цьому координати обчислюються за модулем 4, що забезпечує відсутність країв.

**Наслідок**. Кожна клітинка має однакове оточення; дошка є однорідною. Жодна клітинка не має «спеціального» статусу (кута, краю тощо).

## 4.2. Хід коня на торі

**Означення 4.3 (Хід коня)**. З клітинки (x, y) можна переміститися в будь-яку клітинку (x + dx, y + dy), де (dx, dy) належить множині векторів:\
V = { (±2, ±1), (±1, ±2) }.\
Усі операції виконуються за модулем 4.

**Лема 4.1 (Кількість ходів)**. З кожної клітинки існує рівно **4** різні клітинки, досяжні ходом коня. Це випливає з того, що вектори (2,1) і (-2,1) збігаються за модулем 4 (оскільки -2 ≡ 2 mod 4), аналогічно для інших пар. Безпосереднім обчисленням для клітинки (0,0) отримуємо сусідів: (2,1), (2,3), (1,2), (3,2). Інші комбінації знаків дають ті самі результати.

**Приклад**. Для клітинки (0,0) сусіди: c2 (2,1), c4 (2,3), b3 (1,2), d3 (3,2).

## 4.3. Граф ходів коня

**Означення 4.4 (Граф K₄×₄)**. Побудуємо граф G = (C, E), де вершини – клітинки, а ребро між u та v існує, якщо v досяжна з u одним ходом коня. Оскільки хід коня симетричний, граф є неорієнтованим.

**Властивості графа**:

* **Регулярність**: кожна вершина має степінь **4** (Лема 4.1).
* **Зв’язність**: граф є сильно зв’язним (діаметр 2 – див. нижче).
* **Відсутність петель**: жоден хід не повертає в ту саму клітинку, оскільки (dx,dy) ≠ (0,0).

## 4.4. Метрика та відстані

**Означення 4.5 (Відстань)**. Відстань d(u, v) – мінімальна кількість ходів коня, необхідна для переходу від u до v.

**Лема 4.2 (Діаметр графа)**. Для будь-яких двох клітинок u, v ∈ C виконується d(u, v) ≤ 2. Іншими словами, діаметр графа дорівнює 2.

*Доведення (схема)*. Досить показати, що з будь-якої клітинки можна досягти будь-якої іншої не більше ніж за два ходи. Оскільки граф регулярний і симетричний, можна перевірити для однієї вершини, наприклад (0,0). Множина сусідів (відстань 1) складається з 4 клітинок. Їх доповнення до всього C має розмір 16 - 1 - 4 = 11 клітинок. Безпосереднім обчисленням можна показати, що кожна з цих 11 клітинок досяжна за два ходи з (0,0). Наприклад, (0,1) досягається через (2,2) тощо. Повний перелік наведено в додатку B. ∎

**Наслідок 4.1**. Максимальна відстань між будь-якими двома фігурами на дошці – 2 ходи коня. Це критично для аналізу ендшпілю, оскільки будь-яка пара фігур може бути зближена до відстані 1 не більше ніж за один хід (якщо вони не були вже поряд).

## 4.5. Група симетрій дошки

**Означення 4.6 (Симетрія)**. Симетрією дошки називається перестановка клітинок, що зберігає відношення «бути на відстані ходу коня». Множина всіх симетрій утворює групу.

**Компоненти групи симетрій**:

1. **Трансляції**: переміщення всієї дошки на вектор (a, b) за модулем 4. Оскільки тор є однорідним, будь-яка трансляція є симетрією.
2. **Обертання на 90°, 180°, 270°** навколо будь-якої клітинки (але через топологію тора обертання можна визначити як відображення координат (x,y) → (y, -x) тощо).
3. **Віддзеркалення**: відображення відносно горизонтальної, вертикальної або діагональних осей.

**Розмір групи**. Група симетрій тора (як квадратної решітки з періодичними граничними умовами) має порядок 4 × 4 × 8 = 128, якщо враховувати всі трансляції (16), обертання (4) та віддзеркалення (2), але з урахуванням сумісності. Для наших цілей достатньо знати, що симетрій багато, і вони дозволяють значно зменшити кількість різних позицій при аналізі.

**Наслідок для аналізу**. Завдяки симетріям, будь-яку позицію можна звести до канонічної форми, наприклад, зафіксувавши положення певної фігури або використовуючи інваріанти.

## 4.6. Вплив топології на гру

* **Відсутність крайових ефектів**: уся дошка однорідна, немає «безпечних» кутів чи країв. Це робить гру більш динамічною та ускладнює захист.
* **Діаметр 2**: будь-які дві фігури знаходяться на відстані не більше 2 ходів коня. Це спрощує аналіз ендшпілю, але водночас означає, що загрози можуть виникати дуже швидко.
* **Фактор розгалуження**: через 4 можливих ходи з кожної фігури, навіть за наявності порожніх клітинок, кількість варіантів значна, але менша, ніж у випадку 8 ходів.

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

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

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

Ці топологічні властивості будуть постійно використовуватися в наступних розділах, особливо при аналізі тактики (розділ 9) та ендшпілю (розділ 13).

***


---

# 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/04_topology.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.