Satisfiability and Evolution
summary
Claims that, under random mating and full recombination, tracking only marginal allele frequencies via product distributions (using Nagylaki's theorem to justify the approximation) yields provable fixation results: monotone traits reach near‑certainty in linear generations, and for arbitrary Boolean traits a finite population plus genetic drift produces fixation in time polynomial in n, 1/ε and 1/starting‑density. Assumes weak selection (ε ≲ 1/n) and provides parameter bounds; parity stays problematic in the infinite limit but finite drift cures it.
AI-written summary · about