GALOPPS 3.2

NEW FEATURES of Release 3.2

LAST UPDATED: February 20, 1997.

Release 3.2 includes many new capabilities and improvements. Directions for revising the app file for users of earlier GALOPPS releases are in file "changes.txt" in subdirectory docs.

Major new features of Release 3.2 include:

  • DELETED GRAPHICAL USER INTERFACE (optional):
    An optional new GRAPHICAL USER INTERFACE (GUI) for GALOPPS was written in Tcl/Tk, for use on Unix systems, for form-based generation of input files and graphical plotting of program output (fitness, convergence measures, etc.). However, its author departed before it was fully debugged, and it has been pulled from the distribution. A new JAVA-based GUI is now under development.
  • ARBITRARY-SIZED FIELDS, PRESERVED UNDER CROSSOVER AND MUTATION:
    Allows user to define "fields" of different sizes (and lengths), so that discrete variables of differing cardinalities can easily be used in the new GALOPPS Release 3.2. The DIFFERENCE is this:

    IN THE PAST, in order to represent integer or floating point variables (i.e., not binary choices), the user could specify either: a binary or "bit string" encoding (alpha_size = 2), and then break it up into different-sized fields, using functions like int2ithruj() to put a set of bits into an integer "index" and indextofloat() to generate a set of discrete real values between some lower and upper limits. However, in that case, crossover and mutation operated on the BIT level. That is, crossover in the middle of a field effectively performed a MUTATION at the same time (changing the value of the field at each crossover point), and the mutation operator generated ALL possible bit strings, so discretizations were practically confined to powers of two, unless the user "packed" and "unpacked" the bit string.
    OR
    an "alpha_size" > 2, which put fields of cardinality alpha_size onto the chromosome and preserved them under crossover and allowed only legal values to be created by mutation, but ALL FIELDS WERE OF SAME CARDINALITY.

    NOW: the user can also enter "1" as the alpha_size, which indicates that the actual size of each field is set in user-defined function app_set_field_sizes(), in the user's appxxxxx.c file. There, a global array, field_sizes[], can be set (MUST be set if alpha_size is entered < 2). The system then preserves these fields appropriately, crossing over only between fields, mutating only to legal values, etc. Even if the user employs INVERSION, GALOPPS tracks the rearrangements of the fields in each subpopulation, and automatically transforms the fields to the "standard" order used in the fitness (objective) function objfunc() before passing the individual to the fitness function for evaluation or before moving the individual to another subpopulation during migration. When inversion is in use, these transformations or remappings occur automatically, without user intervention.

  • BOLTZMANN SCALING of fitnesses:
    In addition to linear scaling, window scaling, and sigma-truncation, the user may now elect Boltzmann scaling of .init_fitnesses (raw fitnesses) to generate the (scaled) .fitness values actually used by the selection routines. This may be used "manually" (by specifying: autocontrol_selection = n and beta = (desired non-negative value for Boltzmann scaling). As with all scaling operations in GALOPPS, this puts the SCALED fitness value into the .fitness fields, and leaves the UNSCALED values in the .init_fitness fields. All selection methods in GALOPPS use the SCALED fitnesses (and if no scaling is done, .fitness values are set automatically to the raw .init_fitness values), just as in Goldberg's Simple Genetic Algorithm.
  • Boltzmann Scaling and AUTOCONTROL_SELECTION:
    Alternatively, GALOPPS Release 3.2 allows the user to elect "autocontrol_selection". The user must then specify (or use the automatic default for) beta_s_tilde. The automatic default is based on the work of Shapiro and Pruegel-Bennett, and is determined by using a recommended point on the graph of the ratio of the std. deviation of fitnesses (across one generation) versus beta_s. The value of beta_s_tilde is obtained by multiplying beta_s by sqrt(2 * log popsize). From beta_s_tilde, beta is defined as: beta_s_tilde / sqrt (std. dev. of scaled fitnesses). Beta, calculated in this way, tends to keep selection pressure roughly constant as the fitness distribution changes. If the suggested default for beta_s_tilde is accepted, Shapiro and Pruegel-Bennett suggest that it may tend to maximize the gain in mean fitness subject to not sharply decreasing the diversity of the population. Thus, if autocontrol_selection is y(es), GALOPPS calculates beta_s_tilde (based on popsize) once, and then rescales beta from it at each generation, using the current std. deviation of the scaled fitness distribution (after any migrants have entered the population). If autocontrol_selection is chosen, the selection function in suselect.c must be compiled in. That is Stochastic Universal Sampling, which then acts on the "optimally" Boltzmann-scaled values to sample the population quite accurately according to the Boltzmann-scaled probabilities.
  • MULTIPLE LOCUS MUTATION OPERATOR:
    Single-bit or single-locus mutation operators, applied at rates low enough NOT to interfere with beneficial crossover, selection, etc., CANNOT easily overcome even relatively simple deceptive problems, because no single-locus change can produce a beneficial effect, but multiple-locus mutations are very rare. Therefore, a Multiple Locus Mutation operator is introduced to GALOPPS. (Non-single-locus mutation operators are commonly used in evolution strategies, for example, which do not (classically) use crossover, so must perform all of their exploration by using much "smarter" mutation.) The multiple-locus mutation operator provided here (in multimut.c) is only for value-based (not permutation-type) problems. It uses two probability distributions: 1) the probability (per chromosome) that a mutation occurs on the chromosome, and 2) the expected number of adjacent loci randomly mutated (from a random starting point, and treating the chromosome as circular). This number is a Poisson-distributed random variable with expected value avg_mut_width. The user must set avg_mut_width in function app_set_options(), if user wants to use multimut.c. However, the mutation operator does not flip ALL loci in that range to new values -- it sets them at random, so that some may retain their former values, but any combination of them up to the width determined for the current mutation may be changed.
  • GGA (Grouping Genetic Algorithm) Representation and Operators Added
    A beta version of Emanuel Falkenauer's Grouping Genetic Algorithm, with an example demonstrating its use for bin packing, has been added. This implementation, by Brian Zulawinski, provides crossover and mutation operators for the GGA representation, usable for approximating solutions to many NP-complete problems, including bin packing, various types of assignment, partitioning, etc. It is not yet extensively documented, but has been used for solving makespan problems as well as bin packing.
  • SMALL "TWEAKS" to improve output:
    Release 3.2 has many small, incremental improvements in the output of the program -- for example, more thorough printing of all of the options selected by the user in app_set_options, printing of int version of chromosome when printstrings == y and chromosome is not binary, printing of migrants when quiet == 0, etc.


GALOPPS, Erik Goodman