Class TabuSearchOnConstrProb

java.lang.Object
org.tweetyproject.math.opt.solver.Solver
org.tweetyproject.math.opt.solver.TabuSearchOnConstrProb

public class TabuSearchOnConstrProb extends Solver
implements a simple Tabu Search without long term memory for optimization problems
Author:
Sebastian Franke
  • Constructor Details

    • TabuSearchOnConstrProb

      public TabuSearchOnConstrProb(int maxIteration, int tabuSize, int maxStepsWithNoImprove)
      Constructor
      Parameters:
      maxIteration - max iterations
      tabuSize - tabu size
      maxStepsWithNoImprove - max steps with no improvement
  • Method Details

    • chooseANeighbor

      public Map<Variable,Term> chooseANeighbor(Map<Variable,Term> currSol, int minIterations, int maxIterations, double threshold, Term t)
      Parameters:
      minIterations - : the minimum amount of solutions to be created
      maxIterations - : the maximum amount of solutions to be created
      threshold - : if a solution with the quality of threshold is reached we do maximum 10 more tries
      currSol - : the solution that every newly created solution uses as a initial solution in createNewSol
      Returns:
      the best solution that was found and is a mutant of currSol
    • solve

      Description copied from class: Solver
      Computes a solution to the given constraint satisfaction or optimization problem, i.e. a mapping from variables of the problem to terms.
      Specified by:
      solve in class Solver
      Parameters:
      problem - the actual problem
      Returns:
      a mapping from variables of the problem to terms.