Free cookie consent management tool by TermsFeed Policy Generator

source: branches/PersistenceOverhaul/HeuristicLab.Algorithms.TabuSearch/3.3/TabuSearchMainLoop.cs @ 17021

Last change on this file since 17021 was 14711, checked in by gkronber, 8 years ago

#2520

  • renamed StorableClass -> StorableType
  • changed persistence to use GUIDs instead of type names
File size: 15.4 KB
RevLine 
[13368]1#region License Information
[3044]2/* HeuristicLab
[12012]3 * Copyright (C) 2002-2015 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
[3044]4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using HeuristicLab.Analysis;
[4722]23using HeuristicLab.Common;
[3044]24using HeuristicLab.Core;
25using HeuristicLab.Data;
26using HeuristicLab.Operators;
[3226]27using HeuristicLab.Optimization.Operators;
[3044]28using HeuristicLab.Parameters;
29using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;
30using HeuristicLab.Selection;
31
[3100]32namespace HeuristicLab.Algorithms.TabuSearch {
[3044]33  /// <summary>
34  /// An operator which represents a tabu search.
35  /// </summary>
[3100]36  [Item("TabuSearchMainLoop", "An operator which represents the main loop of a tabu search.")]
[14711]37  [StorableType("2F824EB2-1EBF-4D3E-95DF-C143AF9947A0")]
[3141]38  public sealed class TabuSearchMainLoop : AlgorithmOperator {
[3044]39    #region Parameter properties
40    public ValueLookupParameter<IRandom> RandomParameter {
41      get { return (ValueLookupParameter<IRandom>)Parameters["Random"]; }
42    }
[3048]43    public ValueLookupParameter<BoolValue> MaximizationParameter {
44      get { return (ValueLookupParameter<BoolValue>)Parameters["Maximization"]; }
[3044]45    }
[3074]46    public LookupParameter<DoubleValue> QualityParameter {
47      get { return (LookupParameter<DoubleValue>)Parameters["Quality"]; }
[3044]48    }
[3141]49    public ValueLookupParameter<DoubleValue> BestKnownQualityParameter {
50      get { return (ValueLookupParameter<DoubleValue>)Parameters["BestKnownQuality"]; }
51    }
[3074]52    public LookupParameter<DoubleValue> MoveQualityParameter {
53      get { return (LookupParameter<DoubleValue>)Parameters["MoveQuality"]; }
54    }
[3104]55    public LookupParameter<BoolValue> MoveTabuParameter {
56      get { return (LookupParameter<BoolValue>)Parameters["MoveTabu"]; }
57    }
[3048]58    public ValueLookupParameter<IntValue> MaximumIterationsParameter {
59      get { return (ValueLookupParameter<IntValue>)Parameters["MaximumIterations"]; }
[3044]60    }
[3048]61    public ValueLookupParameter<IntValue> TabuTenureParameter {
62      get { return (ValueLookupParameter<IntValue>)Parameters["TabuTenure"]; }
[3044]63    }
64    public ValueLookupParameter<IOperator> MoveGeneratorParameter {
65      get { return (ValueLookupParameter<IOperator>)Parameters["MoveGenerator"]; }
66    }
[3074]67    public ValueLookupParameter<IOperator> MoveEvaluatorParameter {
68      get { return (ValueLookupParameter<IOperator>)Parameters["MoveEvaluator"]; }
[3044]69    }
[3074]70    public ValueLookupParameter<IOperator> MoveMakerParameter {
71      get { return (ValueLookupParameter<IOperator>)Parameters["MoveMaker"]; }
[3044]72    }
[3340]73    public ValueLookupParameter<IOperator> TabuCheckerParameter {
74      get { return (ValueLookupParameter<IOperator>)Parameters["TabuChecker"]; }
[3044]75    }
[3340]76    public ValueLookupParameter<IOperator> TabuMakerParameter {
77      get { return (ValueLookupParameter<IOperator>)Parameters["TabuMaker"]; }
[3044]78    }
[3636]79    public ValueLookupParameter<IOperator> AnalyzerParameter {
80      get { return (ValueLookupParameter<IOperator>)Parameters["Analyzer"]; }
[3044]81    }
[3141]82    public ValueLookupParameter<VariableCollection> ResultsParameter {
83      get { return (ValueLookupParameter<VariableCollection>)Parameters["Results"]; }
84    }
[5356]85    public LookupParameter<IntValue> EvaluatedMovesParameter {
86      get { return (LookupParameter<IntValue>)Parameters["EvaluatedMoves"]; }
87    }
[3044]88    #endregion
89
[3145]90    [StorableConstructor]
[4722]91    private TabuSearchMainLoop(bool deserializing) : base(deserializing) { }
[3100]92    public TabuSearchMainLoop()
[3044]93      : base() {
[3145]94      Initialize();
95    }
[4722]96    private TabuSearchMainLoop(TabuSearchMainLoop original, Cloner cloner)
97      : base(original, cloner) {
98    }
99    public override IDeepCloneable Clone(Cloner cloner) {
100      return new TabuSearchMainLoop(this, cloner);
101    }
[3145]102
[5160]103    [StorableHook(HookType.AfterDeserialization)]
104    private void AfterDeserialization() {
[5162]105      // BackwardsCompatibility3.3
106      #region Backwards compatible code, remove with 3.4
[5160]107      VariableCreator variableCreator = OperatorGraph.InitialOperator as VariableCreator;
108
109      if (variableCreator != null) {
110        if (!variableCreator.CollectedValues.ContainsKey("Memories")) {
111          variableCreator.CollectedValues.Add(new ValueParameter<VariableCollection>("Memories", new VariableCollection()));
112        }
113      }
114      #endregion
115    }
116
[3145]117    private void Initialize() {
[3044]118      #region Create parameters
119      Parameters.Add(new ValueLookupParameter<IRandom>("Random", "A pseudo random number generator."));
[3048]120      Parameters.Add(new ValueLookupParameter<BoolValue>("Maximization", "True if the problem is a maximization problem, otherwise false."));
[3074]121      Parameters.Add(new LookupParameter<DoubleValue>("Quality", "The value which represents the quality of a solution."));
[3141]122      Parameters.Add(new ValueLookupParameter<DoubleValue>("BestKnownQuality", "The best known quality value found so far."));
[3074]123      Parameters.Add(new LookupParameter<DoubleValue>("MoveQuality", "The value which represents the quality of a move."));
[3104]124      Parameters.Add(new LookupParameter<BoolValue>("MoveTabu", "The value that indicates if a move is tabu or not."));
[3048]125      Parameters.Add(new ValueLookupParameter<IntValue>("MaximumIterations", "The maximum number of generations which should be processed."));
126      Parameters.Add(new ValueLookupParameter<IntValue>("TabuTenure", "The length of the tabu list, and also means the number of iterations a move is kept tabu"));
[3145]127
[3044]128      Parameters.Add(new ValueLookupParameter<IOperator>("MoveGenerator", "The operator that generates the moves."));
129      Parameters.Add(new ValueLookupParameter<IOperator>("MoveMaker", "The operator that performs a move and updates the quality."));
[3074]130      Parameters.Add(new ValueLookupParameter<IOperator>("MoveEvaluator", "The operator that evaluates a move."));
[3340]131      Parameters.Add(new ValueLookupParameter<IOperator>("TabuChecker", "The operator that checks whether a move is tabu."));
132      Parameters.Add(new ValueLookupParameter<IOperator>("TabuMaker", "The operator that declares a move tabu."));
[3044]133
[3809]134      Parameters.Add(new ValueLookupParameter<IOperator>("Analyzer", "The operator used to analyze the solution and moves."));
[3141]135      Parameters.Add(new ValueLookupParameter<VariableCollection>("Results", "The variable collection where results should be stored."));
[5356]136      Parameters.Add(new LookupParameter<IntValue>("EvaluatedMoves", "The number of evaluated moves."));
[3044]137      #endregion
138
139      #region Create operators
140      VariableCreator variableCreator = new VariableCreator();
[3636]141      SubScopesProcessor subScopesProcessor0 = new SubScopesProcessor();
142      Assigner bestQualityInitializer = new Assigner();
143      Placeholder analyzer1 = new Placeholder();
144      ResultsCollector resultsCollector1 = new ResultsCollector();
[3521]145      SubScopesProcessor solutionProcessor = new SubScopesProcessor();
[3044]146      Placeholder moveGenerator = new Placeholder();
[3193]147      UniformSubScopesProcessor moveEvaluationProcessor = new UniformSubScopesProcessor();
[3074]148      Placeholder moveEvaluator = new Placeholder();
[3340]149      Placeholder tabuChecker = new Placeholder();
[5354]150      SubScopesCounter subScopesCounter = new SubScopesCounter();
[3044]151      SubScopesSorter moveQualitySorter = new SubScopesSorter();
152      TabuSelector tabuSelector = new TabuSelector();
[3195]153      ConditionalBranch emptyNeighborhoodBranch1 = new ConditionalBranch();
[3521]154      SubScopesProcessor moveMakingProcessor = new SubScopesProcessor();
[3809]155      UniformSubScopesProcessor selectedMoveMakingProcesor = new UniformSubScopesProcessor();
[3340]156      Placeholder tabuMaker = new Placeholder();
[3044]157      Placeholder moveMaker = new Placeholder();
[3809]158      MergingReducer mergingReducer = new MergingReducer();
159      Placeholder analyzer2 = new Placeholder();
[3521]160      SubScopesRemover subScopesRemover = new SubScopesRemover();
[3195]161      ConditionalBranch emptyNeighborhoodBranch2 = new ConditionalBranch();
[3636]162      BestQualityMemorizer bestQualityUpdater = new BestQualityMemorizer();
[3044]163      IntCounter iterationsCounter = new IntCounter();
164      Comparator iterationsComparator = new Comparator();
165      ConditionalBranch iterationsTermination = new ConditionalBranch();
166
[3750]167      variableCreator.CollectedValues.Add(new ValueParameter<IntValue>("Iterations", new IntValue(0))); // Class TabuSearch expects this to be called Iterations
[3195]168      variableCreator.CollectedValues.Add(new ValueParameter<BoolValue>("EmptyNeighborhood", new BoolValue(false)));
[3636]169      variableCreator.CollectedValues.Add(new ValueParameter<ItemList<IItem>>("TabuList", new ItemList<IItem>()));
[5160]170      variableCreator.CollectedValues.Add(new ValueParameter<VariableCollection>("Memories", new VariableCollection()));
[3636]171      variableCreator.CollectedValues.Add(new ValueParameter<DoubleValue>("BestQuality", new DoubleValue(0)));
[3044]172
[3636]173      bestQualityInitializer.Name = "Initialize BestQuality";
174      bestQualityInitializer.LeftSideParameter.ActualName = "BestQuality";
175      bestQualityInitializer.RightSideParameter.ActualName = QualityParameter.Name;
[3141]176
[3636]177      analyzer1.Name = "Analyzer (placeholder)";
178      analyzer1.OperatorParameter.ActualName = AnalyzerParameter.Name;
[3679]179
180      resultsCollector1.CopyValue = new BoolValue(false);
[3636]181      resultsCollector1.CollectedValues.Add(new LookupParameter<IntValue>("Iterations"));
182      resultsCollector1.CollectedValues.Add(new LookupParameter<DoubleValue>("Best Quality", null, "BestQuality"));
183      resultsCollector1.ResultsParameter.ActualName = ResultsParameter.Name;
[3044]184
185      moveGenerator.Name = "MoveGenerator (placeholder)";
[3141]186      moveGenerator.OperatorParameter.ActualName = MoveGeneratorParameter.Name;
[3044]187
[5354]188      moveEvaluationProcessor.Parallel = new BoolValue(true);
189
[3074]190      moveEvaluator.Name = "MoveEvaluator (placeholder)";
[3141]191      moveEvaluator.OperatorParameter.ActualName = MoveEvaluatorParameter.Name;
[3044]192
[3340]193      tabuChecker.Name = "TabuChecker (placeholder)";
194      tabuChecker.OperatorParameter.ActualName = TabuCheckerParameter.Name;
[3044]195
[5354]196      subScopesCounter.Name = "Increment EvaluatedMoves";
[5356]197      subScopesCounter.ValueParameter.ActualName = EvaluatedMovesParameter.Name;
[5354]198
[3141]199      moveQualitySorter.DescendingParameter.ActualName = MaximizationParameter.Name;
200      moveQualitySorter.ValueParameter.ActualName = MoveQualityParameter.Name;
[3044]201
[3521]202      tabuSelector.AspirationParameter.Value = new BoolValue(true);
203      tabuSelector.BestQualityParameter.ActualName = "BestQuality";
204      tabuSelector.CopySelected = new BoolValue(false);
205      tabuSelector.EmptyNeighborhoodParameter.ActualName = "EmptyNeighborhood";
206      tabuSelector.MaximizationParameter.ActualName = MaximizationParameter.Name;
207      tabuSelector.MoveQualityParameter.ActualName = MoveQualityParameter.Name;
208      tabuSelector.MoveTabuParameter.ActualName = MoveTabuParameter.Name;
[4068]209
[3193]210      moveMakingProcessor.Name = "MoveMaking processor (UniformSubScopesProcessor)";
[3044]211
[3195]212      emptyNeighborhoodBranch1.Name = "Neighborhood empty?";
213      emptyNeighborhoodBranch1.ConditionParameter.ActualName = "EmptyNeighborhood";
214
[3340]215      tabuMaker.Name = "TabuMaker (placeholder)";
216      tabuMaker.OperatorParameter.ActualName = TabuMakerParameter.Name;
[3044]217
218      moveMaker.Name = "MoveMaker (placeholder)";
[3141]219      moveMaker.OperatorParameter.ActualName = MoveMakerParameter.Name;
[3044]220
[3809]221      analyzer2.Name = "Analyzer (placeholder)";
222      analyzer2.OperatorParameter.ActualName = AnalyzerParameter.Name;
223
[3521]224      subScopesRemover.RemoveAllSubScopes = true;
[3044]225
[3636]226      bestQualityUpdater.Name = "Update BestQuality";
227      bestQualityUpdater.MaximizationParameter.ActualName = MaximizationParameter.Name;
228      bestQualityUpdater.QualityParameter.ActualName = QualityParameter.Name;
229      bestQualityUpdater.BestQualityParameter.ActualName = "BestQuality";
230
[3044]231      iterationsCounter.Name = "Iterations Counter";
[3048]232      iterationsCounter.Increment = new IntValue(1);
[3044]233      iterationsCounter.ValueParameter.ActualName = "Iterations";
234
[3143]235      iterationsComparator.Name = "Iterations >= MaximumIterations";
236      iterationsComparator.Comparison = new Comparison(ComparisonType.GreaterOrEqual);
[3044]237      iterationsComparator.LeftSideParameter.ActualName = "Iterations";
[3141]238      iterationsComparator.RightSideParameter.ActualName = MaximumIterationsParameter.Name;
[3143]239      iterationsComparator.ResultParameter.ActualName = "Terminate";
[3044]240
[3521]241      emptyNeighborhoodBranch2.Name = "Neighborhood empty?";
242      emptyNeighborhoodBranch2.ConditionParameter.ActualName = "EmptyNeighborhood";
243
[3044]244      iterationsTermination.Name = "Iterations Termination Condition";
[3143]245      iterationsTermination.ConditionParameter.ActualName = "Terminate";
[3044]246      #endregion
247
248      #region Create operator graph
[3636]249      OperatorGraph.InitialOperator = variableCreator;
250      variableCreator.Successor = subScopesProcessor0;
251      subScopesProcessor0.Operators.Add(bestQualityInitializer);
252      subScopesProcessor0.Successor = resultsCollector1;
[3809]253      bestQualityInitializer.Successor = analyzer1;
254      analyzer1.Successor = null;
[5354]255      resultsCollector1.Successor = solutionProcessor;
[3521]256      solutionProcessor.Operators.Add(moveGenerator);
257      solutionProcessor.Successor = iterationsCounter;
[3044]258      moveGenerator.Successor = moveEvaluationProcessor;
[3074]259      moveEvaluationProcessor.Operator = moveEvaluator;
[5354]260      moveEvaluationProcessor.Successor = subScopesCounter;
261      moveEvaluator.Successor = tabuChecker;
[3340]262      tabuChecker.Successor = null;
[5354]263      subScopesCounter.Successor = moveQualitySorter;
[3636]264      moveQualitySorter.Successor = tabuSelector;
[3195]265      tabuSelector.Successor = emptyNeighborhoodBranch1;
[3809]266      emptyNeighborhoodBranch1.FalseBranch = moveMakingProcessor;
[3195]267      emptyNeighborhoodBranch1.TrueBranch = null;
[3521]268      emptyNeighborhoodBranch1.Successor = subScopesRemover;
[3809]269      moveMakingProcessor.Operators.Add(new EmptyOperator());
270      moveMakingProcessor.Operators.Add(selectedMoveMakingProcesor);
271      moveMakingProcessor.Successor = mergingReducer;
272      selectedMoveMakingProcesor.Operator = tabuMaker;
273      selectedMoveMakingProcesor.Successor = null;
[3340]274      tabuMaker.Successor = moveMaker;
[3141]275      moveMaker.Successor = null;
[3809]276      mergingReducer.Successor = analyzer2;
277      analyzer2.Successor = null;
[3521]278      subScopesRemover.Successor = null;
[3044]279      iterationsCounter.Successor = iterationsComparator;
[5354]280      iterationsComparator.Successor = emptyNeighborhoodBranch2;
[3521]281      emptyNeighborhoodBranch2.TrueBranch = null;
282      emptyNeighborhoodBranch2.FalseBranch = iterationsTermination;
283      emptyNeighborhoodBranch2.Successor = null;
[3143]284      iterationsTermination.TrueBranch = null;
[3521]285      iterationsTermination.FalseBranch = solutionProcessor;
[3044]286      #endregion
287    }
[3715]288
289    public override IOperation Apply() {
290      if (MoveGeneratorParameter.ActualValue == null || MoveEvaluatorParameter.ActualValue == null || MoveMakerParameter.ActualValue == null
291        || TabuCheckerParameter.ActualValue == null || TabuMakerParameter.ActualValue == null)
292        return null;
293      return base.Apply();
294    }
[3044]295  }
296}
Note: See TracBrowser for help on using the repository browser.