Registry · Theorem VI.T27 tau-effective planned

VI.T27 — Evolution as Optimization

Evolution solves NP-hard fitness optimization via PPAS: NP-hard for K≥2 epistasis, poly convergence to local optimum, drift enables escape. Zero free params.

Book VI Part 6 Ch. 37

Dependency Graph

Depends on (1)

VI.D50

Lean Formalization

Module:

Symbol: