All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.cicirello.search.evo.TruncationSelection Maven / Gradle / Ivy

Go to download

Chips-n-Salsa is a Java library of customizable, hybridizable, iterative, parallel, stochastic, and self-adaptive local search algorithms. The library includes implementations of several stochastic local search algorithms, including simulated annealing, hill climbers, as well as constructive search algorithms such as stochastic sampling. Chips-n-Salsa now also includes genetic algorithms as well as evolutionary algorithms more generally. The library very extensively supports simulated annealing. It includes several classes for representing solutions to a variety of optimization problems. For example, the library includes a BitVector class that implements vectors of bits, as well as classes for representing solutions to problems where we are searching for an optimal vector of integers or reals. For each of the built-in representations, the library provides the most common mutation operators for generating random neighbors of candidate solutions, as well as common crossover operators for use with evolutionary algorithms. Additionally, the library provides extensive support for permutation optimization problems, including implementations of many different mutation operators for permutations, and utilizing the efficiently implemented Permutation class of the JavaPermutationTools (JPT) library. Chips-n-Salsa is customizable, making extensive use of Java's generic types, enabling using the library to optimize other types of representations beyond what is provided in the library. It is hybridizable, providing support for integrating multiple forms of local search (e.g., using a hill climber on a solution generated by simulated annealing), creating hybrid mutation operators (e.g., local search using multiple mutation operators), as well as support for running more than one type of search for the same problem concurrently using multiple threads as a form of algorithm portfolio. Chips-n-Salsa is iterative, with support for multistart metaheuristics, including implementations of several restart schedules for varying the run lengths across the restarts. It also supports parallel execution of multiple instances of the same, or different, stochastic local search algorithms for an instance of a problem to accelerate the search process. The library supports self-adaptive search in a variety of ways, such as including implementations of adaptive annealing schedules for simulated annealing, such as the Modified Lam schedule, implementations of the simpler annealing schedules but which self-tune the initial temperature and other parameters, and restart schedules that adapt to run length.

There is a newer version: 7.0.1
Show newest version
/*
 * Chips-n-Salsa: A library of parallel self-adaptive local search algorithms.
 * Copyright (C) 2002-2021  Vincent A. Cicirello
 *
 * This file is part of Chips-n-Salsa (https://chips-n-salsa.cicirello.org/).
 *
 * Chips-n-Salsa is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * Chips-n-Salsa is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see .
 */

package org.cicirello.search.evo;

import org.cicirello.math.rand.RandomIndexer;

/**
 * This class implements truncation selection for evolutionary algorithms. In truncation selection,
 * the proportion p ∈ [0.0, 1.0) of the population with greatest fitness is determined.
 * Selection then proceeds randomly, with each member of the next generation chosen uniformly at
 * random from among the p*N members of the population with highest fitness, where N is the size of
 * the population. For example, if p=0.5, and if the population size N=100, then truncation
 * selection will select individuals uniformly at random from among the 50 population members with
 * highest fitness.
 *
 * 

Note that in this implementation, we modify the definition slightly, without loss of * generality. Specifically, rather than defining the operator in terms of a proportion, the * constructor of this class includes a parameter k, which is the absolute number of greatest * fitness population members to select from. For example, if population size is N, and if we want * the equivalent behavior for a proportion p=0.5, we would pass 50 for k. * *

This selection operator is compatible with all fitness functions, even in the case of negative * fitness values, since it simply compares which fitness values are higher. * *

The runtime to select M population members from a population of size N is O(N + M), which * includes generating O(M) random int values. In a typical generational model, M=N, and this is * simply O(N). Note that you will often see the runtime for truncation selection cited as O(N lg * N), mistakenly assuming that sorting the population by fitness is necessary. However, it is * possible to determine the k most fit members of the population without a full sort in O(N) time, * as we can partition the population into the set of the k most-fit and the set of the N-k least * fit using a modification of a typical order-statistics algorithm in linear time since we don't * actually need a total ordering over either of those sets. * * @author Vincent A. Cicirello, https://www.cicirello.org/ */ public final class TruncationSelection implements SelectionOperator { private final int k; /** * Constructs a truncation selection operator that selects uniformly at random from the k most fit * current members of the population. * * @param k The number of the most fit individuals to base selection upon. The value of k must be * at least 1. However, 1 is not likely to be a good choice since this means that all * offspring will be based upon the single most fit individual, which means crossover will * always lead to the same children. * @throws IllegalArgumentException if k is less than 1. */ public TruncationSelection(int k) { if (k < 1) throw new IllegalArgumentException(); this.k = k; } @Override public void select(PopulationFitnessVector.Integer fitnesses, int[] selected) { if (k < fitnesses.size()) { int[] selectFrom = initSelectFrom(fitnesses.size()); int truncateCount = selectFrom.length - k; internalSelect( bestFitToRight(fitnesses, selectFrom, 0, selectFrom.length - 1, truncateCount), selected, truncateCount); } else { internalSelect(selected, fitnesses.size()); } } @Override public void select(PopulationFitnessVector.Double fitnesses, int[] selected) { if (k < fitnesses.size()) { int[] selectFrom = initSelectFrom(fitnesses.size()); int truncateCount = selectFrom.length - k; internalSelect( bestFitToRight(fitnesses, selectFrom, 0, selectFrom.length - 1, truncateCount), selected, truncateCount); } else { internalSelect(selected, fitnesses.size()); } } @Override public TruncationSelection split() { // Since this selection operator maintains no mutable state, it is // safe for multiple threads to share a single instance, so just return this. return this; } private void internalSelect(int[] selectFrom, int[] selected, int truncateCount) { for (int i = 0; i < selected.length; i++) { selected[i] = selectFrom[truncateCount + RandomIndexer.nextInt(k)]; } } private void internalSelect(int[] selected, int n) { // case when k is at least as large as population... thus nothing truncated for (int i = 0; i < selected.length; i++) { selected[i] = RandomIndexer.nextInt(n); } } /* * package private to ease unit testing, but not actually used outside of this class. */ final int[] initSelectFrom(int n) { final int[] selectFrom = new int[n]; for (int i = 0; i < n; i++) { selectFrom[i] = i; } return selectFrom; } /* * package private to ease unit testing, but not actually used outside of this class. */ final int[] bestFitToRight( PopulationFitnessVector.Integer fitnesses, int[] indexes, int first, int last, int truncateCount) { if (last > first) { int pivot = partition(fitnesses, indexes, first, last); /* // This case shouldn't happen since partition puts everything <= to pivot to the left, // so no duplicates to right. while (pivot < truncateCount && fitnesses.getFitness(indexes[pivot]) == fitnesses.getFitness(indexes[pivot+1])) { pivot++; } */ while (pivot > truncateCount && fitnesses.getFitness(indexes[pivot]) == fitnesses.getFitness(indexes[pivot - 1])) { pivot--; } if (pivot < truncateCount) { return bestFitToRight(fitnesses, indexes, pivot + 1, last, truncateCount); } else if (pivot > truncateCount) { return bestFitToRight(fitnesses, indexes, first, pivot - 1, truncateCount); } } return indexes; } /* * package private to ease unit testing, but not actually used outside of this class. */ final int[] bestFitToRight( PopulationFitnessVector.Double fitnesses, int[] indexes, int first, int last, int truncateCount) { if (last > first) { int pivot = partition(fitnesses, indexes, first, last); /* // This case shouldn't happen since partition puts everything <= to pivot to the left, // so no duplicates to right. while (pivot < truncateCount && fitnesses.getFitness(indexes[pivot]) == fitnesses.getFitness(indexes[pivot+1])) { pivot++; } */ while (pivot > truncateCount && fitnesses.getFitness(indexes[pivot]) == fitnesses.getFitness(indexes[pivot - 1])) { pivot--; } if (pivot < truncateCount) { return bestFitToRight(fitnesses, indexes, pivot + 1, last, truncateCount); } else if (pivot > truncateCount) { return bestFitToRight(fitnesses, indexes, first, pivot - 1, truncateCount); } } return indexes; } private int partition( PopulationFitnessVector.Integer fitnesses, int[] indexes, int first, int last) { if (last > first + 1) { int m = indexOfMedian(fitnesses, indexes, first, last, (first + last) >> 1); int temp = indexes[m]; indexes[m] = indexes[last]; indexes[last] = temp; } int x = fitnesses.getFitness(indexes[last]); int i = first - 1; for (int j = first; j < last; j++) { if (fitnesses.getFitness(indexes[j]) <= x) { i++; int temp = indexes[i]; indexes[i] = indexes[j]; indexes[j] = temp; } } int temp = indexes[i + 1]; indexes[i + 1] = indexes[last]; indexes[last] = temp; return i + 1; } private int partition( PopulationFitnessVector.Double fitnesses, int[] indexes, int first, int last) { if (last > first + 1) { int m = indexOfMedian(fitnesses, indexes, first, last, (first + last) >> 1); int temp = indexes[m]; indexes[m] = indexes[last]; indexes[last] = temp; } double x = fitnesses.getFitness(indexes[last]); int i = first - 1; for (int j = first; j < last; j++) { if (fitnesses.getFitness(indexes[j]) <= x) { i++; int temp = indexes[i]; indexes[i] = indexes[j]; indexes[j] = temp; } } int temp = indexes[i + 1]; indexes[i + 1] = indexes[last]; indexes[last] = temp; return i + 1; } private int indexOfMedian( PopulationFitnessVector.Integer fitnesses, int[] indexes, int a, int b, int c) { if (isMedian(fitnesses, indexes, a, b, c)) return c; if (isMedian(fitnesses, indexes, b, c, a)) return a; return b; } private int indexOfMedian( PopulationFitnessVector.Double fitnesses, int[] indexes, int a, int b, int c) { if (isMedian(fitnesses, indexes, a, b, c)) return c; if (isMedian(fitnesses, indexes, b, c, a)) return a; return b; } private boolean isMedian( PopulationFitnessVector.Integer fitnesses, int[] indexes, int other1, int other2, int check) { return (fitnesses.getFitness(indexes[check]) >= fitnesses.getFitness(indexes[other1]) && fitnesses.getFitness(indexes[check]) <= fitnesses.getFitness(indexes[other2])) || (fitnesses.getFitness(indexes[check]) <= fitnesses.getFitness(indexes[other1]) && fitnesses.getFitness(indexes[check]) >= fitnesses.getFitness(indexes[other2])); } private boolean isMedian( PopulationFitnessVector.Double fitnesses, int[] indexes, int other1, int other2, int check) { return (fitnesses.getFitness(indexes[check]) >= fitnesses.getFitness(indexes[other1]) && fitnesses.getFitness(indexes[check]) <= fitnesses.getFitness(indexes[other2])) || (fitnesses.getFitness(indexes[check]) <= fitnesses.getFitness(indexes[other1]) && fitnesses.getFitness(indexes[check]) >= fitnesses.getFitness(indexes[other2])); } }





© 2015 - 2025 Weber Informatics LLC | Privacy Policy