为MAX-SAT启发式算法进化的前导序列
人工智能
2012-01-05 v1 神经与进化计算
摘要
MAX-SAT启发式算法通常从变量的随机初始真值赋值开始运行。我们考虑使用所谓的前导序列，即变量序列及相应的单变量赋值动作，旨在为给定的问题实例和给定的启发式算法确定更合适的初始真值赋值。对于多个公认的MAX-SAT启发式算法和基准实例，我们证明了前导序列可以通过遗传算法进化，使得启发式算法在相当一部分情况下被超越。
引用
@article{arxiv.1102.3868,
title = {Evolved preambles for MAX-SAT heuristics},
author = {Luis O. Rigo and Valmir C. Barbosa},
journal= {arXiv preprint arXiv:1102.3868},
year = {2012}
}