人工智能-搜索
搜索是人工智能很重要的一种解决问题的途径，以下对各种搜索进行一个分类总结。
首先是搜索的定义，我们要解决一个问题，要经过很多步骤才能达到最终的目标，搜索就是要找到这些步骤，即解决问题的方法。
搜索有其局限性，它必须依赖于现有的知识，它不能自己学习知识，人工智能解决问题的另外一种途径就是学习，通过学习可以创造或者吸取新的知识。
下面是正文
搜索（Search）
求解一个问题就是一系列动作，并且搜索是为达到目标寻找这些动作的过程。
针对不同数据结构：
图搜索
树搜索
经典搜索（Classic Search）
无信息搜索（uninformed search 即盲目搜索，没有除定义之外的信息）
按照节点的扩展顺序区分
宽度优先（breadth-first），用FIFO队列实现
深度优先（depth-first）：拓展最深的未扩展节点，用LIFO队列实现
深度受限搜索（depth-limited）：限制搜索深度
迭代加深搜索（iterative deepening）：结合深度优先与宽度优先的优势
一致代价搜索（uninform-cost）：扩展最低代价的未扩展节点
双向搜索（bidirectional ）
无信息搜索的策略评价
完备性：是否总能找到一个存在的解
时间复杂性
空间复杂性
最优性：是否总能找到最优的解
有信息搜索（informed search 亦称启发式搜索，采用问题定义外的信息，能够找到比无信息搜索更有效的解）
最佳优先搜索（best-first）：基于评价函数选择最优拓展节点，大多数该类算法还包括一个启发式函数
贪心搜索
A*搜索
以上的搜索是经典搜索，它们的特点是
可观测
确定性
已知环境
经典搜索保留搜索的路径，其路径就是问题的解
但在很多问题中，到达目标的路径不重要，因此就有了超越经典搜索
有路径-->无路径
超越经典搜索（Beyond Classical Search）
分为局部搜索与群体智能
局部搜索（local search）
不关注路径，搜索后不保留路径，其优点为
1.占用内存小
2.能在大的或者无限的空间中找到合理的解
爬山法（hill-climbing）：一种迭代算法，开始时随机选取一解，对其不断优化
随机爬山法（Stochastic hill-climbing）：向上移动的过程中随机选择，收敛速度慢
首选爬山法（First-choice hill-climbing）：随机生成后继节点，直到出现更好的
随机重启爬山法（Random-restart hill-climbing）：完备性高，接近于1
局部束搜索（Local Beam Search）
随机束搜索（Stochastic Beam Search）
禁忌搜索（Tabu Search）
三种策略
禁止策略（Forbidding strategy）
释放策略（Freeing strategy）
短期策略（Short-term strategy）
模拟退火（Simulated Annealing）：一种在大搜索空间逼近全局最优解的元启发方法
遗传算法（Genetic Algorithms）：一种模仿自然选择过程的启发式算法
群体智能（Swarm Intelligence）
通过大量智能体通过合作实现，它是分布式的、自组织的、在一个环境内分布的。
蚁群优化（Colony Optimization）：受蚁群寻炸食物的行为的启发，用于发现一个图上的最佳路径
粒子群优化（Particle Swarm Optimization）：受鱼类，鸟类群体行为的社会行为启发
单智能体-->多智能体
对抗搜索（Adversarial Search）
我们在针对其他智能体做规划时，那些智能体有可能也在做着规划
以上搜索针对单智能体，而对抗搜索针对多智能体
博弈（Game）
零和博弈（Zero sum games）：智能体之间完全对立
非零和博弈（Non-zero sum games）：智能体之间是自主的方式
完全信息（Perfect information）/不完全信息（Imperfect information）
确定性（Deterministic）/随机性（Stochastic）
剪枝 （Alpha-Beta Pruning）
博弈树的大小往往呈指数增加，通过剪枝，可以减小博弈树，加快搜索时间
启发评价函数（Heuristic Evaluation Function）
尽管通过剪枝可以去掉博弈树的大部分，但是搜索的深度依然很深，因此用评价函数计算在指定位置该博弈的期望值
随机博弈（Stochastic Game）
一种有一定概率转换的动态博弈
蒙特卡罗方法（Monte-Carlo Methods）
凭借重复随机采样来获得数值结果
蒙特卡罗树搜索（MCTS Monte-Carlo Tree Search）
将蒙特卡洛仿真与博弈树搜索相结合
约束满足问题（Constraint Satisfaction Problem）
状态必须满足若干约束的对象
标准搜索中状态不可分割，GSP中状态用因子表示，是一系列变量。
GSP问题通常复杂性很高
范畴
有限/无限
离散/连续
约束
线性/非线性
1元/多元
回溯搜索（Backtracking Search）
原文地址https://www.cnblogs.com/zhanghad/p/12483761.html
