Принудительные контрольные примеры, когда двигатели отказывают

Вы знаете пример, когда недавние шахматные движки (Гудини, Рыбка, Комодо, ...) не смогли найти принудительный мат.

Я предполагаю, что они должны находить помощника в 1 или 2 постоянно, но, может быть, им иногда не удается быть столь же креативными, как люди.

Постановка этого ответа в дополнение к ответам / комментариям по таблицам и финалам со смехотворно долгими принудительными товарищами.

Белые, чтобы двигаться и выиграть (я не знаю автора этого исследования, к сожалению). Двигатели будут иметь тенденцию выходить из строя по этой и аналогичным проблемам. Насколько я пытался, всем рекомендую переместить hxg8 = Q. Некоторые показывают 0,00 и вскоре после этого ставят черных в тупик; некоторые показывают небольшое преимущество для белых и пытаются сыграть в игру, позволяя черным активировать свои фигуры. Дальнейшее объяснение (и подсказка к решению) приведено в блоке спойлера под диаграммой.

Пояснение спойлера:

Принудительный помощник не найден, потому что в двигателях используется эвристическая обрезка. Он удаляет некоторые ветви из дерева поиска, считая их не относящимися к результату поиска (см .: http://chessprogramming.wikispaces.com/Pruning ). В случае этой загадки решение состоит из многих последующих жертв, и его ветвь имеет тенденцию отбрасываться при поиске. Примечание. Возможно, с помощью подправленных параметров и эвристики поиска сопряжения, когда указано точное число необходимых ходов, они могли бы найти решение, но я не пробовал этого.

Решение спойлера:

В зависимости от выбора ходов черных существует несколько решений (идея всегда одна и та же, хотя и до 12-го хода линия всегда одинакова). Вот пример: 1. hxg8 = N d5 2. Bf3 d4 + 3. Kb4 d3 4. Nh6 gxh6 5. g7 h5 6. g8 = N h4 7. Nf6 exf6 8. e7 f5 9. e8 = N f4 10. Nd6 cxd6 11. c7 d5 12. c8 = N dxc4 13. Nb6 c3 14. dxc3 d2 15. Kb3 d1 = Q 16. Rxd1 axb6 17. a7 b5 18. a8 = Q b4 19. Be2 bxc3 20. Bf1 c2 21. Rc1 f3 22. Qxf3 Bf2 23. Bxg2 + #

Есть некоторые хитрые позиции, когда кажется, что решения нет, но потом оказывается, что белые должны быть в состоянии пройти пассивно. В этих позициях двигатели могут не замечать партнера, потому что у них нет информации о последнем движении черных, в то время как человек может получить эту информацию путем ретроградного анализа.

В этой позиции невозможно определить, какая вариация приводит к мату пополам. Можно только показать, что должен быть мат в двух вариациях. Либо чёрные передвинули пешку в свой последний ход, а затем перешли в пассивном направлении к партнеру. Или он переместил своего короля или ладью - тогда король е6 ведет к мату, так как больше нет возможности рокировки.

Изменить: Еще один ответ, который так же не имеет значения для всех практических целей: Как мы все знаем, благодаря основам таблиц, существует большое количество принудительных матов, которые находятся далеко за горизонтом расчета любого двигателя. Конечно, мы можем использовать базы таблиц для обнаружения этих товарищей, но это не займет много времени, чтобы признать существование принудительных матов в течение тысяч ходов, которых сейчас нет и, вероятно, никогда не будет храниться в таблице. ,