撰写 Lao Chonger 于 2019年3月31日 2019年3月31日 搜索 / 未解决 IDA*=DFS+迭代加深+估价函数 若当前深度+未来估计步数>深度限制，则立即从当前分支回溯。 先写用法，以后补上证明
撰写