Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.Algorithms.TS/3.3/TS.cs @ 3074

Last change on this file since 3074 was 3074, checked in by abeham, 15 years ago

updated tabu search #840
File size: 16.7 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
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 System;
23using System.Collections.Generic;
24using System.Linq;
25using HeuristicLab.Core;
26using HeuristicLab.Data;
27using HeuristicLab.Optimization;
28using HeuristicLab.Operators;
29using HeuristicLab.Optimization.Operators;
30using HeuristicLab.Parameters;
31using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;
32using HeuristicLab.PluginInfrastructure;
33
34namespace HeuristicLab.Algorithms.TS {
35  [Item("TS", "A tabu search algorithm.")]
36  [Creatable("Algorithms")]
37  public sealed class TS : EngineAlgorithm {
38    #region Problem Properties
39    public override Type ProblemType {
40      get { return typeof(ISingleObjectiveProblem); }
41    }
42    public new ISingleObjectiveProblem Problem {
43      get { return (ISingleObjectiveProblem)base.Problem; }
44      set { base.Problem = value; }
45    }
46    #endregion
47
48    #region Parameter Properties
49    private ValueParameter<IntValue> SeedParameter {
50      get { return (ValueParameter<IntValue>)Parameters["Seed"]; }
51    }
52    private ValueParameter<BoolValue> SetSeedRandomlyParameter {
53      get { return (ValueParameter<BoolValue>)Parameters["SetSeedRandomly"]; }
54    }
55    private ConstrainedValueParameter<IMoveGenerator> MoveGeneratorParameter {
56      get { return (ConstrainedValueParameter<IMoveGenerator>)Parameters["MoveGenerator"]; }
57    }
58    private ConstrainedValueParameter<IMoveMaker> MoveMakerParameter {
59      get { return (ConstrainedValueParameter<IMoveMaker>)Parameters["MoveMaker"]; }
60    }
61    private ConstrainedValueParameter<ISingleObjectiveMoveEvaluator> MoveEvaluatorParameter {
62      get { return (ConstrainedValueParameter<ISingleObjectiveMoveEvaluator>)Parameters["MoveEvaluator"]; }
63    }
64    private ConstrainedValueParameter<ITabuMoveEvaluator> TabuMoveEvaluatorParameter {
65      get { return (ConstrainedValueParameter<ITabuMoveEvaluator>)Parameters["TabuMoveEvaluator"]; }
66    }
67    private ConstrainedValueParameter<ITabuMoveMaker> TabuMoveMakerParameter {
68      get { return (ConstrainedValueParameter<ITabuMoveMaker>)Parameters["TabuMoveMaker"]; }
69    }
70    private ValueParameter<IntValue> TabuTenureParameter {
71      get { return (ValueParameter<IntValue>)Parameters["TabuTenure"]; }
72    }
73    private ValueParameter<IntValue> MaximumIterationsParameter {
74      get { return (ValueParameter<IntValue>)Parameters["MaximumIterations"]; }
75    }
76    #endregion
77
78    #region Properties
79    public IntValue Seed {
80      get { return SeedParameter.Value; }
81      set { SeedParameter.Value = value; }
82    }
83    public BoolValue SetSeedRandomly {
84      get { return SetSeedRandomlyParameter.Value; }
85      set { SetSeedRandomlyParameter.Value = value; }
86    }
87    public IMoveGenerator MoveGenerator {
88      get { return MoveGeneratorParameter.Value; }
89      set { MoveGeneratorParameter.Value = value; }
90    }
91    public IMoveMaker MoveMaker {
92      get { return MoveMakerParameter.Value; }
93      set { MoveMakerParameter.Value = value; }
94    }
95    public ISingleObjectiveMoveEvaluator MoveEvaluator {
96      get { return MoveEvaluatorParameter.Value; }
97      set { MoveEvaluatorParameter.Value = value; }
98    }
99    public ITabuMoveEvaluator TabuMoveEvaluator {
100      get { return TabuMoveEvaluatorParameter.Value; }
101      set { TabuMoveEvaluatorParameter.Value = value; }
102    }
103    public ITabuMoveMaker TabuMoveMaker {
104      get { return TabuMoveMakerParameter.Value; }
105      set { TabuMoveMakerParameter.Value = value; }
106    }
107    public IntValue TabuTenure {
108      get { return TabuTenureParameter.Value; }
109      set { TabuTenureParameter.Value = value; }
110    }
111    public IntValue MaximumIterations {
112      get { return MaximumIterationsParameter.Value; }
113      set { MaximumIterationsParameter.Value = value; }
114    }
115    private RandomCreator RandomCreator {
116      get { return (RandomCreator)OperatorGraph.InitialOperator; }
117    }
118    private SolutionsCreator SolutionsCreator {
119      get { return (SolutionsCreator)RandomCreator.Successor; }
120    }
121    private TSMainLoop TSMainLoop {
122      get { return (TSMainLoop)SolutionsCreator.Successor; }
123    }
124    #endregion
125
126    public TS()
127      : base() {
128      Parameters.Add(new ValueParameter<IntValue>("Seed", "The random seed used to initialize the new pseudo random number generator.", new IntValue(0)));
129      Parameters.Add(new ValueParameter<BoolValue>("SetSeedRandomly", "True if the random seed should be set to a random value, otherwise false.", new BoolValue(true)));
130      Parameters.Add(new ConstrainedValueParameter<IMoveGenerator>("MoveGenerator", "The operator used to generate moves to the neighborhood of the current solution."));
131      Parameters.Add(new ConstrainedValueParameter<IMoveMaker>("MoveMaker", "The operator used to perform a move."));
132      Parameters.Add(new ConstrainedValueParameter<ISingleObjectiveMoveEvaluator>("MoveEvaluator", "The operator used to evaluate a move."));
133      Parameters.Add(new ConstrainedValueParameter<ITabuMoveEvaluator>("TabuMoveEvaluator", "The operator to evaluate whether a move is tabu or not."));
134      Parameters.Add(new ConstrainedValueParameter<ITabuMoveMaker>("TabuMoveMaker", "The operator used to insert attributes of a move into the tabu list."));
135      Parameters.Add(new ValueParameter<IntValue>("TabuTenure", "The length of the tabu list.", new IntValue(10)));
136      Parameters.Add(new ValueParameter<IntValue>("MaximumIterations", "The maximum number of generations which should be processed.", new IntValue(1000)));
137
138      RandomCreator randomCreator = new RandomCreator();
139      SolutionsCreator solutionsCreator = new SolutionsCreator();
140      TSMainLoop tsMainLoop = new TSMainLoop();
141      OperatorGraph.InitialOperator = randomCreator;
142
143      randomCreator.RandomParameter.ActualName = "Random";
144      randomCreator.SeedParameter.ActualName = SeedParameter.Name;
145      randomCreator.SeedParameter.Value = null;
146      randomCreator.SetSeedRandomlyParameter.ActualName = SetSeedRandomlyParameter.Name;
147      randomCreator.SetSeedRandomlyParameter.Value = null;
148      randomCreator.Successor = solutionsCreator;
149
150      solutionsCreator.NumberOfSolutions = new IntValue(1);
151      solutionsCreator.Successor = tsMainLoop;
152
153      tsMainLoop.MoveGeneratorParameter.ActualName = MoveGeneratorParameter.Name;
154      tsMainLoop.MoveMakerParameter.ActualName = MoveMakerParameter.Name;
155      tsMainLoop.MoveEvaluatorParameter.ActualName = MoveEvaluatorParameter.Name;
156      tsMainLoop.TabuMoveEvaluatorParameter.ActualName = TabuMoveEvaluatorParameter.Name;
157      tsMainLoop.TabuMoveMakerParameter.ActualName = TabuMoveMakerParameter.Name;
158      tsMainLoop.MaximumIterationsParameter.ActualName = MaximumIterationsParameter.Name;
159      tsMainLoop.RandomParameter.ActualName = RandomCreator.RandomParameter.ActualName;
160      tsMainLoop.ResultsParameter.ActualName = "Results";
161
162      Initialize();
163    }
164
165    [StorableConstructor]
166    private TS(bool deserializing) : base() { }
167
168    public override IDeepCloneable Clone(Cloner cloner) {
169      TS clone = (TS)base.Clone(cloner);
170      clone.Initialize();
171      return clone;
172    }
173
174    #region Events
175    protected override void OnProblemChanged() {
176      ParameterizeStochasticOperator(Problem.SolutionCreator);
177      ParameterizeStochasticOperator(Problem.Evaluator);
178      foreach (IOperator op in Problem.Operators) ParameterizeStochasticOperator(op);
179      foreach (ISingleObjectiveMoveEvaluator op in Problem.Operators.OfType<ISingleObjectiveMoveEvaluator>()) {
180        op.MoveQualityParameter.ActualNameChanged += new EventHandler(MoveEvaluator_MoveQualityParameter_ActualNameChanged);
181      }
182      ParameterizeSolutionsCreator();
183      ParameterizeTSMainLoop();
184      ParameterizeMoveEvaluator();
185      ParameterizeMoveMaker();
186      UpdateMoveGenerator();
187      Problem.Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
188      base.OnProblemChanged();
189    }
190    protected override void Problem_SolutionCreatorChanged(object sender, EventArgs e) {
191      ParameterizeStochasticOperator(Problem.SolutionCreator);
192      ParameterizeSolutionsCreator();
193      base.Problem_SolutionCreatorChanged(sender, e);
194    }
195    protected override void Problem_EvaluatorChanged(object sender, EventArgs e) {
196      ParameterizeStochasticOperator(Problem.Evaluator);
197      ParameterizeSolutionsCreator();
198      ParameterizeTSMainLoop();
199      ParameterizeMoveEvaluator();
200      ParameterizeMoveMaker();
201      Problem.Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
202      base.Problem_EvaluatorChanged(sender, e);
203    }
204    protected override void Problem_OperatorsChanged(object sender, EventArgs e) {
205      foreach (IOperator op in Problem.Operators) ParameterizeStochasticOperator(op);
206      // This may seem pointless, but some operators already have the eventhandler registered, others don't
207      // FIXME: Is there another way to solve this problem?
208      foreach (ISingleObjectiveMoveEvaluator op in Problem.Operators.OfType<ISingleObjectiveMoveEvaluator>()) {
209        op.MoveQualityParameter.ActualNameChanged -= new EventHandler(MoveEvaluator_MoveQualityParameter_ActualNameChanged);
210        op.MoveQualityParameter.ActualNameChanged += new EventHandler(MoveEvaluator_MoveQualityParameter_ActualNameChanged);
211      }
212      IMoveGenerator oldMoveGenerator = MoveGenerator;
213      UpdateMoveGenerator();
214      if (oldMoveGenerator == MoveGenerator) // in this case MoveGeneratorParameter_ValueChanged did not fire
215        UpdateMoveParameters();
216      ParameterizeTSMainLoop();
217      ParameterizeMoveEvaluator();
218      ParameterizeMoveMaker();
219      base.Problem_OperatorsChanged(sender, e);
220    }
221    private void Evaluator_QualityParameter_ActualNameChanged(object sender, EventArgs e) {
222      ParameterizeTSMainLoop();
223      ParameterizeMoveEvaluator();
224      ParameterizeMoveMaker();
225    }
226    private void MoveGeneratorParameter_ValueChanged(object sender, EventArgs e) {
227      UpdateMoveParameters();
228    }
229    private void MoveEvaluatorParameter_ValueChanged(object sender, EventArgs e) {
230      ParameterizeTSMainLoop();
231      ParameterizeMoveEvaluator();
232      ParameterizeMoveMaker();
233    }
234    private void MoveEvaluator_MoveQualityParameter_ActualNameChanged(object sender, EventArgs e) {
235      ParameterizeTSMainLoop();
236      ParameterizeMoveEvaluator();
237      ParameterizeMoveMaker();
238    }
239    #endregion
240
241    #region Helpers
242    [StorableHook(HookType.AfterDeserialization)]
243    private void Initialize() {
244      if (Problem != null) {
245        Problem.Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
246        foreach (ISingleObjectiveMoveEvaluator op in Problem.Operators.OfType<ISingleObjectiveMoveEvaluator>()) {
247          op.MoveQualityParameter.ActualNameChanged += new EventHandler(MoveEvaluator_MoveQualityParameter_ActualNameChanged);
248        }
249      }
250      MoveGeneratorParameter.ValueChanged += new EventHandler(MoveGeneratorParameter_ValueChanged);
251      MoveEvaluatorParameter.ValueChanged += new EventHandler(MoveEvaluatorParameter_ValueChanged);
252    }
253    private void UpdateMoveGenerator() {
254      IMoveGenerator oldMoveGenerator = MoveGenerator;
255      MoveGeneratorParameter.ValidValues.Clear();
256      if (Problem != null) {
257        foreach (IMoveGenerator generator in Problem.Operators.OfType<IMoveGenerator>().OrderBy(x => x.Name))
258          MoveGeneratorParameter.ValidValues.Add(generator);
259      }
260      if (oldMoveGenerator != null && MoveGeneratorParameter.ValidValues.Any(x => x.GetType() == oldMoveGenerator.GetType()))
261        MoveGenerator = MoveGeneratorParameter.ValidValues.FirstOrDefault(x => x.GetType() == oldMoveGenerator.GetType());
262      if (MoveGenerator == null) {
263        ClearMoveParameters();
264      }
265    }
266    private void UpdateMoveParameters() {
267      IMoveMaker oldMoveMaker = MoveMaker;
268      ISingleObjectiveMoveEvaluator oldMoveEvaluator = MoveEvaluator;
269      ITabuMoveEvaluator oldTabuMoveEvaluator = TabuMoveEvaluator;
270      ITabuMoveMaker oldTabuMoveMaker = TabuMoveMaker;
271      ClearMoveParameters();
272      List<Type> moveTypes = MoveGenerator.GetType().GetInterfaces().Where(x => typeof(IMoveOperator).IsAssignableFrom(x)).ToList();
273      foreach (Type type in moveTypes.ToList()) {
274        if (moveTypes.Any(t => t != type && type.IsAssignableFrom(t)))
275          moveTypes.Remove(type);
276      }
277      foreach (Type type in moveTypes) {
278        var operators = Problem.Operators.Where(x => type.IsAssignableFrom(x.GetType())).OrderBy(x => x.Name);
279        foreach (IMoveMaker moveMaker in operators.OfType<IMoveMaker>())
280          MoveMakerParameter.ValidValues.Add(moveMaker);
281        foreach (ISingleObjectiveMoveEvaluator moveEvaluator in operators.OfType<ISingleObjectiveMoveEvaluator>())
282          MoveEvaluatorParameter.ValidValues.Add(moveEvaluator);
283        foreach (ITabuMoveEvaluator tabuMoveEvaluator in operators.OfType<ITabuMoveEvaluator>())
284          TabuMoveEvaluatorParameter.ValidValues.Add(tabuMoveEvaluator);
285        foreach (ITabuMoveMaker tabuMoveMaker in operators.OfType<ITabuMoveMaker>())
286          TabuMoveMakerParameter.ValidValues.Add(tabuMoveMaker);
287      }
288      if (oldMoveMaker != null && MoveMakerParameter.ValidValues.Any(x => x.GetType() == oldMoveMaker.GetType()))
289        MoveMaker = MoveMakerParameter.ValidValues.FirstOrDefault(x => x.GetType() == oldMoveMaker.GetType());
290      if (oldMoveEvaluator != null && MoveEvaluatorParameter.ValidValues.Any(x => x.GetType() == oldMoveEvaluator.GetType()))
291        MoveEvaluator = MoveEvaluatorParameter.ValidValues.FirstOrDefault(x => x.GetType() == oldMoveEvaluator.GetType());
292      if (oldTabuMoveMaker != null && TabuMoveMakerParameter.ValidValues.Any(x => x.GetType() == oldTabuMoveMaker.GetType()))
293        TabuMoveMaker = TabuMoveMakerParameter.ValidValues.FirstOrDefault(x => x.GetType() == oldTabuMoveMaker.GetType());
294      if (oldTabuMoveEvaluator != null && TabuMoveEvaluatorParameter.ValidValues.Any(x => x.GetType() == oldTabuMoveEvaluator.GetType()))
295        TabuMoveEvaluator = TabuMoveEvaluatorParameter.ValidValues.FirstOrDefault(x => x.GetType() == oldTabuMoveEvaluator.GetType());
296    }
297    private void ClearMoveParameters() {
298      MoveMakerParameter.ValidValues.Clear();
299      MoveEvaluatorParameter.ValidValues.Clear();
300      TabuMoveEvaluatorParameter.ValidValues.Clear();
301      TabuMoveMakerParameter.ValidValues.Clear();
302    }
303    private void ParameterizeSolutionsCreator() {
304      SolutionsCreator.EvaluatorParameter.ActualName = Problem.EvaluatorParameter.Name;
305      SolutionsCreator.SolutionCreatorParameter.ActualName = Problem.SolutionCreatorParameter.Name;
306    }
307    private void ParameterizeTSMainLoop() {
308      TSMainLoop.MaximizationParameter.ActualName = Problem.MaximizationParameter.Name;
309      TSMainLoop.QualityParameter.ActualName = Problem.Evaluator.QualityParameter.ActualName;
310      if (MoveEvaluator != null)
311        TSMainLoop.MoveQualityParameter.ActualName = MoveEvaluator.MoveQualityParameter.ActualName;
312    }
313    private void ParameterizeStochasticOperator(IOperator op) {
314      if (op is IStochasticOperator)
315        ((IStochasticOperator)op).RandomParameter.ActualName = RandomCreator.RandomParameter.ActualName;
316    }
317    private void ParameterizeMoveEvaluator() {
318      foreach (ISingleObjectiveMoveEvaluator op in Problem.Operators.OfType<ISingleObjectiveMoveEvaluator>()) {
319        op.QualityParameter.ActualName = Problem.Evaluator.QualityParameter.ActualName;
320      }
321    }
322    private void ParameterizeMoveMaker() {
323      foreach (IMoveMaker op in Problem.Operators.OfType<IMoveMaker>()) {
324        op.QualityParameter.ActualName = Problem.Evaluator.QualityParameter.ActualName;
325        if (MoveEvaluator != null)
326          op.MoveQualityParameter.ActualName = MoveEvaluator.MoveQualityParameter.ActualName;
327      }
328    }
329    #endregion
330  }
331}
Note: See TracBrowser for help on using the repository browser.