Satisfiability and Evolution
Abstract
We show that, if truth assignments on $n$ variables reproduce through recombination so that satisfaction of a particular Boolean function confers a small evolutionary advantage, then a polynomially large population over polynomially many generations (polynomial in $n$ and the inverse of the initial satisfaction probability) will end up almost certainly consisting exclusively of satisfying truth assignments. We argue that this theorem sheds light on the problem of novelty in Evolution.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2013
- DOI:
- 10.48550/arXiv.1312.1983
- arXiv:
- arXiv:1312.1983
- Bibcode:
- 2013arXiv1312.1983L
- Keywords:
-
- Computer Science - Computational Complexity;
- Quantitative Biology - Populations and Evolution;
- 92D15;
- F.0