查看“什么是“残局库”？”的源代码

<small>[[棋软知识|返回“棋软知识”]]</small>
<br>
<br>
残局库是穷尽某些子力组合的库。

  例如穷尽“帅VS将”，以此为基础再开始穷尽“帅兵 vs 将”.....。如果要搞出车对双马的残局库，那么必须先搞好帅对将、帅对马、帅对双马、帅车对将、帅车对马的残局库。
  残局库先穷尽一个子力组合的所有局面，然后提取所有取胜局面，再提取被将死方无法阻止将死方将死的所有局面.....如此倒推，推出所有的理论必胜必负局面，最终推不到的局面都是和棋。
  在残局库的规则下，如果没有bug，那么残局库结论是绝对准确的，残局库只有胜 负 和三种结论，除了胜负局面所需的步数外，不存在任何分数。


象棋残局库主要有DTM和DTC两种。
  DTM的胜方目标只有将死和困毙，败方目标是尽力拖延将死和困毙。
  而DTC，这里以云库DTC说明。胜方目标是将死、困毙、子力变化(胜方自己的子被吃也算)，取最短的一项作为目标。还有一个特殊的循环犯规次数，胜方会尽力防止负方循环犯规，如果无法防止，则胜方会走负方犯规次数最少的路径，并且拖延负方犯规。而负方会拖延被将死、被困毙、场上子力变化，并且尽力犯规。
  但如果没有犯规次数，不代表胜方真的可以完全防止对手犯规。假设某个局面红有个相挡着黑车，黑车可以吃掉它并且进行长将，这个局面仍然可能显示没有犯规次数，因为负方对拖延子力变化是更优先的，所以着法中负方不会优先吃相。
  DTC因为对目标的步数更短，所以体积比DTM小很多。

部分象棋引擎可以配合自己格式的残局库进行搜索，例如旋风、小虫等。

残局库的终极目标是全子残局库。