An Extension to the Theory of Convergence and a Proof of the Time Complexity of Genetic Algorithms.
Carol A. AnkenbrandtPublished in: FOGA (1990)
Keyphrases
- genetic algorithm
- proof theoretic
- fuzzy logic
- neural network
- theoretical basis
- worst case
- linear logic
- multi objective
- fitness function
- proof theory
- computational complexity
- tabu search
- theoretical framework
- decision making
- convergence rate
- general theory
- theorem proving
- faster convergence
- evolutionary computation
- iterative algorithms
- space complexity
- theorem prover
- evolutionary algorithm
- search space
- search algorithm