public MainWindow() { InitializeComponent(); this.isoLP = new IsomorphismLP(); init(); }
private bool runTestByMethode(int graphType, int methode, int noOfNodes) { string methodeName = "", solverType = "", formulaType = ""; int mode = 0; switch (methode) { case 1: methodeName = "F1bCplexUnCoeur"; solverType = "CPLEX"; formulaType = "IsoGraphInexactF1b"; mode = 0; break; case 2: methodeName = "F1bCplexPlusieursCoeurs"; solverType = "CPLEX"; formulaType = "IsoGraphInexactF1b"; mode = 1; break; case 3: methodeName = "F2bCPLEXUnCoeur"; solverType = "CPLEX"; formulaType = "IsoGraphInexactF2b"; mode = 0; break; case 4: methodeName = "F2bCplexPlusieursCoeurs"; solverType = "CPLEX"; formulaType = "IsoGraphInexactF2b"; mode = 1; break; case 5: methodeName = "F1bGlpkUnCoeur"; solverType = "GLPK"; formulaType = "IsoGraphInexactF1b"; mode = 0; break; case 6: methodeName = "F2bGlpkUnCoeur"; solverType = "GLPK"; formulaType = "IsoGraphInexactF2b"; mode = 0; break; case 7: methodeName = "BranchAndBound"; solverType = "GLPK"; formulaType = "EditPath"; mode = 0; break; case 10: methodeName = "GEDBLPjusticehero"; solverType = "CPLEX"; formulaType = "BLPjusticehero"; mode = 0; break; case 11: methodeName = "BLPjusticeheroQuadratic"; solverType = "CPLEX"; formulaType = "BLPjusticeheroQuadratic"; mode = 0; break; case 12: methodeName = "QAPGMGED"; solverType = "CPLEX"; formulaType = "QAPGMGED"; mode = 0; break; } string strToWrite = ""; for (int i = 0; i < classMap.Count; i++) { for (int j = 0; j < classMap.Count; j++) { try { this.graph1 = GraphLibManager.LoadGraph((classMap[i][0]), graphType); //LoadGraph(this.richTextGraph, this.toolStripStatusTestLabel); this.graph2 = GraphLibManager.LoadGraph(classMap[j][0], graphType); Console.Out.WriteLine("i:" + i + "---> j : " + j); Console.Out.WriteLine(graph1.Id + "--->" + graph2.Id); } catch (Exception e) { MessageBox.Show("Ne peut pas charger les graphes." + e); return(false); } if ((graph1 == null) || (graph2 == null)) { j++; //jump the wrong .gxl if exist } else if (this.graph1.IsDirected ^ this.graph2.IsDirected) { j++; } else { /* if (!(this.graph1.IsDirected) && !(this.graph2.IsDirected)) * { * GraphLibManager.transToDirectedGraph(this.graph1,false); * GraphLibManager.transToDirectedGraph(this.graph2,false); * this.flagTransform = true; * }*/ this.flagTransform = false; this.iso = new IsomorphismLP(); iso.Graph1 = this.graph1; iso.Graph2 = this.graph2; iso.DirectedGraph1 = this.graph1; iso.DirectedGraph2 = this.graph2; this.iso.SolverType = solverType; //this.comboBoxSolveur2.SelectedIndex == 0 ? "CPLEX" : "GLPK"; this.iso.FormulaType = formulaType; // Program.formulas[formulaTypeIndice];//Program.formulas[this.comboBoxProblem2.SelectedIndex]; this.iso.initial(); Program.nbCoeursCplex = int.Parse(textBoxnbthread.Text); this.iso.Solver.setThreadNumber(Program.nbCoeursCplex); /*if (mode == 0) * this.iso.Solver.setThreadNumber(1); * else if (mode == 1) * this.iso.Solver.setThreadNumber(Program.nbCoeursCplex);*/ iso.run(); try { fs = new FileStream(csvPath + "\\result" + this.graphTypeStr + noOfNodes + "nodes.csv", System.IO.FileMode.Append, System.IO.FileAccess.Write); monStream = new StreamWriter(fs, this.outputEncoding); strToWrite = methodeName + ";rien;" + classMap[i][0] + ";" + classMap[j][0] + ";"; // strToWrite = methodeName + ";rien;" + graph1.Id + ";" + graph2.Id + ";"; strToWrite += iso.Graph1.ListNodes.Count + ";" + iso.Graph2.ListNodes.Count + ";"; if (this.flagTransform) { strToWrite += iso.Graph1.ListEdges.Count / 2 + ";" + iso.Graph2.ListEdges.Count / 2 + ";"; } else { strToWrite += iso.Graph1.ListEdges.Count + ";" + iso.Graph2.ListEdges.Count + ";"; } this.flagTransform = false; //strToWrite += (iso.MatchingResult.Distance.ToString()).Replace(',','.') + ";"; strToWrite += iso.MatchingResult.Distance + ";"; strToWrite += iso.MatchingResult.NbNodes + ";"; strToWrite += "-1;"; strToWrite += iso.MatchingResult.TimeUse + ";"; if (iso.MatchingResult.Feasible) { strToWrite += "true;"; } else { strToWrite += "false;"; } if (iso.MatchingResult.Optimal) { strToWrite += "true;"; } else { strToWrite += "false;"; } if (iso.MatchingResult.MemoryOverFlow) { strToWrite += "true;"; } else { strToWrite += "false;"; } if (iso.MatchingResult.TimeOverFlow) { strToWrite += "true;"; } else { strToWrite += "false;"; } strToWrite += classMap[i][1] + ";"; strToWrite += classMap[j][1] + ";"; strToWrite += MakeMatchingToString(iso.MatchingResult.NodeMatchingDictionary); monStream.WriteLine(strToWrite); } catch (Exception) { throw; } finally { if (monStream != null) { monStream.Close(); } iso.Solver.closeSolver(); } } } } return(true); }
private static string onecomparisonwithres(string g1file, string g2file) { string result = "" + g1file + ";" + g2file; Graph g1 = new Graph(); g1.loadGXL(g1file); Graph g2 = new Graph(); g2.loadGXL(g2file); g1.DynamicCastLabel(new LabelNodeGrecConstest(), new LabelEdgeGrecContest()); g2.DynamicCastLabel(new LabelNodeGrecConstest(), new LabelEdgeGrecContest()); IsomorphismLP iso = new IsomorphismLP(); iso.Graph1 = g1; iso.Graph2 = g2; iso.DirectedGraph1 = g1; iso.DirectedGraph2 = g2; iso.SolverType = "CPLEX"; //this.comboBoxSolveur2.SelectedIndex == 0 ? "CPLEX" : "GLPK"; iso.FormulaType = "QAPGMGED"; //"IsoGraphInexactF2b";//"BLPjusticehero";//"IsoGraphInexactF1b";// Program.formulas[formulaTypeIndice];//Program.formulas[this.comboBoxProblem2.SelectedIndex]; TimeSpan start = new TimeSpan(DateTime.Now.Ticks); iso.initial(); //Program.nbCoeursCplex = int.Parse(textBoxnbthread.Text); iso.Solver.setThreadNumber(1); //SolverCPLEX.UBrootnode = true; iso.run(); TimeSpan end = new TimeSpan(DateTime.Now.Ticks); TimeSpan usingtime = end.Subtract(start).Duration(); double timeUse = usingtime.TotalSeconds; int optsol = 2; if (iso.MatchingResult.Optimal) { optsol = 1; } if (iso.MatchingResult.Optimal == false) { optsol = 0; } Console.Write(optsol + ";"); result += optsol + ";"; Console.Write(timeUse.ToString("N8") + ";"); result += timeUse.ToString("N8") + ";"; Dictionary <string, string> NM = iso.MatchingResult.NodeMatchingDictionary; foreach (Node n in g1.ListNodes) { if (NM.ContainsKey("" + n.Id) == true) { Console.Write(NM["" + n.Id] + " "); result += NM["" + n.Id] + " "; } else { Console.Write("-1 "); result += "-1 "; } } Console.Write(";" + iso.MatchingResult.Distance); Console.WriteLine(); result += ";" + iso.MatchingResult.Distance; return(result); }