来给一个另类答案: “白方舍弃一个城堡的做法”
舍弃城堡的思路是在那当下白方知道黑王在哪里
只要接下来卡得住黑王就没问题, 一王一城是将得死孤王的
那因为是个 proof of concept 所以没有仔细去看哪里可以省
不过最长一条写到 25 了所以应该很难是最佳解 XD
1. Rhb7 * 2. Ka2 * 3. Ka3 * 4. Ka4 * 5. Ka5 * 6. Ka6 * 7. Rb6 *
这里是建立把黑王往右边逼的墙
8. Rab7 * 9. Rc6 * 10. Kb6 *
11. Rbc7 * 12. Rd6 * 13. Kc6 *
14. Rcd7 * 15. Re6 * 16. Kd6 *
17. Rde7 * 18. Rf6 * 19. Ke6 *
开始往右逼黑王, 7 列的城在过程中有王看着不会被偷吃
20. Rh7!
这一步弃城堡, 黑王至此只有 g8 跟 h8 两个可能, 以下分列:
(1) 黑王在 g8 只能吃城, 或是黑王在 h8 决定先吃城:
20... Kxh7 21. Kf7 Kh8 22. Rh6#
(2) 黑王在 h8, 决定先不吃城:
20... Kg8 21. Kf5 Kxh7 22. Rg6 Kh8 23. Kf6 Kh7 24. Kf7 Kh8 25. Rh6#
结局图是一样的不过 (2) 这边黑多拖了三步 :p
分歧不是看黑王位置而是看 h7 城堡有没有被吃这样
在 20. 之后的黑王除了分歧这一步之外其他都是唯一步
所以白可以定位黑王在哪里避免自杀
(这也是 (2) 会多拖三步的原因, 因为 21. 当下黑王在 g8 白王不能先进 f7 卡位)