Table of Contents
Fetching ...

Theoretical and Empirical Analysis of Lehmer Codes to Search Permutation Spaces with Evolutionary Algorithms

Yuxuan Ma, Valentino Santucci, Carsten Witt

TL;DR

This work compares the efficiency of inversion vector encodings to the classical representation and gives theory-guided advice on their choice, and links the effect of local changes in the inversion code space to classical measures on permutations like the number of inversions.

Abstract

A suitable choice of the representation of candidate solutions is crucial for the efficiency of evolutionary algorithms and related metaheuristics. We focus on problems in permutation spaces, which are at the core of numerous practical applications of such algorithms, e.g. in scheduling and transportation. Inversion vectors (also called Lehmer codes) are an alternative representation of the permutation space $S_n$ compared to the classical encoding as a vector of $n$ unique entries. In particular, they do not require any constraint handling. Using rigorous mathematical runtime analyses, we compare the efficiency of inversion vector encodings to the classical representation and give theory-guided advice on their choice. Moreover, we link the effect of local changes in the inversion code space to classical measures on permutations like the number of inversions. Finally, through experimental studies on linear ordering and quadratic assignment problems, we demonstrate the practical efficiency of inversion vector encodings.

Theoretical and Empirical Analysis of Lehmer Codes to Search Permutation Spaces with Evolutionary Algorithms

TL;DR

This work compares the efficiency of inversion vector encodings to the classical representation and gives theory-guided advice on their choice, and links the effect of local changes in the inversion code space to classical measures on permutations like the number of inversions.

Abstract

A suitable choice of the representation of candidate solutions is crucial for the efficiency of evolutionary algorithms and related metaheuristics. We focus on problems in permutation spaces, which are at the core of numerous practical applications of such algorithms, e.g. in scheduling and transportation. Inversion vectors (also called Lehmer codes) are an alternative representation of the permutation space compared to the classical encoding as a vector of unique entries. In particular, they do not require any constraint handling. Using rigorous mathematical runtime analyses, we compare the efficiency of inversion vector encodings to the classical representation and give theory-guided advice on their choice. Moreover, we link the effect of local changes in the inversion code space to classical measures on permutations like the number of inversions. Finally, through experimental studies on linear ordering and quadratic assignment problems, we demonstrate the practical efficiency of inversion vector encodings.

Paper Structure

This paper contains 18 sections, 25 theorems, 92 equations, 2 figures, 3 tables, 3 algorithms.

Key Result

Lemma 1

For any $\sigma\in S_n$, let $L:S_n\rightarrow L_n$ denote the bijection which is defined before, then $\textsc{LO}(\sigma)=\textsc{LZ}(L(\sigma))$ and $\textsc{LexVal}(\sigma)=\textsc{FacVal}(L(\sigma))$.

Figures (2)

  • Figure 1: Summary of the results obtained in the experiments on theoretical benchmark functions.
  • Figure 2: Summary of the results obtained in the experiments on LOP and QAP.

Theorems & Definitions (46)

  • Definition 1
  • Lemma 1
  • Lemma 2
  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Theorem 5
  • Theorem 6
  • Theorem 7
  • ...and 36 more