엔진이 고장난 강제 검사원 예

최근 체스 엔진 (Houdini, Rybka, Komodo 등)이 강제 수표를 찾지 못한 예를 알고 있습니까?

나는 그들이 항상 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 왕은 배우자로 인도합니다.

편집 : 또 다른 대답은 모든 실제 목적과 관련이 없습니다. 테이블베이스 덕분에 우리 모두가 알고 있듯이 엔진의 계산 범위를 훨씬 넘어서는 강제 수표가 많이 있습니다. 물론 테이블베이스를 사용하여 이러한 메이트를 감지 할 수는 있지만 상상력을 넓히거나 수천 가지 움직임에 대해 강제 검사원이 존재한다는 것을 인정하기 위해 지금은 아니고 테이블베이스에 저장되지 않을 것입니다. .