基于种群的优化的算子演算:模块化收敛性与有限种群保证
Operator Calculus for Population-Based Optimization: Modular Convergence and Finite-Population Guarantees
精选理由
提供模块化的种群优化收敛分析框架,指导算法设计与有限预算评估。
AI 摘要
arXiv:2606.14289v2 公告类型:replace-cross 摘要:基于种群的优化器结合了变异、选择和重组等更新规则。当其中一条规则发生变化时,通常难以明确哪些收敛保证仍然成立,或应如何评估新的组合方式。我们提出了一种算子演算:算子是一种种群更新规则,而该演算规定了如何组合分别检验过的作用。在明确的正则性条件和小步长条件下,各次更新所导致的主要变化可以相加,从而为收敛分析提供可复用的构建模块。该框架区分了寻找并保留一个良好解、降低种群的平均目标值,以及使候选解集中于优化器附近这几类目标,并确定了获得有限评估预算保证所需的额外近似条件。应用包括分布自适应、重组式进化和共识动力学,并涵盖经过验证的非凸情形。在一组常见的非凸问题上进行的受控实验表明,组件作用会随种群几何结构和性能度量而变化:某条规则可能使平均目标值变差,却产生更优的候选解。