15、搜索驱动程序的实验评估及性能分析

搜索驱动程序的实验评估及性能分析

1. 搜索驱动程序的概念

搜索驱动程序的概念是对评估函数的一种泛化，旨在满足元启发式搜索算法，特别是程序合成的需求。它具有以下常见特征：
1. 上下文相关性 ：在相对较小的候选解决方案集中提供梯度，不要求全局提供此类梯度。
2. 定性有序反馈 ：绝对数值无关紧要，重要的是候选解决方案的（部分或完整）顺序。
3. 与原目标函数无关 ：不一定要与原始目标函数相关联，尤其不需要与之相关。理想情况下，应近似最优搜索驱动程序。
4. 不要求一致性 ：不需要以达到极值（或任何其他方式）来表明候选解决方案的最优性，此功能由正确性谓词承担。
5. 依赖搜索过程状态 ：可能依赖于候选解决方案的工作种群的整个搜索过程状态（甚至更广泛意义上的状态，例如包括先前迭代中访问过的候选解决方案）。
6. 非平稳性 ：由于上述第5点，在搜索循环的特定迭代中，可能对同一组候选解决方案进行不同的排序。
7. 可较弱 ：可以是弱的，即与最优搜索驱动程序对较多候选解决方案的排序不同。并行使用多个弱驱动程序可以通过提供足够强的搜索梯度和多样性使搜索过程更有效。

2. 实验目标与范围

2.1 实验目标

进行比较实验的目标除了展示行为评估的优势外，还旨在回答以下问题：
1. 特定搜索驱动程序与其他搜索驱动程序结合使用时的影响