Приклади примусового контролера, коли двигуни виходять з ладу

Чи знаєте ви приклад, коли останні шахові двигуни (Худіні, Рибка, Комодо, ...) не змогли знайти примусового мат.

Я здогадуюсь, що вони повинні знайти товариша в 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 + #

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

У цьому положенні неможливо визначити, яка варіація призводить до сполучення удвох. Можна лише показати, що має бути парувач у двох варіаціях. Чи то чорний перемістив пішака в останню ходу - то приймаючи їх на пасі, веде до товариша. Або він перемістив свого короля чи грака - тоді король e6 веде до товариша, оскільки не можна більше заграти.

Редагувати: Ще одна відповідь, що так само не має значення для всіх практичних цілей: Оскільки ми всі знаємо, завдяки табличним базам, існує велика кількість вимушених контрольних команд, що знаходяться далеко за горизонтом розрахунку будь-якого двигуна. Звичайно, ми можемо використовувати таблиці для виявлення цих товаришів, але це не зайве уявлення, щоб визнати існування вимушених контрольних команд у тисячах ходів, яких зараз немає, і, ймовірно, ніколи не буде зберігатися в таблиці таблиць .