Algoritmos evolutivos distribuidos: propuestas que combinan prevención de incesto y multiplicidad

En la actualidad los algoritmos evolutivos (AEs) se usan para buscar soluciones a problemas complejos para los cuales otras técnicas pueden insumir mucho tiempo y que, por lo general, proveen una única solución óptima. Distintos avances sobre los AEs incluyen técnicas para prevenir el incesto y nuevos métodos de multirecombinación. Algunos de los métodos de multirecombinación permiten múltiples crossovers sobre una pareja seleccionada para la cruza, y otros los aplican sobre un conjunto de más de dos padres. La inclusión del paralelismo y la distribución en el diseño de los AEs ha sido muy importante dando lugar a mecanismos de búsqueda y optimización mejorados: algoritmos evolutivos paralelos. Esto permite disponer de una mayor cantidad de recursos computacionales para alcanzar los resultados de forma más rápida por medio de un trabajo cooperativo. El presente trabajo muestra cómo estas tendencias pueden resolver un problema de optimización complejo, en este caso el 3-SAT, de forma más eficiente y eficaz.Eje: V - Workshop de agentes y sistemas inteligentesRed de Universidades con Carreras en Informática (RedUNCI

Algoritmos evolutivos distribuidos: propuestas que combinan prevención de incesto y multiplicidad

En la actualidad los algoritmos evolutivos (AEs) se usan para buscar soluciones a problemas complejos para los cuales otras técnicas pueden insumir mucho tiempo y que, por lo general, proveen una única solución óptima. Distintos avances sobre los AEs incluyen técnicas para prevenir el incesto y nuevos métodos de multirecombinación. Algunos de los métodos de multirecombinación permiten múltiples crossovers sobre una pareja seleccionada para la cruza, y otros los aplican sobre un conjunto de más de dos padres. La inclusión del paralelismo y la distribución en el diseño de los AEs ha sido muy importante dando lugar a mecanismos de búsqueda y optimización mejorados: algoritmos evolutivos paralelos. Esto permite disponer de una mayor cantidad de recursos computacionales para alcanzar los resultados de forma más rápida por medio de un trabajo cooperativo. El presente trabajo muestra cómo estas tendencias pueden resolver un problema de optimización complejo, en este caso el 3-SAT, de forma más eficiente y eficaz.Eje: V - Workshop de agentes y sistemas inteligentesRed de Universidades con Carreras en Informática (RedUNCI

A Clausal Genetic Representation and Its Evolutionary Procedures for Satisfiability Problems

This paper presents a clausal genetic representation for the satisfiability problem (SAT). This representation, CR for short, aims to conserve the intrinsical relations between variables for a given SAT instance. Based on CR, a set of evolutionary algorithms (EAs) are defined. In particular, a class of hybrid EAs integrating local search into evolutionary operators are detailed. Various fitness functions for measuring clausal individuals are identified and their relative merits analyzed. Some preliminary resluts are reported. 1. Introduction The satisfiability problem or SAT [3] is of great importance in computer science both in theory and in practice. The statement of the problem is very simple. Given a well-formed boolean formula F in its conjunctive normal form (CNF) 1 , is there a truth assignment that satisfies it? In theory, SAT is at the very core of NP-complete problems. In practice, many applications can be formulated with it. One important topic related to SAT is to find su..

A CLAUSAL GENETIC REPRESENTATION AND ITS EVOLUTIONARY PROCEDURES FOR SATISFIABILITY PROBLEMS

This paper presents a clausal genetic representation for the satisfiability problem (SAT). This representation, CR for short, aims to conserve the intrinsical relations between variables for a given SAT instance. Based on CR, a set of evolutionary algorithms (EAs) are defined. In particular, a class of hybrid EAs integrating local search into evolutionary operators are detailed. Various fitness functions for measuring clausal individuals are identified and their relative merits analyzed. Some preliminary resluts are reported