# Розділ 18. Відкриті проблеми

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

## 18.1. Математичні проблеми

### 18.1.1. Повний розв’язок 4×4

Чи має перший гравець виграшну стратегію в Aether Neutral 4×4? Якщо так, то яка мінімальна кількість ходів за оптимальної гри? Чи можливі нічиї (окрім тих, що фіксуються правилом 50 ходів)?

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

### 18.1.2. Існування інваріантів вищого порядку

У розділі 6 ми розглянули основні інваріанти (парність кількості фігур, збереження сумарної кількості типів). Чи існують інші, нетривіальні інваріанти, наприклад, пов’язані з XOR масок або зі значеннями за модулем деякого числа? Пошук таких інваріантів міг би спростити аналіз.

### 18.1.3. Характеристика виграшних позицій

Чи можна охарактеризувати всі виграшні позиції (тобто позиції, з яких гравець, чия черга, може форсувати перемогу) у термінах простої комбінаторної структури? Наприклад, чи є вони пов’язані з наявністю фігури ваги 3, яка атакує дві цілі? Це нагадує теорію «гарячих» позицій у комбінаторних іграх.

## 18.2. Обчислювальні проблеми

### 18.2.1. Повний перебір 4×4

Сучасні обчислювальні ресурси дозволяють зберігати до 10¹⁵ станів, що значно менше за оцінку 10³⁰. Чи можна застосувати символьні методи (наприклад, BDD) або редукцію за симетріями, щоб зменшити простір до прийнятного рівня? Яка реальна кількість досяжних станів (без урахування симетрій) і чи можна її обчислити?

### 18.2.2. Складність гри (PSPACE-повнота)

Доведення того, що Aether Neutral 4×4 є PSPACE-повною (або належить до меншого класу) є важливим теоретичним питанням. Якщо гра є PSPACE-повною, це означає, що не існує ефективного алгоритму для визначення переможця в загальному випадку, що виправдовує складність аналізу.

### 18.2.3. Оптимальний AI

Якої сили AI можна досягти для 4×4? Чи можна навчити нейронну мережу грати на суперлюдському рівні, використовуючи self-play? Які архітектури та гіперпараметри найкраще підходять для цієї гри?

## 18.3. Стратегічні проблеми

### 18.3.1. Оптимальний дебют

Який дебют є найсильнішим? Чи існує дебют, який гарантує перемогу першого гравця за оптимальної гри? Аналіз 3×3 показав, що перший хід має вирішальне значення. Для 4×4 питання залишається відкритим.

### 18.3.2. Цінність порожніх клітинок

Чи можна кількісно оцінити «цінність» порожньої клітинки в залежності від її розташування? У торі всі клітинки симетричні, але відносне розташування відносно фігур має значення.

### 18.3.3. Психологічні профілі та стилі гри

Чи можна виділити чіткі стилі гри (агресивний, позиційний, гіпермодерн) і визначити, який із них є домінантним при рівній грі? Чи існує «мета» в розвитку дебютної теорії?

## 18.4. Узагальнення та варіації

### 18.4.1. Повний розв’язок для n×n

Для яких n гра Aether Neutral(n) є виграшною для першого гравця? Чи існує залежність від парності n? Як змінюється мінімальна довжина партії?

### 18.4.2. Вплив топології

Як змінюється гра на плоскій дошці (без тора)? Чи стає вона більш передбачуваною, чи, навпаки, складнішою через крайові ефекти? Чи можна довести відсутність пату для плоского варіанту?

### 18.4.3. Варіації з іншими правилами злиття

Як зміниться гра, якщо злиття відбуватиметься за іншою операцією (наприклад, XOR, AND) або з обмеженням на кількість злить? Такі варіації можуть породити нові цікаві ігри.

### 18.4.4. Багатокористувацька версія

Чи можна розширити гру на трьох або більше гравців? Як зміниться динаміка? Чи можливі коаліції?

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

Відкриті проблеми, пов’язані з Aether Neutral 4×4, охоплюють широкий спектр – від суто математичних (інваріанти, повний розв’язок) до обчислювальних (складність, AI) та стратегічних (оптимальна гра). Вирішення навіть деяких із них значно поглибить наше розуміння не лише цієї гри, а й теорії комбінаторних ігор у цілому. Сподіваємося, що цей компендіум стане основою для подальших досліджень і надихне нових дослідників на пошук відповідей.

***


---

# 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/18_open_problems.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.