🤖 AI Summary
This work addresses the inefficiency of traditional genetic algorithms in solving optimization problems due to their reliance on random mutation and recombination, which lack goal-directedness. The authors formulate the problem through the lens of query complexity and propose objective-guided mutation and recombination operators informed by the optimization target. Leveraging reinforcement learning and formal language theory, they analyze the theoretical properties of these operators. For the first time, the study mathematically characterizes the mechanism of goal-directed genetic operators and demonstrates the necessity of population diversity for certain classes of optimization problems. A general model of genetic algorithms is established, enabling the design of a tight algorithm for a specific problem class, and proving that the synergy among generation, mutation, and recombination is essential for efficient optimization.
📝 Abstract
Recent work in ML applies genetic algorithms at inference time to iteratively improve solutions to optimization problems. The basic mutation and recombination operators involved are qualitatively different from those studied classically. Mutations are no longer random; an ML algorithm mutates a solution with the goal of improving an objective. Similarly, recombination is not based on random collages of parent solutions. Instead, it is an ML optimization-based operator whose goal is to synthesize improved solutions from its inputs. Thus, these mutation and recombination operators are more likely to improve the objective, but their computational cost is much higher.
We introduce a general model of genetic algorithms and formulating optimization in this model as a query-complexity problem, using the language of reinforcement learning. We then study specialized models. We show that some optimization problems require generation, mutation, and recombination to be solved. We then obtain qualitatively tight algorithms for a family of problems within this framework that captures the nontrivial role of diversity in the solution pool, a key feature of practical ML genetic algorithms.