ตัวอย่างบังคับให้รุกฆาตที่เครื่องยนต์ล้มเหลว

คุณรู้หรือไม่ว่าตัวอย่างหมากรุกเอนจิ้นล่าสุด (Houdini, Rybka, Komodo, ... ) ล้มเหลวในการหารุกฆาตที่ถูกบังคับ

ฉันเดาว่าพวกเขาต้องพบคู่ใน 1 หรือ 2 ตลอดเวลา แต่บางทีพวกเขาอาจจะไม่สร้างสรรค์เท่ามนุษย์

การวางคำตอบนี้นอกเหนือจากคำตอบ / ความคิดเห็นเกี่ยวกับฐานโต๊ะและ endgames กับเพื่อนบังคับที่ยาวเหยียด

สีขาวจะย้ายและชนะ (ฉันไม่รู้จักผู้เขียนของการศึกษานี้โชคไม่ดี) เครื่องยนต์จะล้มเหลวในเรื่องนี้และปัญหาที่คล้ายกัน เท่าที่ฉันพยายามทั้งหมดแนะนำให้ย้าย hxg8 = Q บางคนแสดง 0.00 และในไม่ช้าหลังจากนั้นก็ใส่สีดำในทางตัน; บางคนแสดงความได้เปรียบเล็กน้อยสำหรับคนผิวขาวและกำลังพยายามเล่นเกมโดยให้สีดำเปิดใช้งานส่วนของเขา คำอธิบายเพิ่มเติม (และคำแนะนำสำหรับการแก้ปัญหา) ที่ให้ไว้ในบล็อกสปอยเลอร์ด้านล่างแผนภาพ

สปอยเลอร์คำอธิบาย:

ไม่พบคู่บังคับที่ถูกต้องเนื่องจากเครื่องยนต์ใช้ heuristic ที่ตัดแต่งกิ่ง มันจะลบบางสาขาจากแผนภูมิการค้นหาหลังจากถือว่าพวกมันไม่เกี่ยวข้องกับผลการค้นหา (ดู: 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 21. Rc1 f3 22. Qxf3 Bf2 23. Bxg2 + #

มีตำแหน่งที่ยุ่งยากบางอย่างซึ่งดูเหมือนว่าไม่มีวิธีแก้ปัญหา แต่จากนั้นจะกลายเป็นสีขาวจะต้องสามารถเดินผ่านได้ ในตำแหน่งเครื่องยนต์เหล่านี้อาจมองข้ามคู่เพราะพวกเขาไม่มีข้อมูลเกี่ยวกับการเคลื่อนไหวสีดำครั้งสุดท้ายในขณะที่มนุษย์สามารถอนุมานข้อมูลนี้โดยการวิเคราะห์ถอยหลังเข้าคลอง

ในตำแหน่งนี้มันเป็นไปไม่ได้ที่จะตัดสินว่ารูปแบบใดที่นำไปสู่การผสมพันธุ์ในสอง เป็นไปได้ที่จะแสดงให้เห็นว่าจะต้องมีคู่ในรูปแบบสองรูปแบบ คนผิวดำคนใดคนหนึ่งขยับตัวจำนำในการเคลื่อนไหวครั้งสุดท้ายของเขา หรือเขาย้ายกษัตริย์หรือโกงของเขา - จากนั้นกษัตริย์ e6 นำไปสู่การผสมพันธุ์

แก้ไข: คำตอบอีกข้อหนึ่งที่ไม่เกี่ยวข้องกับวัตถุประสงค์ในทางปฏิบัติทั้งหมด: เมื่อเรารู้ว่าต้องขอบคุณฐานโต๊ะมีจำนวนผู้บังคับการรุกฆาตจำนวนมากที่อยู่นอกขอบเขตการคำนวณของเครื่องยนต์ใด ๆ แน่นอนว่าเราสามารถใช้ tablebases เพื่อตรวจจับคู่เหล่านั้นได้ แต่มันไม่ได้ใช้จินตนาการใด ๆ ในการยอมรับการมีอยู่ของผู้บังคับการรุกฆาตมากกว่าการเคลื่อนไหวหลายพันครั้งซึ่งไม่ใช่ตอนนี้และน่าจะไม่ถูกจัดเก็บในฐานข้อมูล .