#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.IO; using System.IO.Compression; using System.Linq; using System.Reflection; using System.Text.RegularExpressions; namespace HeuristicLab.Problems.Instances.DIMACS { public class GcolInstanceProvider : ProblemInstanceProvider { public override string Name { get { return "DIMACS Graph Coloring"; } } public override string Description { get { return "Graph Coloring problem instance library"; } } public override Uri WebLink { get { return new Uri("https://turing.cs.hbg.psu.edu/txn131/graphcoloring.html"); } } public override string ReferencePublication { get { return string.Empty; } } protected virtual string FileName { get { return "col"; } } public override IEnumerable GetDataDescriptors() { var instanceArchiveName = GetResourceName(FileName + @"\.zip"); if (String.IsNullOrEmpty(instanceArchiveName)) yield break; using (var instanceStream = new ZipArchive(GetType().Assembly.GetManifestResourceStream(instanceArchiveName), ZipArchiveMode.Read)) { foreach (var entry in instanceStream.Entries.Select(x => x.Name).OrderBy(x => x)) { yield return new GcolDataDescriptor(Path.GetFileNameWithoutExtension(entry), GetDescription(), entry); } } } public override GCPData LoadData(IDataDescriptor id) { var descriptor = (GcolDataDescriptor)id; var instanceArchiveName = GetResourceName(FileName + @"\.zip"); using (var instancesZipFile = new ZipArchive(GetType().Assembly.GetManifestResourceStream(instanceArchiveName), ZipArchiveMode.Read)) { var entry = instancesZipFile.GetEntry(descriptor.InstanceIdentifier); using (var stream = entry.Open()) { var parser = new GcolParser(); parser.Parse(stream); var instance = Load(parser); instance.Name = id.Name; instance.Description += Environment.NewLine + id.Description; int bestknown; if (bkq.TryGetValue(instance.Name, out bestknown)) instance.BestKnownColors = bestknown; return instance; } } } public override bool CanImportData { get { return true; } } public override GCPData ImportData(string path) { var parser = new GcolParser(); parser.Parse(path); var instance = Load(parser); instance.Name = Path.GetFileName(path); instance.Description += Environment.NewLine + "Loaded from file \"" + path + "\" on " + DateTime.Now.ToString(); return instance; } private GCPData Load(GcolParser parser) { var instance = new GCPData(); instance.Description = parser.Comments; instance.Nodes = parser.Nodes; var adjacencies = new int[parser.Edges, 2]; var i = 0; foreach (var a in parser.AdjacencyList) { adjacencies[i, 0] = a.Item1; adjacencies[i, 1] = a.Item2; i++; } instance.Adjacencies = adjacencies; return instance; } public override bool CanExportData { get { return true; } } public override void ExportData(GCPData instance, string path) { using (var stream = new StreamWriter(File.Create(path)) { AutoFlush = true }) { stream.WriteLine("c " + instance.Name); foreach (var comment in instance.Description.Split(new[] { Environment.NewLine }, StringSplitOptions.None)) { var c = comment; if (!c.StartsWith("c ")) c = "c " + comment; stream.WriteLine(c); } var edges = instance.Adjacencies.GetLength(0); stream.WriteLine("p edge " + instance.Nodes + " " + edges); for (var i = 0; i < edges; i++) { stream.WriteLine("e " + (instance.Adjacencies[i, 0] + 1) + " " + (instance.Adjacencies[i, 1] + 1)); } } } private string GetDescription() { return "Embedded instance of plugin version " + Assembly.GetExecutingAssembly().GetCustomAttributes(typeof(AssemblyFileVersionAttribute), true).Cast().First().Version + "."; } protected virtual string GetResourceName(string fileName) { return Assembly.GetExecutingAssembly().GetManifestResourceNames() .Where(x => Regex.Match(x, @".*\.Data\." + fileName).Success).SingleOrDefault(); } private Dictionary bkq = new Dictionary { { "fpsol2.i.1", 65 }, { "fpsol2.i.2", 30 }, { "fpsol2.i.3", 30 }, { "inithx.i.1", 54 }, { "inithx.i.2", 31 }, { "inithx.i.3", 31 }, { "le450_5a", 5 }, { "le450_5b", 5 }, { "le450_5c", 5 }, { "le450_5d", 5 }, { "le450_15a", 15 }, { "le450_15b", 15 }, { "le450_15c", 15 }, { "le450_15d", 15 }, { "le450_25a", 25 }, { "le450_25b", 25 }, { "le450_25c", 25 }, { "le450_25d", 25 }, { "mulsol.i.1", 49 }, { "mulsol.i.2", 31 }, { "mulsol.i.3", 31 }, { "mulsol.i.4", 31 }, { "mulsol.i.5", 31 }, { "zeroin.i.1", 49 }, { "zeroin.i.2", 30 }, { "zeroin.i.3", 30 }, { "anna", 11 }, { "david", 11 }, { "homer", 13 }, { "huck", 11 }, { "jean", 10 }, { "games120", 9 }, { "miles250", 8 }, { "miles500", 20 }, { "miles750", 31 }, { "miles1000", 42 }, { "miles1500", 73 }, { "queen5_5", 5 }, { "queen6_6", 7 }, { "queen7_7", 7 }, { "queen8_8", 9 }, { "queen8_12", 12 }, { "queen9_9", 10 }, { "queen11_11", 11 }, { "queen13_13", 13 }, { "myciel3", 4 }, { "myciel4", 5 }, { "myciel5", 6 }, { "myciel6", 7 }, { "myciel7", 8 }, { "mugg88_1", 4 }, { "mugg88_25", 4 }, { "mugg100_1", 4 }, { "mugg100_25", 4 }, { "1-Insertions_4", 4 }, { "2-Insertions_3", 4 }, { "2-Insertions_4", 4 }, { "3-Insertions_3", 4 }, { "4-Insertions_3", 3 }, { "qg.order30", 30 }, { "qg.order40", 40 }, { "qg.order60", 60 }, { "qg.order100", 100 } }; } }