Тестовые позиции для движков

Тест на разыгрывание ладейников

8/p2r1pk1/8/R2pPpPp/2pP1P1P/2P5/2K5/8 w - - 0 42


Пара слов о чисто шахматном содержании. Белые должны выиграть, но раздать чёрных не так просто. Можно начать прямым нападением на чёрные пешки выиграть пешку a7, это первое желание всех прог. Но этот план ошибочен: после 42.Ra6 Rb7 43.Rd6 Rb5 44. Rd7 Kf8 45. Rxa7 Kg8 любая попытка отправить ладью за пешками h5, f5 будет встречена манёвром Rb5-a5-a2+-h2(f2) с контригрой, сложными вариантами и шансами на спасение чёрных.

Все проблемы белых связаны с пассивностью их короля, который ничему не угрожает и никого толком не может защитить. Правильный план в исходной позиции довольно простой: временно сохранить пешку "a7" и под её прикрытием вывести короля по маршруту c2-b2-a3-b4 на активную позицию. При активном короле выигрыш будет элементарен. Чтобы в ответ на выход короля не последовало немедленное вторжение чёрной ладьи по линиям "a" или "b", надо занять линию "b" ладьёй, а для перекрытия линии "a" не уничтожать пешку a7 раньше времени.

Например, 42.Rb5! Rd8 43.Kb2 Kf8 44.Ka3 a6 45.Rb6 Rc8 46.Kb4, и победа обеспечена.

Сколько времени разным движкам надо на нахождение этой идеи? Предлагаю считать решением выдвижение на первую строчку анализа вариантов, в которых король белых тем или иным образом попадает на a3.

Результаты:

Fritz 9, похоже, не способен решить задачу. Вот что он показывает после десяти минут анализа на моей машине:

1. +- (1.89): 42.Ra2 Kh7 43.Ra6 Rb7 44.Ra5 Rd7 45.Rc5 Kg8 46.Rc6 Rb7 47.Rc8+ Kh7 48.Rd8 Rb5
2. +- (1.86): 42.Ra6 Rb7 43.Rd6 Rb5 44.Rd7 Kf8 45.Rxa7 Kg8 46.Ra8+ Kh7 47.Ra6 Kg7 48.Ra7 Kg8
3. +- (1.86): 42.Kd2 Kh7 43.Kc1 Kg7 44.Kc2 a6 45.Rxa6
4. +- (1.63): 42.Kd1
5. +- (1.63): 42.Ra1 Rb7 43.Ra6 Rb5 44.Rxa7 Kg8 45.Ra8+ Kh7 46.Ra6 Kg7 47.Ra7

Это - типичная картина для движка, не способного решить задачу: бессмысленные ходы ладьёй вместо активизации короля. По формальному признаку: король на a3 не появился, значит задача не решена.

Shredder 10 (после десяти минут):

1. +- (3.40): 42.Rb5 Rd8 43.Rb7 Kf8 44.Rxa7 Rb8 45.Ra5 Rd8 46.Ra6 Ke7 47.Ra7+ Ke6
2. +- (3.38): 42.Ra6 Kg8 43.Rh6 Rb7 44.Rd6 Rb5 45.Rd8+ Kg7 46.Rd7 Kf8
3. +- (3.38): 42.Rc5 a6
4. +- (3.25): 42.Kc1 Kf8
5. +- (3.24): 42.Ra1 Kf8 43.Ra6 Rb7 44.Ra5 Rd7 45.Ra1

Хоть первый ход и совпал, но это не решение: ладья быстро покидает линию "b", съедает на a7 и дальше бесцельно мечется по линии "a". По формальному признаку, король на a3 не вышел - незачёт. Не справилась и WildCat, по крайней мере за 10 минут.

Про Junior 10 и говорить нечего, он научится играть ладейники не раньше, чем свиньи научатся летать. Не буду засорять форум его анализом.

Теперь о решивших задачу.

Fritz 10, находит ответ за 1 минуту 45 секунд:

1. +- (1.97): 42.Rb5 Ла8 43.Rb8+ Kg7 44.Kb2 Re7 45.Ka3
2. +- (1.72): 42.Ra6 Rb7 43.Rd6 Rb5 44.Rd7 Kg8 45.Rxa7 Kf8 46.Ra6 Kg7 47.Ra2 Kg8
3. +- (1.72): 42.Rc5 Kh7 43.Rc6 Rb7 44.Rh6+ Kg7 45.Rd6 Rb5 46.Rd7 Kg8 47.Rxa7 Kf8 48.Ra6 Kg7 49.Ra2 Kg8
4. +- (1.72): 42.Ra1 Kh7 43.Ra6 Rb7 44.Rh6+ Kg7 45.Rd6 Rb5 46.Rd7 Kg8 47.Rxa7 Kf8 48.Ra6 Kg7 49.Rh6 Ra5 50.Rxh5 Ra2+ 51.Kc1
5. +- (1.72): 42.Ra2 Kh7 43.Ra6 Rb7 44.Rh6+ Kg7 45.Rd6 Rb5 46.Rd7 Kg8 47.Rxa7 Kf8 48.Ra6 Kg7 49.Ra2

Вставка ненужного шаха ничего не меняет по сути. Король вышел на a3 при живой пешке a7 и белой ладье на линии "b" - зачёт.

Rybka 2.2 решает за 3 минуты 6 секунд:

1. +- (1.77): 42.Rb5 Rd8 43.Rb7 Kf8 44.Kb2 Re8 45.Ka3 Re6 46.Rb8+
2. +- (1.52): 42.Ra6 Rb7 43.Rd6 Rb5 44.Rd7 Kf8 45.Rxa7 Rb8 46.Ra5 Rd8 47.Ra7 Rb8 48.Ra5 Rd8
3. +- (1.52): 42.Rc5 Kg6 43.Rc6+ Kg7 44.Rf6 a5 45.Ra6 Kf8 46.Rxa5 Ke7 47.Kc1 Rd8 48.Rb5 Ra8
4. +- (1.53): 42.Ra4 Kf8 43.Ra6 Rb7 44.Rf6 Ke7 45.Rc6 Kf8 46.Rc5 Rd7 47.Rc8+ Kg7 48.Rc6 Rd8
5. +- (1.52): 42.Kd1 Kf8 43.Ra6 Rb7 44.Kc2 Ke7 45.Rc6 Kf8 46.Rc5 Rd7 47.Rc8+ Kg7 48.Rc6 Rd8

Hiarcs X50 решает за 2 минуты 17 секунд
Fruit 2.2.1 - 3:25

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

Анечка не очень быстро, но решает эту позицию
Думаю что следующей версии на её решение хватит нескольких минут, сейчас требуется чуть больше часа.

Новая партия - Fritz 10
8/p2r1pk1/8/R2pPpPp/2pP1P1P/2P5/2K5/8 w - - 0 1

Analysis by Anechka 0.08:

42.Крd2 Крg6
± (0.84) 2 00:00:00
42.Лa6 Лe7 43.Лf6
± (0.96) 2 00:00:00
42.Лa6 Лe7 43.Лf6
± (0.96) 3 00:00:00
42.Лb5 Крf8 43.Лb8+ Крe7
± (1.03) 3 00:00:00
42.Лb5 Крg6 43.Лb8 a5
± (0.95) 4 00:00:00
42.Лa6 Лb7 43.Лh6 a5
+- (1.88) 4 00:00:00
42.Лa6 Лb7 43.Лh6 a5 44.Лxh5
+- (1.88) 5 00:00:00
42.Лa6 Крf8 43.Лh6 Крe7 44.Крd2 a5
+- (1.83) 6 00:00:00 8тП
42.Лa6 Лb7 43.Лd6 Лb5 44.Лh6 a5 45.Лxh5
+- (1.88) 7 00:00:00 21тП
42.Лa6 Лb7 43.Лd6 Лb5 44.Лh6 Лa5 45.Лxh5 Лa2+ 46.Крd1
+- (1.74) 8 00:00:00 48тП
42.Лc5 Крf8 43.Лc6 Крe7 44.Лh6 Лb7 45.Лxh5 a5
+- (1.82) 8 00:00:00 76тП
42.Лc5 Крg6 43.Лc6+ Крg7 44.Лf6 Лb7 45.Лa6 Лd7 46.Лh6 a5
+- (1.87) 9 00:00:00 132тП
42.Лc5 Крg6 43.Лc6+ Крg7 44.Лf6 Лb7 45.Лa6 Лd7 46.Лh6 a5 47.Лxh5
+- (1.87) 10 00:00:01 213тП
42.Лc5 Крg6 43.Лc6+ Крg7 44.Лh6 Лb7 45.Лd6 Лb5 46.Лa6 Лb7 47.Лh6 a5
+- (1.88) 11 00:00:02 453тП
42.Лc5 Крg6 43.Лc6+ Крg7 44.Лh6 Лb7 45.Лd6 Лb5 46.Лa6 Лb7 47.Лh6 a5 48.Лxh5
+- (1.88) 12 00:00:06 1338тП
42.Лc5 Крg6 43.Лc6+ Крg7 44.Лc8 Крh7 45.Лa8 Крg7 46.Крc1 Крg6 47.Лh8 Лb7 48.Лh6+ Крg7 49.Крc2 a5
+- (1.88) 13 00:00:15 3056тП
42.Лa6 Крg8 43.Лh6 Лb7 44.Лd6 Лb5 45.Лd8+ Крg7 46.Лd7 Лa5 47.e6 Лa2+ 48.Крb1 Лe2 49.exf7 a5
+- (1.97) 13 00:00:17 3561тП
42.Лa6 Крg8 43.Лf6 Лd8 44.Лxf5 a5 45.Лf6 Лa8 46.f5 a4 47.g6 Лf8 48.e6 fxe6
+- (1.99) 14 00:00:29 5858тП
42.Лa6 Крg8 43.Лf6 Лd8 44.Лh6 Лb8 45.Лa6 Лb7 46.Лd6 Лb5
+- (2.05) 15 00:01:03 12566тП
42.Лc5 Крg8 43.Лc6 Лd8 44.Лh6 Лa8 45.Лa6 Крf8
+- (2.07) 15 00:01:29 17650тП
42.Лc5 Крg8 43.Лc6 Лd8 44.Лh6 Лa8 45.Лa6 Крf8 46.Лa5 Лd8 47.Лxa7 Лb8 48.Лd7 Лa8 49.Крb2 Лb8+ 50.Крc1
+- (2.09) 16 00:02:27 28972тП
42.Лc5 Крg8 43.Лc6 Лd8 44.Лh6 Лb8 45.Лd6 Лb5 46.Лd8+ Крg7 47.Лd7 Крf8 48.Лxa7 Лb8 49.Лd7 Лa8 50.Крb2 Лb8+ 51.Крc1
+- (2.09) 17 00:04:54 58205тП
42.Лc5 Крg8 43.Лc6 Лb7 44.Лd6 Лb5 45.Лd8+ Крg7 46.Лd7 Крf8 47.Лxa7 Крe8 48.Крc1 Крf8 49.Лa6 Крe7 50.Лa8 Лb6 51.Крd2
+- (2.09) 18 00:09:55 119мП
42.Лc5 Крg8 43.Лc6 Крg7 44.Лf6 a5 45.Лa6 Крf8 46.Лxa5 Крe7 47.Лa8 Лc7 48.Крd2 Лb7 49.Крc1 Лb3 50.Крc2 Лb6 51.Крd2
+- (2.09) 19 00:22:46 277мП
42.Лc5 Крg8 43.Лc6 Крg7 44.Лf6 a5 45.Лa6 Крf8 46.Лxa5 Крe7 47.Лa8 Лd8 48.Лa7+ Крe6 49.Лa6+ Крe7 50.Крb2 Лb8+ 51.Крc1 Лb5 52.Лa8 Лb6 53.Крd2
+- (2.09) 20 00:50:26 630мП
42.Лb5 Лd8 43.Лb7 Крf8 44.Лxa7 Крg8 45.Крd2 Крf8 46.Крd1 Лb8 47.Крc1 Лb5 48.Крc2 Крg8 49.Лa6 Крg7 50.Лa2 Лb7 51.Лa8 Крg6
+- (2.10) 20 01:27:07 1085мП
42.Лb5 Лd8 43.Лb7 Крf8 44.Крb2 Крg8 45.Крa3 a6 46.Крa4 Крf8 47.Крa5 Лa8 48.Лd7 Лb8 49.Лxd5 Лb3 50.Лd8+ Крe7 51.Лh8 Лxc3 52.Крxa6 Лd3
+- (2.12) 21 02:38:23 1988мП
42.Лb5 Лd8 43.Крb2 Крf8 44.Крa3 a6 45.Лb6 Крe7 46.Крa4 Лa8 47.Крb4 Крf8 48.Лd6 Лb8+
+- (2.12) 22 05:57:52 4295мП
42.Лb5 Лd8 43.Крb2 Крf8 44.Крa3 a6 45.Лb6 Крe7 46.Крa4 Лa8 47.Крa5 Лg8 48.Лd6 Лb8 49.Лxd5 Лb2 50.Лc5 Лf2 51.Лc7+ Крd8 52.Лxf7 Лxf4 53.Крxa6 Лf1
+- (2.14) 23 13:07:45 4295мП

2:38 - неплохой результат. Правда, может у вас комп круче моего, NS?

Наверно, но Анечка не поддерживает многопроцессорность, так что можно считать что у Меня просто Двухгигагерцовый Атлон.
На самом деле время час с небольшим, так как после Rb5 Rd8 программа видит перевод Короля уже достаточно быстро. Чтоб улучшить время решения нужна более точная оценка Ладейных Эндшпилей (наверно оценку такого эндшпиля нужно выделить в отдельную процедуру - так как он наиболее часто встречается на практике)

А, дошло. Я минуты с часами перепутал

Еще один тест на ладейники:

Единственный ход-решение 1.Re7!! (взаимный цугцванг)...
1.Kd5+? Kd2!=
1.Kd4+? Kd1!=
1.Rd7? Rh4!=

Для человека эта позиция очень проста, а вот программе нужны либо ЭБ, либо оценка Ладьи против пешки в ОФ...
Анечке похоже на решение нужно чуть более часа. Оценка Ладьи против пешки в неё пока еще не добавлена.

Для человека проста?
Ну-ну ...
Требуется около часа (проверено) чтобы объяснить решение на человеческом языке гроссу ...
Рыбка на глубине 31 (1.Kd4 +3.68) не видит решения (ход 1.Re7 у нее на 10м месте).
Фриц10 порадовал - обнаруживает 1.Rе7! уже на 18/41. Но... через некоторое время выдает оценку 0.00 и, как Рыбка, переходит к 1.Кd4+ но уже с +0.01 и последующим ростом до +1.10 на глубине 22/77
Оба движка используют ЭБ.

... и еще ладья и пешка g5 против ферзя.
Там все не так просто как кажется.
Позже покажу полное решение.

Судя по глубине (31) Рыбка в этой позиции использует NullMove...
Тяжело ей тогда будет её решать

Скажу честно, я не понимаю рыбкины (да и фрицевы) проблемы - ведь переход в эндшпиль у нее прямо перед носом
А Фриц че-то застрял на 22/77 глубине и дальше ни шагу.
Интересно мнение Анечки, Бута и ВилдКэта...

NullMove вызывает проблему горизонта, особенно в позициях где возможен цуцванг.
При этом необходимая глубина для решения может вырасти в несколько раз!!!

Это еще не считая того, что например в Фрице всегда были ошибки в NullMove (проблемы с верификацией)
Из-за чего старые Фрицы не умели выигрывать ферзем против Ладьи (kqkr)

Анечка думает второй час, пока еще не решила, но падение на ходах короля уже существенное - неверно сейчас перейдет на Re7.

Сергей, на моем "динозавре" PIII-750 старые Джениусы, Шреддеры и Фрицы (2001-2002г. - год создания этюда) не справлялись.
База krpkrp в инете появилась позже (2003г.) ...
Современные программы по идее должны взять ...

С шестифигурной базой точно возмут, Шреддер должен взять с четырех-пятифигурными в памяти.
С четырех-пятифигурными базами на диске проблемы - глубина перехода в младший эндшпиль слишком высока, на такой глубине ЭБ не используется.
Анечка за несколько часов должна решить эту позицию (хотя в ней не используются ЭБ, и нет специальной оценки возникающих четырех-пятифигурных позиций). При таком длительном анализе она решает не хуже монстров пятилетней давности.

Позиция просто заколдованная
Шреддеру его ЭБ в памяти не помогают.
сейчас качаю krpkrp, посмотрю что за чудеса с этой позицией происходят.
Все хотят ходить Кр d4, и Анечка не исключение...

Нда... засада.
Вообще-то я думал, что Шреддер10 с его безранговыми базами будет иметь преимущество в позиции, где ничего не надо кроме как считать и смотреть переходы в младшие эндшпили. Но не тут-то было - он как и Фриц10 застревает на 1.Kd4+.
Попробуем разобраться.

Первая трудность - простой заход белого короля за пешкой не решает:
1.Kd5+ Kd2 2.Ke4 Ke2 3.Kf5 Kf3 4.Kg6 - победа? ведь 4...Kg4 5.Rc4+-
Но следует 4...Rxh7!=
Все программы быстро понимают, что это - ничья.

Ничего не меняет и 1.Kd5+ Kd2 2.Ke4 Ke2 3.Rf7!? Rh4+ 4.Kf5 g4 5.Kg5 Rxh7!=
(меня здесь особо радует 5.Kf4 Kf2 6.Kg5+ Kg3 7.Ra7 Rh1!=)
Вроде бы ничего не меняет и 1.Kd4+ Kd2 2.Ke4 Ke2...
Но все движки после некоторого размышления здесь все же находят выигрыш:
1.Kd4+ Kd2 2.Re7! +- (увидим позже в решении).

Не все находят опровержение:
1.Kd4+ Kd1!
Теперь естественное 2.Ke3 Rh4 - взаимный цугцванг с ходом белых.
3.Kf3 Kd2 4.Kg3 Kd3! 5.Ra7 Kc3! (нельзя ступить ни на 2-ю, ни на 4-ю горизонталь, а мы и не будем) 6.Rf7 Kd3! 7.Rf3+ Ke4 8.Rf4+!? Rxf4 9.h8Q Kf5= этот пятифигурник оказывается ничейным!
Ничего не дает и 1.Kd4+ Kd1 2.Kd3!? Ke1! 3.Ke3 Rh3+ 4.Ke4 Rh4+ - мы опять получим знакомые эндшпили.
Либо 5.Kf5 g4 6.Kg5 Rxh7=
Либо 5.Kf3 Kd2 6.Kg3 Kd3=
Нельзя и 1.Rd7 Rh4! 2.Kd5 Kd2 3.Ke5+ Ke3 4.Kf5 Kf3=

А весь фокус заключается в 1.Re7!zz (zz=взаимный цугцванг)
Теперь плохо 1...Rh4 2.Kd5 Kd2 3.Ke5 Ke3 4.Kf5+ - батарея, огонь!
Или 1...g4+ 2.Kd4 Kd2 3.Ke4 Ke2 4.Kf4+ аналогично.
1...Kc2 2.Kc4!zz Kd1 3.Kd5!zz Kd2 4.Kd4zz Kd1 5.Ke3! Rh4 6.Rc7!zz Rh5!?
И что дальше? 7.Ke4 Ke2= или 7.Kf3 Rh4 8.Kg3 Kd2 9.Ra7 Kc3=
Нужен "прорезающий" шах 7.Rd7!+ Ke1(7...Kc2 8.Ke4 - Kf5)
8.Kf3 Rh4 9.Kg3 Ke2 10.Ra7! - вот и разгадка этого ребуса, ведь черный король сейчас не "дотягивается" до с3!
10...Kd3 11.Ra3+ Kc2 12.Ra2+ Kd3 13.Rh2 +-
Ни одна программа пока не справляется...

Неа, не могут. Онлайн База Шреддера говорит что Re7 единственный выигрывающий ход...
Можешь посмотреть варинты -
http://www.shredderchess.com/online-chess/online-databases/endgame-database.html

Наверно не хватает канала чтоб их скачать
Я локально пользуюсь базами в ShredderClassic2

Не совсем понятно. Скачал наверно Пятифинурные?
В Classic в настройках в Дополнительно/Опции/Базы Эндшпилей прописывается путь.
В движке использование баз можно так-же прописать в bases.ini (там по умолчанию использование только четырех-фигурных)
Потом запускаешь движок и смотришь...
Только не досчитывается Шреддер до пяти-четырехфигурных в этой позиции. Не обращается он к ЭБ на такой большой глубине - слишком медленный доступ к базам из-за их сжатия...

Насчет 1.Rf7. Прсто бегут короли и получится знакомая ничья:
1...Kd2 2.Kd4 Ke2 3.Ke4 Rh4+ 4.Kf5 g4=
Это этюд и решение достигается строго единственными ходами.

Еще как досчитывается.
Сейчас Shredder10 UCI у меня показывает
...
31/54 +1.28++ Kd4+ Kd2 ... TB 23.820.627 (базы Налимова) SB 246.128.026 (базы Шреддера)
31/54 +1.78++ Kd4+ Kd2 ... TB 24.244.374 SB 252.417.801

Если он пишет +1.28 Четверть миллиарда позиций - для такой позиции ничто.

Всего он при этом сколько позиций просмотрел?

31/54 431:50 +1.28++ Kd4+ Kd2 (4.641.440658) ...
31/54 441:43 +1.78++ Kd4+ Kd2 (4.747.376.118) ...

Смотрит каждую двадцатую... Маловато
Если несжатые ЭБ в памяти (А у Шреддера - Сжатые), то смотрятся на максимальной глубине, и этого должно хватать чтоб решить эту позицию. И возможно что не решает из-за ошибок в NullMove, либо в хешировании оценок полученных при помощи NullMove.

Да, похоже последовательные цугцванги Ш10-му мешают
Колбасит его изрядно - на небольшой глубине он прекрасно видел 1.Ле7 и правильно оценивал...
Чуть глубже - перешел к 1.Kd4+ Kd1 и ессно оценка стала падать.
Теперь опять мусолит 1.Kd4+ Kd2?? и оценка ессно растет

Налимов emd - сжатый. Насколько я понимаю все движки обычно именно с такими базами и работают.
Насчет ShredderBases вообще ничего сказать не могу - не знаю...

Это называется сознательно не исправлять ошибки, когда сила от них слабо зависит.
Любой контроль хеширования оценок полученных пустым ходом уменьшает эффективность Хеширования, вот и плюют на ошибки которые отсутсвие этого контроля вызывает в случае цуцванга...
А схема честной верификации NullMove - слишком уж сильно портит Бренчинг Фактор, и всё-равно вызывает проблему горизонта.
Мои тесты показывают, что NullMove в Ладейнике не дает прибавки, поэтому у меня он в такой позиции отключается.

Налимов - конечно сжатый, но при доступе с Диска это уже несущественно. Основное время тратится именно на доступ.
Базы Шреддера точно сжатые. Простой расчет показывает что полные несжатые в такой объем памяти не впихнуть, да и заявленная скорость доступа говорит о сжатии.