可满足性与进化
Satisfiability and Evolution
摘要：
我们表明，如果真值分配$n$变量通过重组，使一个特定的布尔函数的满意度赋予一个小的进化优势，然后多项式多代（多项式在$n$和初始满意概率的倒数）多项式大人口将最终几乎肯定完全由满意的真值分配。我们认为，这一定理揭示了进化的新颖性问题。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
