# Розділ 9. Теорія загроз

Загрози є центральним тактичним поняттям у Aether Neutral. Оскільки фігури спільні, гравець не може «захищати» свої фігури, але може створювати ситуації, в яких наступним ходом він зможе виграти, якщо суперник не вживе заходів. У цьому розділі ми формалізуємо поняття загрози, дослідимо вилки та форсовані варіанти, а також розглянемо методи захисту.

## 9.1. Пряма загроза

**Означення 9.1 (Пряма загроза)**. Нехай P – фігура з маскою M, w(M) = 3. Нехай t ∈ T \ M – єдиний тип, відсутній у P. Пряма загроза існує, якщо існує фігура Q (маска N), що містить тип t (тобто t ∈ N), і клітинка з Q знаходиться на відстані одного ходу коня від клітинки з P.

Якщо гравець, чия черга, має пряму загрозу, він може негайно злити P з Q, створивши фігуру з маскою M ∪ {t} = T (всі 4 типи) і виграти.

**Приклад**. Розглянемо позицію (у нотації розділу 3):

```
   a b c d
1  . [012] . .
2  . . . [3]
3  . . . .
4  . . . .
```

Тут фігура \[012] на b1 (вага 3) і фігура \[3] на d2. Відстань між b1 і d2: (dx=2, dy=1) – це хід коня. Отже, у гравця, чия черга, є пряма загроза: він зливає \[012] з \[3] → \[0123] на d2 і виграє.

## 9.2. Непряма загроза (вилка)

**Означення 9.2 (Вилка)**. Нехай P – фігура з маскою M, w(M) = 3. Нехай t – відсутній тип. Вилка існує, якщо існують **дві різні фігури Q1 та Q2**, кожна з яких містить тип t, і обидві знаходяться на відстані одного ходу коня від P.

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

**Приклад вилки** (ASCII-діаграма):

```
   a b c d
1  . [012] .
2  . . . [3]
3  . . . [3]
4  . . . .
```

Тут фігура \[012] на b1. Дві фігури \[3] на d2 та d3. Перевіримо відстані: b1 → d2: (2,1) – хід коня; b1 → d3: (2,2) – не хід коня. Потрібна інша конфігурація. Наведемо коректний приклад вилки на 4×4 з урахуванням топології тора. Нехай фігура \[012] на a1. Дві фігури \[3] на c2 та c4? a1→c2: (2,1) – так; a1→c4: (2,3) mod 4 = (2,-1) – але оскільки координати за модулем 4, (2,3) еквівалентно (2,-1), що є ходом коня (dx=2, dy=1 зі знаком). Отже, обидві відстані – 1. Таким чином, вилка можлива.

## 9.3. Форсовані варіанти

Коли загроза створена, суперник змушений реагувати. Форсований варіант – це послідовність ходів, у якій один гравець постійно створює загрози, а інший змушений відповідати певним чином, що врешті призводить до перемоги.

**Лема 9.1 (Форсування вилки)**. Якщо гравець може створити фігуру ваги 3, яка має двох сусідів з відсутнім типом (не обов’язково одночасно), він може форсувати вилку не більше ніж за два ходи.

*Доведення (схема)*. Нехай P – фігура ваги 3, а Q1 та Q2 – дві фігури, що містять відсутній тип. Якщо обидві вже на відстані 1 від P, то це вже вилка. Якщо одна з них на відстані 2, гравець може перемістити P (або іншу фігуру) так, щоб наблизитися, або перемістити Q1, щоб створити подвійну загрозу. Оскільки діаметр графа дорівнює 2, будь-яка пара клітинок може бути зближена до відстані 1 за один хід. Таким чином, максимум за два ходи можна досягти вилки. ∎

## 9.4. Методи захисту

Суперник, зіткнувшись із загрозою, може:

1. **Перемістити загрозливу фігуру P** (якщо це дозволено) в інше місце, де вона не атакуватиме жодну фігуру з відсутнім типом. Однак це не завжди можливо, оскільки P може бути оточена.
2. **Перемістити цільову фігуру Q** (яка містить відсутній тип) подалі від P. Це часто ефективніше, оскільки Q зазвичай має вагу 1 і її легко пересунути.
3. **Злити Q з іншою фігурою**, щоб змінити її маску (наприклад, злити \[3] з \[0] → \[03], і тоді \[03] вже не містить типу 3? Насправді, \[03] містить тип 3, тому це не допомагає). Потрібно злити з фігурою, що містить відсутній тип? Заплутано. Краще: злити Q з фігурою, яка не містить t, але таке злиття не видаляє t з Q, а лише додає нові типи, тому Q все одно міститиме t. Отже, злиття не рятує, якщо тільки Q не зливається з P (що призведе до перемоги суперника). Тому цей спосіб не працює.
4. **Створити власну загрозу**, яка змусить суперника відволіктися. Це найсильніший захист – контратака.

**Лема 9.2 (Контратака)**. Якщо гравець, який обороняється, може створити власну пряму загрозу (або вилку), то він може змусити суперника реагувати, виграючи час або навіть виграючи партію, якщо його загроза є швидшою.

## 9.5. Потенціал загрози

Для оцінки позиції вводиться поняття **потенціалу загрози**. Для кожної фігури P з маскою M (w(M) < 4) визначимо:

threat\_potential(P) = кількість фігур Q, таких що: - Q містить тип t ∈ T \ M - відстань між P та Q = 1 (ходом коня)

Загальний потенціал позиції – сума threat\_potential(P) по всіх P. Чим вищий потенціал, тим більше прямих загроз у позиції.

**Приклад**. У початковій конфігурації жодна фігура не має ваги 3, тому threat\_potential = 0.

## 9.6. Вилки та багатоходові комбінації

**Означення 9.3 (Багатоходова комбінація)**. Послідовність ходів, у якій гравець жертвує матеріал (або створює тимчасову загрозу), щоб отримати вирішальну перевагу.

Приклад: гравець створює фігуру ваги 3, яка атакує фігуру з відсутнім типом. Суперник переміщує цю фігуру, але при цьому відкриває іншу фігуру з тим самим типом, яку перший гравець використовує для перемоги. Це аналог «відкритого шаха» в шахах.

## 9.7. Приклад розбору позиції з загрозами

Розглянемо позицію (у нотації ASCII):

```
   a b c d
1  . [012] . [3]
2  . . . .
3  . . . .
4  . . . .
```

Тут фігура \[012] на b1, \[3] на d1. Відстань b1→d1: (2,0) – це не хід коня. Тому прямої загрози немає. Потенціал загрози для \[012] дорівнює 0, оскільки немає сусідів з типом 3. Гравець може перемістити \[012] на клітинку, звідки буде атакувати \[3]. Наприклад, \[012] b1 → c3: (1,2) – хід коня, c3 порожня. Після цього \[012] на c3, \[3] на d1. Відстань c3→d1: (1,-2) mod 4 = (1,2) – хід коня. Отже, тепер є пряма загроза. Якщо суперник не вживе заходів, наступний хід приведе до перемоги.

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

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

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

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

***


---

# 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/09_threat_theory.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.