Average Performance of Heuristics for Satisfiability

@article{Kohli1989AveragePO,
title={Average Performance of Heuristics for Satisfiability},
author={Rajeev Kohli and Ramesh Krishnamurti},
journal={SIAM J. Discrete Math.},
year={1989},
volume={2},
pages={508-523}
}

Distribution-free tight lower bounds on the average performance ratio for random search, for a greedy heuristic and for a probabilistic greedy heuristic are derived for an optimization version of satisfiability. On average, the random solution is never worse than ofthe optimal, regardless ofthe data-generating distribution. The lower bound on the average greedy solution is at least of the optimal, and this bound increases with the probability of the greedy heuristic selecting the optimal at… CONTINUE READING