A*算法是一种启发式搜索算法，它的关键在于，每次从open表中选取结点时，要按特定的策略选取。该策略如下所述： 　　引入估值函数, f(n)是结点n的函数，f(n)越小，就意味着从初始状态节点S通过 ...

查阅了很多书，都是将归结原理作为结论直接引入，而没有证明。疑惑了两三天，最终给出了证明。（感谢文学系的一位朋友提供了重要思路） ...

产生式系统 产生式系统是给定事实与推理规则，进行自动推理的推理系统。 产生式系统由3个部分组成：总数据库、产生式规则、控制策略。 总数据库是存放求解过程中各种当前信息的数据结构，包括已知 ...

1.BFS 首先定义存储“状态”的结点 两个辅助函数 定义操作算符，向direction方向移动空格0，并返回新的状态 以下是宽度优先搜索BFS函数，bfs是我自己写的，bfs ...