#region License Information
/* HeuristicLab
* Copyright (C) 2002-2011 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.Drawing;
using System.IO;
using System.Linq;
using System.Reflection;
using HeuristicLab.Common;
using HeuristicLab.Core;
using HeuristicLab.Data;
using HeuristicLab.Encodings.PermutationEncoding;
using HeuristicLab.Optimization;
using HeuristicLab.Parameters;
using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;
using HeuristicLab.PluginInfrastructure;
namespace HeuristicLab.Problems.QuadraticAssignment {
[Item("Quadratic Assignment Problem", "The Quadratic Assignment Problem (QAP) is the problem of assigning N facilities to N fixed locations such that there is exactly one facility in each location and that the distances multiplied by the connection strength between the facilities becomes minimal.")]
[Creatable("Problems")]
[StorableClass]
public sealed class QuadraticAssignmentProblem : SingleObjectiveProblem {
private static string InstancePrefix = "HeuristicLab.Problems.QuadraticAssignment.Data.";
public override Image ItemImage {
get { return HeuristicLab.Common.Resources.VSImageLibrary.Type; }
}
#region Parameter Properties
public IValueParameter BestKnownSolutionParameter {
get { return (IValueParameter)Parameters["BestKnownSolution"]; }
}
public IValueParameter CoordinatesParameter {
get { return (IValueParameter)Parameters["Coordinates"]; }
}
public IValueParameter WeightsParameter {
get { return (IValueParameter)Parameters["Weights"]; }
}
public IValueParameter DistanceMatrixParameter {
get { return (IValueParameter)Parameters["DistanceMatrix"]; }
}
#endregion
#region Properties
public Permutation BestKnownSolution {
get { return BestKnownSolutionParameter.Value; }
set { BestKnownSolutionParameter.Value = value; }
}
public DoubleMatrix Coordinates {
get { return CoordinatesParameter.Value; }
set { CoordinatesParameter.Value = value; }
}
public DoubleMatrix Weights {
get { return WeightsParameter.Value; }
set { WeightsParameter.Value = value; }
}
public DoubleMatrix DistanceMatrix {
get { return DistanceMatrixParameter.Value; }
set { DistanceMatrixParameter.Value = value; }
}
public IEnumerable EmbeddedInstances {
get {
return Assembly.GetExecutingAssembly()
.GetManifestResourceNames()
.Where(x => x.EndsWith(".dat"))
.OrderBy(x => x)
.Select(x => x.Replace(".dat", String.Empty))
.Select(x => x.Replace(InstancePrefix, String.Empty));
}
}
private BestQAPSolutionAnalyzer BestQAPSolutionAnalyzer {
get { return Operators.OfType().FirstOrDefault(); }
}
#endregion
[StorableConstructor]
private QuadraticAssignmentProblem(bool deserializing) : base(deserializing) { }
private QuadraticAssignmentProblem(QuadraticAssignmentProblem original, Cloner cloner)
: base(original, cloner) {
AttachEventHandlers();
}
public QuadraticAssignmentProblem()
: base() {
Parameters.Add(new OptionalValueParameter("BestKnownSolution", "The best known solution which is updated whenever a new better solution is found or may be the optimal solution if it is known beforehand.", null));
Parameters.Add(new ValueParameter("Coordinates", "The coordinates of the locations. If this is changed the distance matrix is calculated automatically using the euclidean distance."));
Parameters.Add(new ValueParameter("Weights", "The strength of the connection between the facilities.", new DoubleMatrix(5, 5)));
Parameters.Add(new ValueParameter("DistanceMatrix", "The distance matrix which can either be specified directly without the coordinates, or can be calculated automatically from the coordinates.", new DoubleMatrix(5, 5)));
Maximization = new BoolValue(false);
Coordinates = new DoubleMatrix(new double[,] {
{ 294.000, 3.000 },
{ 585.246, 214.603 },
{ 474.000, 556.983 },
{ 114.000, 556.983 },
{ 2.754, 214.603 }
});
Weights = new DoubleMatrix(new double[,] {
{ 0, 1, 0, 0, 1 },
{ 1, 0, 1, 0, 0 },
{ 0, 1, 0, 1, 0 },
{ 0, 0, 1, 0, 1 },
{ 1, 0, 0, 1, 0 }
});
DistanceMatrix = new DoubleMatrix(new double[,] {
{ 0, 360, 582, 582, 360 },
{ 360, 0, 360, 582, 582 },
{ 582, 360, 0, 360, 582 },
{ 582, 582, 360, 0, 360 },
{ 360, 582, 582, 360, 0 }
});
RandomPermutationCreator solutionCreator = new RandomPermutationCreator();
solutionCreator.LengthParameter.Value = new IntValue(5);
solutionCreator.PermutationParameter.ActualName = "Assignment";
QAPEvaluator evaluator = new QAPEvaluator();
SolutionCreatorParameter.Value = solutionCreator;
EvaluatorParameter.Value = evaluator;
InitializeOperators();
AttachEventHandlers();
}
public override IDeepCloneable Clone(Cloner cloner) {
return new QuadraticAssignmentProblem(this, cloner);
}
#region Events
protected override void OnSolutionCreatorChanged() {
SolutionCreator.PermutationParameter.ActualNameChanged += new EventHandler(SolutionCreator_PermutationParameter_ActualNameChanged);
ParameterizeSolutionCreator();
ParameterizeEvaluator();
ParameterizeAnalyzers();
ParameterizeOperators();
base.OnSolutionCreatorChanged();
}
protected override void OnEvaluatorChanged() {
Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
ParameterizeEvaluator();
ParameterizeAnalyzers();
ParameterizeOperators();
base.OnEvaluatorChanged();
}
private void SolutionCreator_PermutationParameter_ActualNameChanged(object sender, EventArgs e) {
ParameterizeEvaluator();
ParameterizeAnalyzers();
ParameterizeOperators();
}
private void Evaluator_QualityParameter_ActualNameChanged(object sender, EventArgs e) {
ParameterizeAnalyzers();
ParameterizeOperators();
}
private void WeightsParameter_ValueChanged(object sender, EventArgs e) {
Weights.RowsChanged += new EventHandler(Weights_RowsChanged);
ParameterizeSolutionCreator();
ParameterizeEvaluator();
ParameterizeOperators();
}
private void Weights_RowsChanged(object sender, EventArgs e) {
ParameterizeSolutionCreator();
ParameterizeEvaluator();
ParameterizeOperators();
}
private void CoordinatesParameter_ValueChanged(object sender, EventArgs e) {
Coordinates.Reset += new EventHandler(Coordinates_Reset);
Coordinates.ItemChanged += new EventHandler>(Coordinates_ItemChanged);
UpdateDistanceMatrix();
}
private void Coordinates_ItemChanged(object sender, EventArgs e) {
UpdateDistanceMatrix();
}
private void Coordinates_Reset(object sender, EventArgs e) {
UpdateDistanceMatrix();
}
#endregion
#region Helpers
[StorableHook(HookType.AfterDeserialization)]
private void AfterDeserializationHook() {
AttachEventHandlers();
}
private void AttachEventHandlers() {
SolutionCreator.PermutationParameter.ActualNameChanged += new EventHandler(SolutionCreator_PermutationParameter_ActualNameChanged);
Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
WeightsParameter.ValueChanged += new EventHandler(WeightsParameter_ValueChanged);
Weights.RowsChanged += new EventHandler(Weights_RowsChanged);
CoordinatesParameter.ValueChanged += new EventHandler(CoordinatesParameter_ValueChanged);
Coordinates.Reset += new EventHandler(Coordinates_Reset);
Coordinates.ItemChanged += new EventHandler>(Coordinates_ItemChanged);
}
private void InitializeOperators() {
Operators.AddRange(ApplicationManager.Manager.GetInstances());
Operators.Add(new BestQAPSolutionAnalyzer());
ParameterizeAnalyzers();
ParameterizeOperators();
}
private void ParameterizeSolutionCreator() {
if (SolutionCreator != null) {
SolutionCreator.PermutationTypeParameter.Value = new PermutationType(PermutationTypes.Absolute);
SolutionCreator.LengthParameter.Value = new IntValue(Weights.Rows);
}
}
private void ParameterizeEvaluator() {
if (Evaluator != null) {
Evaluator.PermutationParameter.ActualName = SolutionCreator.PermutationParameter.ActualName;
Evaluator.DistanceMatrixParameter.ActualName = DistanceMatrixParameter.Name;
Evaluator.CoordinatesParameter.ActualName = CoordinatesParameter.Name;
Evaluator.WeightsParameter.ActualName = WeightsParameter.Name;
}
}
private void ParameterizeAnalyzers() {
if (BestQAPSolutionAnalyzer != null) {
BestQAPSolutionAnalyzer.QualityParameter.ActualName = Evaluator.QualityParameter.ActualName;
BestQAPSolutionAnalyzer.CoordinatesParameter.ActualName = CoordinatesParameter.Name;
BestQAPSolutionAnalyzer.DistancesParameter.ActualName = DistanceMatrixParameter.Name;
BestQAPSolutionAnalyzer.WeightsParameter.ActualName = WeightsParameter.Name;
BestQAPSolutionAnalyzer.PermutationParameter.ActualName = SolutionCreator.PermutationParameter.ActualName;
BestQAPSolutionAnalyzer.ResultsParameter.ActualName = "Results";
BestQAPSolutionAnalyzer.BestKnownQualityParameter.ActualName = BestKnownQualityParameter.Name;
BestQAPSolutionAnalyzer.BestKnownSolutionParameter.ActualName = BestKnownSolutionParameter.Name;
BestQAPSolutionAnalyzer.MaximizationParameter.ActualName = MaximizationParameter.Name;
}
}
private void ParameterizeOperators() {
foreach (IPermutationCrossover op in Operators.OfType()) {
op.ParentsParameter.ActualName = SolutionCreator.PermutationParameter.ActualName;
op.ChildParameter.ActualName = SolutionCreator.PermutationParameter.ActualName;
}
foreach (IPermutationManipulator op in Operators.OfType()) {
op.PermutationParameter.ActualName = SolutionCreator.PermutationParameter.ActualName;
}
foreach (IPermutationMoveOperator op in Operators.OfType()) {
op.PermutationParameter.ActualName = SolutionCreator.PermutationParameter.ActualName;
}
if (Operators.OfType().Any()) {
string inversionMove = Operators.OfType().OfType().First().InversionMoveParameter.ActualName;
foreach (IPermutationInversionMoveOperator op in Operators.OfType())
op.InversionMoveParameter.ActualName = inversionMove;
string translocationMove = Operators.OfType().OfType().First().TranslocationMoveParameter.ActualName;
foreach (IPermutationTranslocationMoveOperator op in Operators.OfType())
op.TranslocationMoveParameter.ActualName = translocationMove;
}
}
private void UpdateDistanceMatrix() {
if (Coordinates != null && Coordinates.Columns == 2 && Coordinates.Rows > 1) {
DoubleMatrix distance = new DoubleMatrix(Coordinates.Rows, Coordinates.Rows);
for (int i = 0; i < Coordinates.Rows - 1; i++) {
for (int j = i + 1; j < Coordinates.Rows; j++) {
double dx = Coordinates[i, 0] - Coordinates[j, 0];
double dy = Coordinates[i, 1] - Coordinates[j, 1];
distance[i, j] = Math.Sqrt(dx * dx + dy * dy);
distance[j, i] = DistanceMatrix[i, j];
}
}
DistanceMatrix = distance;
}
}
#endregion
public void ImportFileInstance(string filename) {
QAPLIBParser parser = new QAPLIBParser();
parser.Parse(filename);
if (parser.Error != null) throw parser.Error;
Coordinates = new DoubleMatrix();
DistanceMatrix = new DoubleMatrix(parser.Distances);
Weights = new DoubleMatrix(parser.Weights);
Name = "Quadratic Assignment Problem (imported from " + Path.GetFileNameWithoutExtension(filename) + ")";
Description = "Imported problem data using QAPLIBParser " + Assembly.GetExecutingAssembly().GetCustomAttributes(typeof(AssemblyFileVersionAttribute), true).Cast().FirstOrDefault().Version + ".";
BestKnownQuality = null;
BestKnownSolution = null;
OnReset();
}
public void LoadEmbeddedInstance(string instance) {
using (Stream stream = Assembly.GetExecutingAssembly()
.GetManifestResourceStream(InstancePrefix + instance + ".dat")) {
QAPLIBParser parser = new QAPLIBParser();
parser.Parse(stream);
if (parser.Error != null) throw parser.Error;
Coordinates = new DoubleMatrix();
DistanceMatrix = new DoubleMatrix(parser.Distances);
Weights = new DoubleMatrix(parser.Weights);
Name = "Quadratic Assignment Problem (loaded instance " + instance + ")";
Description = "Loaded embedded problem data of instance " + instance + ".";
OnReset();
}
bool solutionExists = Assembly.GetExecutingAssembly()
.GetManifestResourceNames()
.Where(x => x.EndsWith(instance + ".sln"))
.Any();
if (solutionExists) {
using (Stream solStream = Assembly.GetExecutingAssembly()
.GetManifestResourceStream(InstancePrefix + instance + ".sln")) {
QAPLIBSolutionParser solParser = new QAPLIBSolutionParser();
solParser.Parse(solStream);
if (solParser.Error != null) throw solParser.Error;
BestKnownQuality = new DoubleValue(solParser.Qualiy);
BestKnownSolution = new Permutation(PermutationTypes.Absolute, solParser.Assignment);
}
} else {
BestKnownQuality = null;
BestKnownSolution = null;
}
}
}
}