#region License Information /* HeuristicLab * Copyright (C) 2002-2018 Heuristic and Evolutionary Algorithms Laboratory (HEAL) * * This file is part of HeuristicLab. * * HeuristicLab 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. * * HeuristicLab 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 HeuristicLab. If not, see . */ #endregion using System.Collections.Generic; using HeuristicLab.Common; using HeuristicLab.Core; using HeuristicLab.Data; using HeuristicLab.Operators; using HeuristicLab.Optimization; using HeuristicLab.Parameters; using HeuristicLab.Persistence.Default.CompositeSerializers.Storable; using HeuristicLab.Problems.VehicleRouting.Interfaces; using HeuristicLab.Problems.VehicleRouting.Variants; namespace HeuristicLab.Problems.VehicleRouting.Encodings.Potvin { [Item("PotvinTwoOptStarTabuCriterion", @"Checks if a certain two opt star move is tabu.")] [StorableClass] public class PotvinTwoOptStarMoveTabuCriterion : SingleSuccessorOperator, IPotvinTwoOptStarMoveOperator, ITabuChecker, IPotvinOperator, IVRPMoveOperator { public override bool CanChangeName { get { return false; } } public ILookupParameter TwoOptStarMoveParameter { get { return (ILookupParameter)Parameters["PotvinTwoOptStarMove"]; } } public ILookupParameter VRPMoveParameter { get { return TwoOptStarMoveParameter; } } public ILookupParameter VRPToursParameter { get { return (ILookupParameter)Parameters["VRPTours"]; } } public ILookupParameter ProblemInstanceParameter { get { return (LookupParameter)Parameters["ProblemInstance"]; } } public ILookupParameter> TabuListParameter { get { return (ILookupParameter>)Parameters["TabuList"]; } } public ILookupParameter MoveTabuParameter { get { return (ILookupParameter)Parameters["MoveTabu"]; } } public IValueLookupParameter MaximizationParameter { get { return (IValueLookupParameter)Parameters["Maximization"]; } } public ILookupParameter MoveQualityParameter { get { return (ILookupParameter)Parameters["MoveQuality"]; } } public ValueParameter UseAspirationCriterionParameter { get { return (ValueParameter)Parameters["UseAspirationCriterion"]; } } public ILookupParameter MoveDistanceParameter { get { return (ILookupParameter)Parameters["MoveDistance"]; } } public ILookupParameter MoveOverloadParameter { get { return (ILookupParameter)Parameters["MoveOverload"]; } } public ILookupParameter MoveTardinessParameter { get { return (ILookupParameter)Parameters["MoveTardiness"]; } } public BoolValue UseAspirationCriterion { get { return UseAspirationCriterionParameter.Value; } set { UseAspirationCriterionParameter.Value = value; } } [StorableConstructor] protected PotvinTwoOptStarMoveTabuCriterion(bool deserializing) : base(deserializing) { } protected PotvinTwoOptStarMoveTabuCriterion(PotvinTwoOptStarMoveTabuCriterion original, Cloner cloner) : base(original, cloner) { } public PotvinTwoOptStarMoveTabuCriterion() : base() { Parameters.Add(new LookupParameter("PotvinTwoOptStarMove", "The moves that should be made.")); Parameters.Add(new LookupParameter("VRPTours", "The VRP tours considered in the move.")); Parameters.Add(new LookupParameter("ProblemInstance", "The VRP problem instance")); Parameters.Add(new LookupParameter("MoveTabu", "The variable to store if a move was tabu.")); Parameters.Add(new LookupParameter>("TabuList", "The tabu list.")); Parameters.Add(new ValueParameter("UseAspirationCriterion", "Whether to use the aspiration criterion or not.", new BoolValue(true))); Parameters.Add(new ValueLookupParameter("Maximization", "True if the problem is a maximization problem, else if it is a minimization problem.")); Parameters.Add(new LookupParameter("MoveQuality", "The quality of the current move.")); Parameters.Add(new LookupParameter("MoveDistance", "The distance of the move")); Parameters.Add(new LookupParameter("MoveOverload", "The overload of the move")); Parameters.Add(new LookupParameter("MoveTardiness", "The tardiness of the move")); } public override IDeepCloneable Clone(Cloner cloner) { return new PotvinTwoOptStarMoveTabuCriterion(this, cloner); } public override IOperation Apply() { ItemList tabuList = TabuListParameter.ActualValue; double moveQuality = MoveQualityParameter.ActualValue.Value; bool useAspiration = UseAspirationCriterion.Value; bool isTabu = false; PotvinTwoOptStarMove move = TwoOptStarMoveParameter.ActualValue; List segmentX1; List segmentX2; PotvinTwoOptStarMoveMaker.GetSegments(move, out segmentX1, out segmentX2); foreach (IItem tabuMove in tabuList) { PotvinTwoOptStarMoveAttribute attribute = tabuMove as PotvinTwoOptStarMoveAttribute; if (attribute != null) { double distance = 0; if (MoveDistanceParameter.ActualValue != null) distance = MoveDistanceParameter.ActualValue.Value; double overload = 0; if (MoveOverloadParameter.ActualValue != null) overload = MoveOverloadParameter.ActualValue.Value; double tardiness = 0; if (MoveTardinessParameter.ActualValue != null) tardiness = MoveTardinessParameter.ActualValue.Value; IVRPProblemInstance instance = ProblemInstanceParameter.ActualValue; double quality = attribute.Distance * instance.DistanceFactor.Value; IHomogenousCapacitatedProblemInstance cvrp = instance as IHomogenousCapacitatedProblemInstance; if (cvrp != null) quality += attribute.Overload * cvrp.OverloadPenalty.Value; ITimeWindowedProblemInstance vrptw = instance as ITimeWindowedProblemInstance; if (vrptw != null) quality += attribute.Tardiness * vrptw.TardinessPenalty.Value; if (!useAspiration || moveQuality >= quality) { if (attribute.Tour == move.Tour1 && segmentX2.Contains(attribute.City) || attribute.Tour == move.Tour2 && segmentX1.Contains(attribute.City)) { isTabu = true; break; } if (attribute.Distance == distance && attribute.Overload == overload && attribute.Tardiness == tardiness) { isTabu = true; break; } } } } MoveTabuParameter.ActualValue = new BoolValue(isTabu); return base.Apply(); } } }