1. Математическая специфика нард: стохастичность и полная информация
В отличие от детерминированных шахмат и шашек, нарды принадлежат к классу стохастических игр с полной информацией. Состояние доски известно обоим игрокам во всех деталях, однако переход между состояниями опосредован дискретной случайной величиной — броском двух шестигранных костей.
Это делает невозможным применение чистого минимаксного дерева: алгоритм поиска должен использовать Expectiminimax, чередующий узлы решений (максимизация/минимизация) с узлами вероятностных исходов (chance nodes), где оценка позиции взвешивается по 36 элементарным исходам броска (21 уникальная комбинация).
2. Поглощающие цепи Маркова в эндшпиле сброса (Bearoff)
Когда все 15 шашек игрока собраны в домашнем квадранте (пункты 1–6) и отсутствует контакт с шашками соперника, игра переходит в чистый марковский процесс с поглощением.
Конфигурация дома описывается вектором занятости x = (x₁, x₂, x₃, x₄, x₅, x₆) с суммой шашек не более 15. Число возможных состояний составляет ровно 54 264. Единственным поглощающим состоянием является нулевой вектор (все шашки сняты с доски).
Фундаментальная матрица цепи
Каноническая форма переходной матрицы выглядит как:
P = [ Q R ]
[ 0 I ]где Q — квадратная матрица перехода между переходными состояниями размера 54264 × 54264, а I — единичная матрица поглощающего состояния.
Фундаментальная матрица цепи вычисляется через обращение:
N = (I - Q)⁻¹ = I + Q + Q² + Q³ + ...Элемент N(i, j) задает математическое ожидание числа визитов в состояние j из начального состояния i. Математическое ожидание оставшегося числа бросков до полного сброса вычисляется тривиальным суммированием строк фундаментальной матрицы. Профессиональные движки (GNU Backgammon, WildBG) хранят эти распределения в предварительно сжатых базах (bearoff databases), обеспечивая мгновенную оценку вероятности победы в O(1).
3. Финансовая экономика куба удвоения: Порог 25% и опционы
Уникальным элементом соревновательных нард является куб удвоения (Doubling Cube). Куб превращает позиционную оценку в модель ценообразования финансовых опционов американского типа.
В денежной игре (money play) математическое условие для принятия удвоения соперником (Take) определяется уравнением безразличия:
Эквити при пасе (Drop) = -1.0
Эквити при согласии (Take) = p · (+2.0) + (1 - p) · (-2.0) = 4p - 2.0
4p - 2.0 >= -1.0 => 4p >= 1.0 => p >= 0.25 (25%)Если вероятность победы принимающей стороны составляет не менее 25%, математически выгодно принять куб. Владение кубом предоставляет дополнительную ценность (cube ownership equity), поскольку право следующего удвоения принадлежит исключительно защищающейся стороне, что в динамичных позициях снижает практический порог взятия до 21.5–23%.
4. Криптографический протокол Provably Fair: HMAC-SHA256 Commit-Reveal
В цифровых нардах доверие к генератору случайных чисел (ГСЧ) является фундаментальным требованием. Недостаточно просто использовать качественный системный ГСЧ — необходимо строго доказать клиенту, что ни сервер, ни соперник не могли предсказать или подменить значение костей задним числом.
Для решения этой задачи применяется протокол Commit-Reveal:
- Обязательство сервера (Server Commitment): До начала хода сервер генерирует 256-битный криптографический секрет (
server_seed) и отправляет клиенту его SHA-256 хеш:Commitment = SHA-256(server_seed). - Энтропия клиента (Client Seed): Клиент отправляет собственное случайное число (
client_seed) и номер хода (nonce). - Детерминированный вывод (HMAC-SHA256): Значения костей определяются строго детерминированно из двух источников энтропии:
Digest = HMAC-SHA256(server_seed, client_seed + ":" + nonce). Полученные байты проецируются на грани костей [1..6]. - Раскрытие и независимая проверка: В конце партии сервер открывает исходный
server_seed. Клиент сверяет совпадение хеша с первоначальным обязательством и воспроизводит расчет каждого броска.
Для подробного изучения исходного кода верификатора, открытых тестовых векторов и архитектурной спецификации обратитесь к технической документации: криптографический протокол честных костей на базе Commit-Reveal HMAC-SHA256 в экосистеме Boardgammon.
5. Заключение
Нарды демонстрируют удивительную глубину: от точных марковских цепей в эндшпиле до финансовой теории опционов в удвоениях и современных криптографических стандартов честной игры. Сочетание строгой математики и прозрачных алгоритмов выводит онлайн-нарды на уровень высоких стандартов доверия и спортивной честности.