Memetic algorithm

Inspired by both Darwinian principles of natural evolution and Dawkins' notion of a meme, the term memetic algorithm (MA) was introduced by Pablo Moscato in his technical report^[1] in 1989 where he viewed MA as being close to a form of population-based hybrid genetic algorithm (GA) coupled with an individual learning procedure capable of performing local refinements. The metaphorical parallels, on the one hand, to Darwinian evolution and, on the other hand, between memes and domain specific (local search) heuristics are captured within memetic algorithms thus rendering a methodology that balances well between generality and problem specificity. This two-stage nature makes them a special case of dual-phase evolution.

In the context of complex optimization, many different instantiations of memetic algorithms have been reported across a wide range of application domains, in general, converging to high-quality solutions more efficiently than their conventional evolutionary counterparts.^[2]

In general, using the ideas of memetics within a computational framework is called memetic computing or memetic computation (MC).^[3][4] With MC, the traits of universal Darwinism are more appropriately captured. Viewed in this perspective, MA is a more constrained notion of MC. More specifically, MA covers one area of MC, in particular dealing with areas of evolutionary algorithms that marry other deterministic refinement techniques for solving optimization problems. MC extends the notion of memes to cover conceptual entities of knowledge-enhanced procedures or representations.

The no-free-lunch theorems of optimization and search^[5][6] state that all optimization strategies are equally effective with respect to the set of all optimization problems. Conversely, this means that one can expect the following: The more efficiently an algorithm solves a problem or class of problems, the less general it is and the more problem-specific knowledge it builds on. This insight leads directly to the recommendation to complement generally applicable metaheuristics with application-specific methods or heuristics,^[7] which fits well with the concept of MAs.

Pablo Moscato characterized an MA as follows: "Memetic algorithms are a marriage between a population-based global search and the heuristic local search made by each of the individuals. ... The mechanisms to do local search can be to reach a local optimum or to improve (regarding the objective cost function) up to a predetermined level." And he emphasizes "I am not constraining an MA to a genetic representation.".^{[1]: 19–20} This original definition of MA although encompasses characteristics of cultural evolution (in the form of local refinement) in the search cycle, it may not qualify as a true evolving system according to universal Darwinism, since all the core principles of inheritance/memetic transmission, variation, and selection are missing. This suggests why the term MA stirred up criticisms and controversies among researchers when first introduced.^[1] The following pseudo code would correspond to this general definition of an MA:

Pseudo code

   Procedure Memetic Algorithm
   Initialize: Generate an initial population, evaluate the individuals and assign a quality value to them;
   while Stopping conditions are not satisfied do
       Evolve a new population using stochastic search operators.
       Evaluate all individuals in the population and assign a quality value to them.
       Select the subset of individuals, ${\displaystyle \Omega _{il}}$, that should undergo the individual improvement procedure.
       for each individual in ${\displaystyle \Omega _{il}}$ do
           Perform individual learning using meme(s) with frequency or probability of ${\displaystyle f_{il}}$, with an intensity of ${\displaystyle t_{il}}$.
           Proceed with Lamarckian or Baldwinian learning.
       end for
   end while

Lamarckian learning in this context means to update the chromosome according to the improved solution found by the individual learning step, while Baldwinian learning leaves the chromosome unchanged and uses only the improved fitness. This pseudo code leaves open which steps are based on the fitness of the individuals and which are not. In question are the evolving of the new population and the selection of ${\displaystyle \Omega _{il}}$.

Since most MA implementations are based on EAs, the pseudo code of a corresponding representative of the first generation is also given here, following Krasnogor:^[8]

Pseudo code

   Procedure Memetic Algorithm Based on an EA
   Initialization: ${\displaystyle t=0}$;  // Initialization of the generation counter
                   Randomly generate an initial population ${\displaystyle P(t)}$;
                   Compute the fitness ${\displaystyle f(p)\ \ \forall p\in P(t)}$;
   while Stopping conditions are not satisfied do
       Selection:  Accordingly to ${\displaystyle f(p)}$ choose a subset of ${\displaystyle P(t)}$ and store it in ${\displaystyle M(t)}$;
       Offspring: Recombine and mutate individuals ${\displaystyle p\in M(t)}$ and store them in ${\displaystyle M'(t)}$;
       Learning: Improve ${\displaystyle p'}$ by local search or heuristic ${\displaystyle \forall p'\in M'(t)}$;
       Evaluation: Compute the fitness ${\displaystyle f(p')\ \ \forall p'\in M'(t)}$;
       if Lamarckian learning then
          Update chromosome of ${\displaystyle p'}$ according to improvement ${\displaystyle \forall p'\in M'(t)}$;
       fi
       New generation: Generate ${\displaystyle P(t+1)}$ by selecting some individuals from ${\displaystyle P(t)}$ and ${\displaystyle M'(t)}$;
       ${\displaystyle t=t+1}$;  // Increment the generation counter
   end while
   Return best individual ${\displaystyle p\in P(t-1)}$ as result;

There are some alternatives for this MA scheme. For example:

• All or some of the initial individuals may be improved by the meme(s).
• The parents may be locally improved instead of the offspring.
• Instead of all offspring, only a randomly selected or fitness-dependent fraction may undergo local improvement. The latter requires the evaluation of the offspring in ${\displaystyle M'(t)}$ prior to the Learning step.

Multi-meme,^[9] hyper-heuristic^[10][11] and meta-Lamarckian MA^[12][13] are referred to as second generation MA exhibiting the principles of memetic transmission and selection in their design. In Multi-meme MA, the memetic material is encoded as part of the genotype. Subsequently, the decoded meme of each respective individual/chromosome is then used to perform a local refinement. The memetic material is then transmitted through a simple inheritance mechanism from parent to offspring(s). On the other hand, in hyper-heuristic and meta-Lamarckian MA, the pool of candidate memes considered will compete, based on their past merits in generating local improvements through a reward mechanism, deciding on which meme to be selected to proceed for future local refinements. Memes with a higher reward have a greater chance of continuing to be used. For a review on second generation MA; i.e., MA considering multiple individual learning methods within an evolutionary system, the reader is referred to.^[14]

Co-evolution^[15] and self-generating MAs^[16] may be regarded as 3rd generation MA where all three principles satisfying the definitions of a basic evolving system have been considered. In contrast to 2nd generation MA which assumes that the memes to be used are known a priori, 3rd generation MA utilizes a rule-based local search to supplement candidate solutions within the evolutionary system, thus capturing regularly repeated features or patterns in the problem space.

Memetic algorithms have been successfully applied to a multitude of real-world problems. Although many people employ techniques closely related to memetic algorithms, alternative names such as hybrid genetic algorithms are also employed.

Researchers have used memetic algorithms to tackle many classical NP problems. To cite some of them: graph partitioning, multidimensional knapsack, travelling salesman problem, quadratic assignment problem, set cover problem, minimal graph coloring, max independent set problem, bin packing problem, and generalized assignment problem.

More recent applications include (but are not limited to) business analytics and data science,^[2] training of artificial neural networks,^[26] pattern recognition,^[27] robotic motion planning,^[28] beam orientation,^[29] circuit design,^[30] electric service restoration,^[31] medical expert systems,^[32] single machine scheduling,^[33] automatic timetabling (notably, the timetable for the NHL),^[34] manpower scheduling,^[35] nurse rostering optimisation,^[36] processor allocation,^[37] maintenance scheduling (for example, of an electric distribution network),^[38] scheduling of multiple workflows to constrained heterogeneous resources,^[39] multidimensional knapsack problem,^[40] VLSI design,^[41] clustering of gene expression profiles,^[42] feature/gene selection,^[43][44] parameter determination for hardware fault injection,^[45] and multi-class, multi-objective feature selection.^[46][47]

• IEEE Workshop on Memetic Algorithms (WOMA 2009). Program Chairs: Jim Smith, University of the West of England, U.K.; Yew-Soon Ong, Nanyang Technological University, Singapore; Gustafson Steven, University of Nottingham; U.K.; Meng Hiot Lim, Nanyang Technological University, Singapore; Natalio Krasnogor, University of Nottingham, U.K.
• Memetic Computing Journal, first issue appeared in January 2009.
• 2008 IEEE World Congress on Computational Intelligence (WCCI 2008), Hong Kong, Special Session on Memetic Algorithms.
• Special Issue on 'Emerging Trends in Soft Computing - Memetic Algorithm' Archived 2011-09-27 at the Wayback Machine, Soft Computing Journal, Completed & In Press, 2008.
• IEEE Computational Intelligence Society Emergent Technologies Task Force on Memetic Computing Archived 2011-09-27 at the Wayback Machine
• IEEE Congress on Evolutionary Computation (CEC 2007), Singapore, Special Session on Memetic Algorithms.
• 'Memetic Computing' by Thomson Scientific's Essential Science Indicators as an Emerging Front Research Area.
• Special Issue on Memetic Algorithms, IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, Vol. 37, No. 1, February 2007.
• Recent Advances in Memetic Algorithms, Series: Studies in Fuzziness and Soft Computing, Vol. 166, ISBN 978-3-540-22904-9, 2005.
• Special Issue on Memetic Algorithms, Evolutionary Computation Fall 2004, Vol. 12, No. 3: v-vi.