#region License Information
/* HeuristicLab
* Copyright (C) 2002-2019 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;
using System.Collections.Generic;
using System.Linq;
using HeuristicLab.Common;
using HeuristicLab.Core;
using HeuristicLab.Data;
using HeuristicLab.Optimization;
using HeuristicLab.Parameters;
using HEAL.Attic;
using HeuristicLab.PluginInfrastructure;
namespace HeuristicLab.Encodings.IntegerVectorEncoding {
[Item("IntegerVectorEncoding", "Describes an integer vector encoding.")]
[StorableType("15D6E55E-C39F-4784-8350-14A0FD47CF0E")]
public sealed class IntegerVectorEncoding : Encoding {
#region Encoding Parameters
[Storable]
private IFixedValueParameter lengthParameter;
public IFixedValueParameter LengthParameter {
get { return lengthParameter; }
set {
if (value == null) throw new ArgumentNullException("Length parameter must not be null.");
if (value.Value == null) throw new ArgumentNullException("Length parameter value must not be null.");
if (lengthParameter == value) return;
if (lengthParameter != null) Parameters.Remove(lengthParameter);
lengthParameter = value;
Parameters.Add(lengthParameter);
OnLengthParameterChanged();
}
}
[Storable]
private IValueParameter boundsParameter;
public IValueParameter BoundsParameter {
get { return boundsParameter; }
set {
if (value == null) throw new ArgumentNullException("Bounds parameter must not be null.");
if (boundsParameter == value) return;
if (boundsParameter != null) Parameters.Remove(boundsParameter);
boundsParameter = value;
Parameters.Add(boundsParameter);
OnBoundsParameterChanged();
}
}
#endregion
public int Length {
get { return LengthParameter.Value.Value; }
set { LengthParameter.Value.Value = value; }
}
public IntMatrix Bounds {
get { return BoundsParameter.Value; }
set { BoundsParameter.Value = value; }
}
[StorableConstructor]
private IntegerVectorEncoding(StorableConstructorFlag _) : base(_) { }
[StorableHook(HookType.AfterDeserialization)]
private void AfterDeserialization() {
RegisterParameterEvents();
DiscoverOperators();
}
private IntegerVectorEncoding(IntegerVectorEncoding original, Cloner cloner)
: base(original, cloner) {
lengthParameter = cloner.Clone(original.lengthParameter);
boundsParameter = cloner.Clone(original.boundsParameter);
RegisterParameterEvents();
}
public override IDeepCloneable Clone(Cloner cloner) { return new IntegerVectorEncoding(this, cloner); }
public IntegerVectorEncoding() : this("IntegerVector", 10) { }
public IntegerVectorEncoding(string name) : this(name, 10) { }
public IntegerVectorEncoding(int length) : this("integerVector", length) { }
public IntegerVectorEncoding(string name, int length, int min = int.MinValue, int max = int.MaxValue, int? step = null)
: base(name) {
if (min >= max) throw new ArgumentException("min must be less than max", "min");
if (step.HasValue && step.Value <= 0) throw new ArgumentException("step must be greater than zero or null", "step");
var bounds = new IntMatrix(1, step.HasValue ? 3 : 2);
bounds[0, 0] = min;
bounds[0, 1] = max;
if (step.HasValue) bounds[0, 2] = step.Value;
lengthParameter = new FixedValueParameter(Name + ".Length", new IntValue(length));
boundsParameter = new ValueParameter(Name + ".Bounds", bounds);
Parameters.Add(lengthParameter);
Parameters.Add(boundsParameter);
SolutionCreator = new UniformRandomIntegerVectorCreator();
RegisterParameterEvents();
DiscoverOperators();
}
public IntegerVectorEncoding(string name, int length, IList min, IList max, IList step = null)
: base(name) {
if (min.Count == 0) throw new ArgumentException("Bounds must be given for the integer parameters.");
if (min.Count != max.Count) throw new ArgumentException("min must be of the same length as max", "min");
if (step != null && min.Count != step.Count) throw new ArgumentException("step must be of the same length as min or null", "step");
if (min.Zip(max, (mi, ma) => mi >= ma).Any(x => x)) throw new ArgumentException("min must be less than max in each dimension", "min");
var bounds = new IntMatrix(min.Count, step != null ? 3 : 2);
for (int i = 0; i < min.Count; i++) {
bounds[i, 0] = min[i];
bounds[i, 1] = max[i];
if (step != null) bounds[i, 2] = step[i];
}
lengthParameter = new FixedValueParameter(Name + ".Length", new IntValue(length));
boundsParameter = new ValueParameter(Name + ".Bounds", bounds);
Parameters.Add(lengthParameter);
Parameters.Add(boundsParameter);
SolutionCreator = new UniformRandomIntegerVectorCreator();
RegisterParameterEvents();
DiscoverOperators();
}
private void OnLengthParameterChanged() {
RegisterLengthParameterEvents();
ConfigureOperators(Operators);
}
private void OnBoundsParameterChanged() {
RegisterBoundsParameterEvents();
ConfigureOperators(Operators);
}
private void RegisterParameterEvents() {
RegisterLengthParameterEvents();
RegisterBoundsParameterEvents();
}
private void RegisterLengthParameterEvents() {
LengthParameter.ValueChanged += (o, s) => ConfigureOperators(Operators);
LengthParameter.Value.ValueChanged += (o, s) => ConfigureOperators(Operators);
}
private void RegisterBoundsParameterEvents() {
BoundsParameter.ValueChanged += (o, s) => ConfigureOperators(Operators);
boundsParameter.Value.ToStringChanged += (o, s) => ConfigureOperators(Operators);
}
#region Operator Discovery
private static readonly IEnumerable encodingSpecificOperatorTypes;
static IntegerVectorEncoding() {
encodingSpecificOperatorTypes = new List() {
typeof (IIntegerVectorOperator),
typeof (IIntegerVectorCreator),
typeof (IIntegerVectorCrossover),
typeof (IIntegerVectorManipulator),
typeof (IIntegerVectorStdDevStrategyParameterOperator),
typeof (IIntegerVectorMultiNeighborhoodShakingOperator),
};
}
private void DiscoverOperators() {
var assembly = typeof(IIntegerVectorOperator).Assembly;
var discoveredTypes = ApplicationManager.Manager.GetTypes(encodingSpecificOperatorTypes, assembly, true, false, false);
var operators = discoveredTypes.Select(t => (IOperator)Activator.CreateInstance(t));
var newOperators = operators.Except(Operators, new TypeEqualityComparer()).ToList();
ConfigureOperators(newOperators);
foreach (var @operator in newOperators)
AddOperator(@operator);
}
#endregion
public override void ConfigureOperators(IEnumerable operators) {
ConfigureBoundedOperators(operators.OfType());
ConfigureCreators(operators.OfType());
ConfigureCrossovers(operators.OfType());
ConfigureManipulators(operators.OfType());
ConfigureShakingOperators(operators.OfType());
ConfigureStrategyVectorOperator(operators.OfType());
}
#region Specific Operator Wiring
private void ConfigureBoundedOperators(IEnumerable boundedOperators) {
foreach (var boundedOperator in boundedOperators) {
boundedOperator.BoundsParameter.ActualName = BoundsParameter.Name;
}
}
private void ConfigureCreators(IEnumerable creators) {
foreach (var creator in creators) {
creator.IntegerVectorParameter.ActualName = Name;
creator.BoundsParameter.ActualName = BoundsParameter.Name;
creator.LengthParameter.ActualName = LengthParameter.Name;
}
}
private void ConfigureCrossovers(IEnumerable crossovers) {
foreach (var crossover in crossovers) {
crossover.ChildParameter.ActualName = Name;
crossover.ParentsParameter.ActualName = Name;
}
}
private void ConfigureManipulators(IEnumerable manipulators) {
foreach (var manipulator in manipulators) {
manipulator.IntegerVectorParameter.ActualName = Name;
manipulator.IntegerVectorParameter.Hidden = true;
var sm = manipulator as ISelfAdaptiveManipulator;
if (sm != null) {
var p = sm.StrategyParameterParameter as ILookupParameter;
if (p != null) {
p.ActualName = Name + "Strategy";
}
}
}
}
private void ConfigureShakingOperators(IEnumerable shakingOperators) {
foreach (var shakingOperator in shakingOperators) {
shakingOperator.IntegerVectorParameter.ActualName = Name;
}
}
private void ConfigureStrategyVectorOperator(IEnumerable strategyVectorOperators) {
var bounds = new DoubleMatrix(Bounds.Rows, Bounds.Columns);
for (var i = 0; i < bounds.Rows; i++) {
bounds[i, 1] = (int)Math.Ceiling(0.33 * (Bounds[i, 1] - Bounds[i, 0]));
bounds[i, 0] = 0;
if (bounds.Columns > 2) bounds[i, 2] = Bounds[i, 2];
}
foreach (var s in strategyVectorOperators) {
var c = s as IIntegerVectorStdDevStrategyParameterCreator;
if (c != null) {
c.BoundsParameter.Value = (DoubleMatrix)bounds.Clone();
c.LengthParameter.ActualName = Name;
c.StrategyParameterParameter.ActualName = Name + "Strategy";
}
var m = s as IIntegerVectorStdDevStrategyParameterManipulator;
if (m != null) {
m.BoundsParameter.Value = (DoubleMatrix)bounds.Clone();
m.StrategyParameterParameter.ActualName = Name + "Strategy";
}
var mm = s as StdDevStrategyVectorManipulator;
if (mm != null) {
mm.GeneralLearningRateParameter.Value = new DoubleValue(1.0 / Math.Sqrt(2 * Length));
mm.LearningRateParameter.Value = new DoubleValue(1.0 / Math.Sqrt(2 * Math.Sqrt(Length)));
}
var x = s as IIntegerVectorStdDevStrategyParameterCrossover;
if (x != null) {
x.ParentsParameter.ActualName = Name + "Strategy";
x.StrategyParameterParameter.ActualName = Name + "Strategy";
}
}
}
#endregion
}
public static class IndividualExtensionMethods {
public static IntegerVector IntegerVector(this Individual individual) {
var encoding = individual.GetEncoding();
return individual.IntegerVector(encoding.Name);
}
public static IntegerVector IntegerVector(this Individual individual, string name) {
return (IntegerVector)individual[name];
}
}
}