A Genetic Model: Analysis and Application to MAXSAT

  • Authors:
  • Alberto Bertoni;Paola Campadelli;Marco Carpentieri;Giuliano Grossi

  • Affiliations:
  • Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano via Comelico, 39-20135 Milano, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano via Comelico, 39-20135 Milano, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano via Comelico, 39-20135 Milano, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano via Comelico, 39-20135 Milano, Italy

  • Venue:
  • Evolutionary Computation
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, a genetic model based on the operations of recombination and mutation is studied and applied to combinatorial optimization problems. Results are: 1. The equations of the deterministic dynamics in the thermodynamic limit (infinite populations) are derived and, for a sufficiently small mutation rate, the attractors are characterized; 2. A general approximation algorithm for combinatorial optimization problems is designed. The algorithm is applied to the Max Ek-Sat problem, and the quality of the solution is analyzed. It is proved to be optimal for k ≥ 3 with respect to the worst case analysis; for Max E3-Sat the average case performances are experimentally compared with other optimization techniques.