Scifaro

中文

可满足性与进化

计算复杂性 2014-08-13 v3 种群与进化

作者: Adi Livnat , Christos Papadimitriou , Aviad Rubinstein , Gregory Valiant , Andrew Wan

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明，如果 $n$ 个变量上的真值赋值通过重组进行繁殖，使得满足特定布尔函数能带来微小的进化优势，那么经过多项式数量的世代（关于 $n$ 和初始满足概率倒数的多项式），一个多项式规模的种群将几乎必然完全由满足的真值赋值组成。我们认为这一定理阐明了进化中新颖性 (novelty) 的问题。

关键词

可满足性进化布尔函数重组种群动力学计算复杂性

引用

@article{arxiv.1312.1983,
  title  = {Satisfiability and Evolution},
  author = {Adi Livnat and Christos Papadimitriou and Aviad Rubinstein and Gregory Valiant and Andrew Wan},
  journal= {arXiv preprint arXiv:1312.1983},
  year   = {2014}
}