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

По другой причине Шреддер пишет Плюс на Кр d4!!!
Никуда, ни в какой младший эндшпиль он не переходит. Он белыми просто гоняет короля черных по всей доске, при этом имеет плюс за счет проходной на седьмой...
Непонятно почему он не видит победу на Re7. Нужно посмотреть что портит - NullMove, или просто не может досчитаться...

А ведь многие окончания как раз и выигрываются благодаря последовательным взаимным цугцвангам.
Самый простой - kpk. Взять чуть посложнее типа knpkn, отключить 5-фигурную базу и движок может поплыть...

В kpk все отключают NullMove
и во многие программы встроенны таблицы для kpk,
а вот в kqkr выигрываемом за счет цуцванга - многие программы NullMove используют, в итоге выиграть не могут.
У меня в kqkr используется NullMove с верификацией. В случае если у стороны только одна фигура (при этом не ферзь) + пешки (либо без пешек), то за эту сторону NullMove не используется.

Поэтому в Анечке проблема с цуцвангами возникает редко, хотя конечно бывает проблема горизонта при цуцванге, когда на доске много фигур.

В связи с массовым использованием LMR нужно пересматривать использование NullMove, так как LMR почти полностью его заменяет.

Не найдет ни одна программа выигрыш в этой позиции
Переход в выигранный младший эндшпиль через почти 40 полуходов
И NullMove тут не при чем

В том-то и дело, что я до сих пор не знаю значений DTC, DTZ для этой позиции...
Хотя вроде давно уже все 6-фигурные DTC просчитаны.
По идее в линии 1.Re7 белые вообще не допускают переход в "сложные" окончания.

После Re7 Безо всяких отдач материала перевод короля в угол (g8) занимает 40 полуходов.
И именно на столько нужно сосчитать программе чтоб увидесть разницу между Крd4 и Re7.
Для неё позиции с пешкой на h7 одинаковы, пока она не увидит конкретный выигрыш.

А чтоб оценить без проведения ферзя - нужна весьма сложная ОФ.

Еще интересно почему оценка падает до нуля после Re7.

До мата в этой позиции 71 полуход, до перехода в младший выигранный эндшпиль не знаю как посмотреть, но около 40 полуходов.

А зачем королю в угол?
После 1.Ле7 переход в младший эндшпиль связан или с выигрышем пешки "g", или ладьи...

О, чудо! Добавил Рыбке хеша до 64Мб (раньше было 56МБ для движка и 8МБ для ЭБ) и она уверенно нашла выигрыш на глубине 18, а начиная с глубины 19 и по настоящий момент (27) у нее первая линия (+8.68) - точное решение этюда.
Ниччего не понимаю :/

Последняя Рыбка, с включенным использованием ЭБ - действительно находит выигрыш.

Новая партия - Rybka 2.2n2 mp 32-bit
8/2R4P/8/2K3pr/8/8/8/2k5 w - - 0 1

Analysis by Rybka 2.2n2 mp 32-bit :

1.Крd4+
+- (1.85) 2 00:00:00
1.Крd4+ Крd2 2.Крe4
+- (2.33) 3 00:00:00
1.Крd4+ Крd2 2.Крe4
+- (2.33) 6 00:00:00
1.Крd4+ Крd2 2.Крe4
+- (2.33) 6 00:00:00
1.Крd4+ Крd2 2.Крe4 Лh1 3.Крf5
+- (2.33) 6 00:00:00 6тП
1.Крd4+ Крd2 2.Крe4 g4
+- (2.57) 7 00:00:00 7тП
1.Крd4+ Крd2 2.Крe5 Лh4 3.Крf5 g4 4.Крg5
+- (3.34) 8 00:00:00 10тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Лd7 Лh4+ 4.Крf5 g4
+- (2.59) 9 00:00:00 28тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Лd7 Лh4+ 4.Крf5 g4
+- (2.58) 10 00:00:00 35тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Лd7 Лh4+ 4.Крf5 g4
+- (3.44) 11 00:00:00 41тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Крf5
+- (4.90) 12 00:00:00 73тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Крf5
+- (4.90) 13 00:00:00 74тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.45) 14 00:00:04 707тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.14) 15 00:00:06 1049тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.35) 16 00:00:11 2112тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (1.96) 17 00:00:17 3256тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (1.95) 18 00:00:30 6105тП
1.Лe7 Крd2 2.Крd4 g4 3.Крe4 Лh3
+- (4.70) 18 00:00:38 7276тП
1.Лe7 Крd2 2.Крd4 g4 3.Крe4 Лh3
+- (4.90) 19 00:00:39 7307тП
1.Лe7 Крd2 2.Крd4 g4 3.Крe4 Лh3
+- (5.72) 20 00:00:41 7424тП
1.Лe7 Крd2 2.Крd4 g4 3.Крe4 Лh3
+- (5.72) 21 00:00:53 8406тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 g4 5.Крe4 Лh3 6.Крf4 g3 7.Крf3
+- (5.93) 22 00:00:56 8624тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 g4 5.Крe4 Лh3 6.Крf4 g3 7.Крf3
+- (9.79) 23 00:01:08 9627тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 g4 5.Крe4 Лh3 6.Крf4 g3 7.Крf3
+- (10.49) 24 00:01:39 15100тП

С настройками по-умолчанию (ЭБ соответственно не используется):

Новая партия - Rybka 2.2n2 mp 32-bit
8/2R4P/8/2K3pr/8/8/8/2k5 w - - 0 1

Analysis by Rybka 2.2n2 mp 32-bit :

1.Крd4+
+- (1.85) 2 00:00:00
1.Крd4+
+- (2.00) 3 00:00:00
1.Крd4+ Крd2
+- (2.37) 4 00:00:00
1.Крd4+ Крd2 2.Крe4
+- (2.33) 5 00:00:00
1.Крd4+ Крd2 2.Крe4 Лh1
+- (2.33) 6 00:00:00 7тП
1.Крd4+ Крd2 2.Крe4 Лh1 3.Крf5
+- (2.20) 7 00:00:00 10тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.55) 8 00:00:00 18тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.59) 9 00:00:00 22тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.55) 10 00:00:00 28тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.51) 11 00:00:00 42тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.53) 12 00:00:00 64тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.54) 13 00:00:00 94тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.53) 14 00:00:00 161тП
1.Крd4+ Крd2 2.Крe5 g4+
+- (2.54) 15 00:00:01 234тП
1.Крd4+ Крd2 2.Крe5
+- (4.90) 16 00:00:07 1871тП
1.Крd4+ Крd2 2.Крe5
+- (4.90) 17 00:00:10 2414тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.36) 18 00:00:17 4282тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.38) 19 00:00:19 5052тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.37) 20 00:00:22 5686тП
1.Крd4+ Крd1 2.Крe3 Лh4 3.Крf3
+- (4.45) 21 00:00:48 13764тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 22 00:00:50 14308тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 23 00:00:52 14705тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 24 00:00:56 15385тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 25 00:01:00 16153тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 26 00:01:06 17319тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 27 00:01:15 18945тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 28 00:01:27 21210тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 29 00:01:44 24500тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 30 00:02:09 29180тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 31 00:02:49 36701тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 32 00:03:46 47204тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 33 00:05:05 60640тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 34 00:07:15 84396тП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 35 00:10:25 118мП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 36 00:15:27 172мП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 37 00:23:29 262мП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 38 00:35:34 385мП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 39 00:56:18 587мП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 40 01:33:34 947мП
1.Крd4+ Крd1 2.Крd3 Крe1 3.Крe3 Лh3+ 4.Крe4 Лh4+ 5.Крf3
+- (4.45) 41 02:25:39 1455мП

Не может!

У меня Рыбка обычная 2.2 "не-мульти" 32-bit.
И играет как по написанному 4...Kd1 (не 4...g4)
Странно - вся-то разница в размере хэша движка (хэш ЭБ не трогал) ...

Это более новая Рыбка 2.2n2
с исправленной ошибкой.

То то я смотрю на Плейчессе у всех 2.2n!

Изменение размера Хеша влияет на выбор хода (в основном не на силу, а именно на выбор хода)
Я тестировал с Хешем в 1 Гигабайт.

Есть! С самой безопасной настройкой использования ЭБ (Rarely) Рыбка досчитывается до мата!!!
(с 4-5 фигурными ЭБ)
Новая партия - Rybka 2.2n2 mp 32-bit
8/2R4P/8/2K3pr/8/8/8/2k5 w - - 0 1

Analysis by Rybka 2.2n2 mp 32-bit :

1.Крd4+
+- (1.85) 2 00:00:00
1.Крd4+
+- (2.20) 3 00:00:00
1.Крd4+ Крd2
+- (2.03) 4 00:00:00
1.Крd4+ Крd2 2.Крe4
+- (2.02) 5 00:00:00
1.Крd4+ Крd2 2.Крe4 Крe2
+- (2.33) 6 00:00:00 5тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Крf5
+- (2.33) 7 00:00:00 7тП
1.Крd4+ Крd2 2.Крe4 Крe2 3.Крf5
+- (2.33) 8 00:00:00 10тП
1.Крd4+ Крd2 2.Крe4 g4
+- (2.51) 9 00:00:00 20тП
1.Крd4+ Крd2 2.Крe4 g4
+- (2.55) 10 00:00:00 26тП
1.Крd4+ Крd2 2.Крe5 Крe2 3.Крf5 Крf2 4.Лc2+ Крg3 5.Крg6 Лh4
+- (4.70) 11 00:00:00 57тП
1.Крd4+ Крd2 2.Крe5 Крe2 3.Крf5 Крf2 4.Лc2+ Крg3 5.Лc3+ Крh4 6.Крg6 g4
+- (4.90) 12 00:00:00 64тП
1.Крd4+ Крd2 2.Крe5 Крe2 3.Крf5 Крf2 4.Лc2+ Крg3 5.Лc3+ Крh4 6.Лc1 Крg3 7.Крg6
+- (4.90) 13 00:00:00 76тП
1.Крd4+ Крd2 2.Крe5 Крe2 3.Лf7 Лh4 4.Крf5 g4
+- (2.46) 14 00:00:04 807тП
1.Крd4+ Крd2 2.Крe5 Крe2 3.Лf7 Лh4 4.Крf5 g4
+- (2.41) 15 00:00:05 924тП
1.Крd4+ Крd2 2.Лe7 g4 3.Крe4 Лh3
+- (2.51) 16 00:00:06 1038тП
1.Крd4+ Крd2 2.Лe7 Крd1 3.Крe5
+- (2.46) 17 00:00:12 1755тП
1.Крd4+ Крd2 2.Лe7 Крd1 3.Крd5 Крd2 4.Крe4
+- (2.46) 18 00:00:13 1943тП
1.Крd4+ Крd1 2.Крe3 Лh4 3.Лf7
+- (1.72) 19 00:00:21 3348тП
1.Лe7 Крc2 2.Крc4 g4 3.Крd4 Лh3 4.Крe4
+- (2.34) 19 00:00:25 4026тП
1.Лe7 Крc2 2.Крc4 g4 3.Крd4 Лh3 4.Крe4
+- (2.32) 20 00:00:26 4209тП
1.Лe7 Крc2 2.Крc4 Крc1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крd3 Лh4 6.Лa7
+- (2.74) 21 00:00:40 6043тП
1.Лe7 Крc2 2.Крc4 Крc1 3.Крd5 Крd1 4.Крe5
+- (2.54) 22 00:00:43 6914тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (10.21) 23 00:01:15 13825тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (10.49) 24 00:01:18 14193тП
1.Лe7 g4+ 2.Крd4 g3 3.Крe3 g2 4.Лc7+ Крd1 5.Крf2 g1Ф+ 6.Крxg1
+- (10.49) 25 00:01:51 15350тП
1.Лe7 g4+ 2.Крd4 g3 3.Крe3 g2 4.Лc7+ Крd1 5.Крf2 g1Ф+ 6.Крxg1
+- (10.49) 26 00:02:01 15870тП
1.Лe7 g4+ 2.Крd4 g3 3.Крe3 g2 4.Лc7+ Крd1 5.Крf2 g1Ф+ 6.Крxg1
+- (10.49) 27 00:02:11 16699тП
1.Лe7 g4+ 2.Крd4 g3 3.Крe3 g2 4.Лc7+ Крd1 5.Крf2 g1Ф+ 6.Крxg1
+- (10.69) 28 00:02:46 21882тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (10.69) 29 00:03:07 24351тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (10.69) 30 00:03:24 26885тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#50) 31 00:04:12 33311тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#37) 32 00:04:39 34549тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#37) 33 00:04:48 34958тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 34 00:05:09 35805тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 35 00:05:26 36604тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 36 00:05:46 37668тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 37 00:06:12 39308тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 38 00:06:44 41348тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 39 00:07:23 44149тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 40 00:08:26 48290тП
1.Лe7 Крc2 2.Крc4 Крd1 3.Крd5 Крd2 4.Крd4 Крd1 5.Крe3 Лh4 6.Лc7 Лh5 7.Лd7+
+- (#36) 41 00:09:41 53420тП

Последняя Тога решить не может. Ходит Крd4. Лe7 у неё на втором месте.
На остальных ходах видит равенство.

Фриц10 с хэшем 64МБ тоже видит Лe7. Но у него как и у Шреддера не поймешь что дальше - дает из всей линии только 1 ход...

Она не использует ЭБ?
Если использует, тогда непонятно в чем проблема. Ведь ей по сути надо просто посчитать, как Рыбке в посте #190, на 34 полухода...

Тога не использует ЭБ.
Глубина 34 не означает что все варинты посчитаны на 34 полухода.
Переборные алгоритмы у всех движков разные.

Похоже, все движки без ЭБ не найдут решение...
Им кажется (имхо), что выгоднее переход в окончание kqkrp после 1...Kd4.

Интересно другое, что все остальные движки, даже используя ЭБ, даже используя ЭБ в памяти (Шреддер) не могут найти решение...

С ЭБ, независимо от сути переборного алгоритма, программе надо просто просчитать 1.Ле7 на глубину DTC этой позиции (DTC= макс. длина до перехода в младший эндшпиль).
Я предполагаю (по посту #190), что DTC=17 (34 полухода) - похоже именно на этой глубине Рыбка во всех разветвлениях досчитала до позиций из ЭБ и обнаружила DTM=36 - мат в 36 ходов...

Да, но в PV ветви при Depth=34 глубина может быть больше 34 полуходов, а в не PV ветви - значительно меньше.
Поэтому такой расчет необходимой глубины может пройти только если в программе нет продлений и сокращений. А они есть!

Значит, Шреддеру глубины было мало и его "короткие" варианты не достигали ЭБ...

Скорей всего так. Варинтов на самом деле несколько -
1. Не хватает глубины из-за сокращений.
2. Не хватает глубины из-за NullMove
3. Неправильная оценка из-за нечеткого NullMove (ошибок верификации)
4. Неправильная оценка из-за ошибок Хеширования.
5. Нулевая оценка хода Re7 из-за того что оценка берется не из ЭБ, а при помощи ОФ, и ОФ дает сбой.

Можно использовать базу этюдов Харольда ван дер Хейдена (формат СВ).
Там сейчас более 60тыс. позиций.
Есть на любой вкус - много- и малофигурные, позиционные и комбинационные. Короче, любые...

Не нашел такую.
Нашел 3500 позиций в формате CB, но они абсолютно непригодны...
При минимальном времени на обдумывание программы решают практически всё.

Инфо по последней базе:
http://www.arves.org/PDF/HHDB3_Readme.pdf

ссылка не открывается.

Попробуем по другому.
http://home.studieaccess.nl/heijd336/home.html
Там есть ссылки на он-лайн инфу.

Пока искал базу (её пока так и не нашел) нашел одну позицию из неё...
4k3/5ppp/8/8/8/8/PPP5/3K4 w - - 0 1



А вот это какой-нибудь движок в состоянии решить?

Всё, спасибо!
Ссылка открылась!
Базу нашел.

И это еще не самый экстремальный вариант

2 NS: ну, белые выигрывают. Думаю, против Фрица этот пешечник не спасёт никто, в том числе и сам Фриц. Но разве эта позиция годится для теста? Там что, единственный первый ход надо делать? По-моему, несколько разных первых ходов ведут к цели...