# Розділ 16. Масштабування: від 4×4 до загального випадку У попередніх розділах ми детально дослідили Aether Neutral 4×4 – компактну версію гри, яка слугує ідеальним модельним об’єктом. Офіційний турнірний формат, однак, використовує дошку **5×5 з п’ятьма типами**. Крім того, природно поставити питання про узагальнення на довільне n (дошка n×n з n типами). У цьому розділі ми розглянемо, як змінюються властивості гри при збільшенні розміру, які стратегії масштабуються, а які з’являються лише на більших полях. Також обговоримо вплив топології (тор vs площина) та інші варіації правил. ## 16.1. Від 4×4 до 5×5: основні відмінності | Параметр | 4×4 | 5×5 | | ---------------------------- | ---------- | ----------- | | Кількість клітинок | 16 | 25 | | Кількість типів | 4 | 5 | | Можливі маски | 2⁴−1 = 15 | 2⁵−1 = 31 | | Початкова кількість фігур | 16 | 25 | | Діаметр графа ходів коня | 2 | 2 | | Простір станів (верхня межа) | 16¹⁶ ≈ 2⁶⁴ | 32²⁵ = 2¹²⁵ | **Спостереження**: * Діаметр графа для 5×5 також дорівнює 2 (з будь-якої клітинки можна досягти будь-якої іншої не більше ніж за два ходи коня). Це важливо, оскільки багато тактичних висновків, що базуються на діаметрі, залишаються справедливими. * Простір станів зростає експоненційно, що робить повний перебір для 5×5 неможливим сучасними засобами. * Початкова конфігурація задається тією ж формулою `тип = (x+y) mod 5`, утворюючи латинський квадрат 5×5. ## 16.2. Масштабування фундаментальних механік ### 16.2.1. Бітове представлення та злиття Для 5×5 кожна фігура кодується 5-бітовою маскою, а злиття – це OR. Усі алгебраїчні властивості (комутативність, асоціативність, ідемпотентність) зберігаються. Кількість можливих масок зростає до 31, що збільшує комбінаторну складність. ### 16.2.2. Початкова конфігурація та симетрії Латинський квадрат 5×5 має повну симетрію трансляцій на торі. Група симетрій дошки 5×5 аналогічна 4×4, але з більшою кількістю елементів. Це дозволяє редукувати кількість унікальних позицій при аналізі. ### 16.2.3. Інваріанти * **Сумарна кількість кожного типу** зберігається (початково 5). При злитті спільні типи враховуються один раз, тому загальна кількість типів на дошці зменшується на кількість спільних типів. * **Парність кількості фігур** змінюється при кожному злитті (початково 25 – непарна). Це впливає на те, на чиєму ході може статися перемога. * **Інваріант XOR** не зберігається, але змінюється на a & b. ### 16.2.4. Відсутність пату Доведення відсутності пату для 4×4 ґрунтувалося на тому, що при всіх зайнятих клітинках обов’язково знайдеться пара фігур на відстані ходу коня, які мають спільний тип. Для 5×5 граф ходу коня також регулярний (кожна вершина має степінь 4), а кількість кожного типу дорівнює 5. Можна показати, що на будь-якому розміщенні 5 фігур одного типу на 25 клітинках знайдуться дві на відстані 1 (ходом коня). Тому пат неможливий і для 5×5. ## 16.3. Стратегічні зміни при збільшенні розміру ### 16.3.1. Дебют Перший хід у 5×5, як і в 4×4, є злиттям двох фігур, що створює фігуру ваги 2. Через більшу кількість типів кількість можливих пар збільшується. Однак через симетрію всі перші ходи еквівалентні (з точністю до трансляції та віддзеркалення). Стратегічні принципи дебюту залишаються тими самими: обирати пару типів, яка дозволяє швидко створити загрозу. ### 16.3.2. Мітельшпіль Ключовими стають фігури ваги **4** (оскільки потрібно зібрати 5 типів). Створення такої фігури є більш складним, оскільки потрібно чотири злиття, що додають нові типи. Вилки можливі, коли фігура ваги 4 атакує дві фігури з відсутнім типом. Через більший розмір дошки та більшу кількість типів, ймовірність створення вилки зростає, але й складність її нейтралізації також. ### 16.3.3. Ендшпіль Діаметр графа дорівнює 2, тому відстані між фігурами залишаються малими. Аналіз позицій з 2–3 фігурами ускладнюється через більшу кількість можливих масок, але принципи ті самі: переможна конфігурація (об’єднання масок дає 11111) вимагає, щоб фігури були на відстані 1 для негайної перемоги; інакше починається гонитва. Правило 50 ходів залишається незмінним. ## 16.4. Узагальнення на n×n Розглянемо сімейство ігор Aether Neutral(n), де дошка має розмір n×n з топологією тора, а кількість типів дорівнює n. Початкова конфігурація задається формулою `тип(x,y) = (x+y) mod n`. **Гіпотези**: * Для n=1,2,3,4 перший гравець має виграшну стратегію (для n=1 гра тривіальна, для n=2 – виграш за 1 хід, для n=3 – за 2 ходи, для n=4 – не менше 3 ходів). Чи зберігається це для всіх n? Можливо, так, але не доведено. * Діаметр графа ходу коня на торі n×n для n ≥ 5 дорівнює 2 (це відомо з теорії графів). Це спрощує ендшпіль. * Простір станів зростає як (2ⁿ−1+1)ⁿ², тобто надзвичайно швидко. Повний аналіз можливий лише для дуже малих n. * Правило 50 ходів може бути адаптоване до більшого n, але його достатність для запобігання циклам залишається. ## 16.5. Вплив топології: тор vs площина У плоскій дошці (без з’єднання країв) крайові клітинки мають менше сусідів, що зменшує фактор розгалуження та створює «безпечні» зони. Це суттєво змінює стратегію: * **Дебют**: стає важливим контроль центру, оскільки крайові фігури менш мобільні. * **Мітельшпіль**: вилки можуть бути менш ефективними через обмежену кількість ходів. * **Ендшпіль**: діаметр графа зростає, що робить гонитву довшою. Плоска версія гри є окремим цікавим варіантом, але офіційні турнірні правила використовують тор через його симетрію та однорідність. ## 16.6. Варіації правил ### 16.6.1. Інша кількість типів, ніж розмір дошки Можна грати на дошці 4×4 з 5 типами (але тоді початкова конфігурація не буде латинським квадратом, і інваріанти зміняться). Або на дошці 5×5 з 4 типами. Такі варіації дозволяють досліджувати вплив співвідношення між кількістю типів і розміром. ### 16.6.2. Обмеження на злиття Можна додати правило, що зливати можна лише фігури, які мають спільний тип (що зробило б злиття більш вибірковим). Це наблизило б гру до деяких відомих комбінаторних ігор. ### 16.6.3. Власність фігур Якщо кожна фігура належить одному з гравців, гра перетворюється на звичайну антагоністичну гру зі злиттям. Це зменшило б парадокс допомоги, але зробило б гру більш схожою на інші абстрактні ігри. ## 16.7. Висновки У цьому розділі ми: * порівняли 4×4 з офіційним турнірним форматом 5×5, виділивши ключові відмінності та спільні риси; * обговорили масштабування фундаментальних механік (бітове представлення, інваріанти, відсутність пату); * проаналізували стратегічні зміни в дебюті, мітельшпілі та ендшпілі при збільшенні розміру; * розглянули узагальнення на довільне n та вплив топології; * окреслили можливі варіації правил для подальших досліджень. Розуміння того, як змінюється гра з розміром, дозволяє гравцям адаптувати стратегії, розроблені для 4×4, до турнірного 5×5, а також стимулює дослідження загальних властивостей сімейства Aether Neutral(n). *** --- # 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/16_scaling.md?ask= ``` 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.