/// <summary>
 /// Shows the edge weight on the label.
 /// </summary>
 public void DrawLabelWeights()
 {
     for (int v1 = 0; v1 < mapMatrix.GetSize() - 1; v1++)
     {
         for (int v2 = v1 + 1; v2 < mapMatrix.GetSize(); v2++)
         {
             labelWeights[v1, v2].Enabled = mapMatrix.ContainsEdge(v1, v2);
             labelWeights[v1, v2].Visible = mapMatrix.ContainsEdge(v1, v2);
         }
     }
     foreach (Vertex v1 in vertices)
     {
         foreach (Vertex v2 in v1.GetEdges())
         {
             if (v2.GetNumberIndex() > v1.GetNumberIndex())
             {
                 Point midPoint = new Point
                                  (
                     (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                     (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                  );
                 labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Location = new Point
                                                                                   (
                     midPoint.X - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Width,
                     midPoint.Y - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Height
                                                                                   );
                 labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Text = v1.GetEdge(v2).ToString();
             }
         }
     }
 }
Ejemplo n.º 2
0
        private void PanelGraph_Paint(object sender, PaintEventArgs e)
        {
            Dictionary <bool, Color> colorFocusEdge = new Dictionary <bool, Color>
            {
                { true, Color.Red },
                { false, Color.Black }
            };

            using (Graphics g = e.Graphics)
            {
                g.SmoothingMode = System.Drawing.Drawing2D.SmoothingMode.AntiAlias;
                foreach (DijkstraVertexLabel v1 in vertices)
                {
                    foreach (DijkstraVertexLabel v2 in vertices)
                    {
                        int vStart  = v1.GetNumberIndex();
                        int vFinish = v2.GetNumberIndex();
                        if (mapMatrix.ContainsEdge(vStart, vFinish))
                        {
                            int shiftX     = Convert.ToInt32(Math.Round(Math.Min(v2.Width / 2, Math.Abs(v2.Height / 2 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y + 1e-10)))));
                            int shiftY     = Convert.ToInt32(Math.Round(Math.Min(v2.Height / 2, Math.Abs(v2.Width / 2 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / (v2.GetCentreLocation().X - v1.GetCentreLocation().X + 1e-10)))));
                            int directionX = v2.GetCentreLocation().X > v1.GetCentreLocation().X ? 1 : -1;
                            int directionY = v2.GetCentreLocation().Y > v1.GetCentreLocation().Y ? 1 : -1;
                            if (!mapMatrix.ContainsEdge(vFinish, vStart))
                            {
                                g.DrawLine(new Pen(colorFocusEdge[edgeFocused[vStart, vFinish]], 5), v1.GetCentreLocation(), v2.GetCentreLocation());
                                Point point1 = new Point
                                               (
                                    v2.GetCentreLocation().X - directionX * shiftX,
                                    v2.GetCentreLocation().Y - directionY * shiftY
                                               );
                                Point pointBase = new Point
                                                  (
                                    Convert.ToInt32(Math.Round(point1.X - 40 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                                    Convert.ToInt32(Math.Round(point1.Y - 40 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                                  );
                                Point point2 = new Point
                                               (
                                    Convert.ToInt32(Math.Round(pointBase.X + 7.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                                    Convert.ToInt32(Math.Round(pointBase.Y - 7.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                               );
                                Point point3 = new Point
                                               (
                                    Convert.ToInt32(Math.Round(pointBase.X - 7.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                                    Convert.ToInt32(Math.Round(pointBase.Y + 7.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                               );
                                Point[] arrow = { point1, point2, point3 };
                                g.FillPolygon(new SolidBrush(colorFocusEdge[edgeFocused[vStart, vFinish]]), arrow);
                            }
                            else if (mapMatrix.GetEdge(vStart, vFinish) != mapMatrix.GetEdge(vFinish, vStart))
                            {
                                if (vFinish > vStart)
                                {
                                    Point point1 = new Point
                                                   (
                                        v1.GetCentreLocation().X + directionX * shiftX,
                                        v1.GetCentreLocation().Y + directionY * shiftY
                                                   );
                                    Point point2 = new Point
                                                   (
                                        v2.GetCentreLocation().X - directionX * shiftX,
                                        v2.GetCentreLocation().Y - directionY * shiftY
                                                   );
                                    Point midPoint = new Point
                                                     (
                                        (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                                        (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                                     );
                                    Point point3 = new Point
                                                   (
                                        Convert.ToInt32(Math.Round(midPoint.X + 42 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                                        Convert.ToInt32(Math.Round(midPoint.Y - 42 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                                   );
                                    Point point4 = new Point
                                                   (
                                        Convert.ToInt32(Math.Round(midPoint.X - 42 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                                        Convert.ToInt32(Math.Round(midPoint.Y + 42 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                                   );
                                    Point point5 = new Point
                                                   (
                                        Convert.ToInt32(Math.Round(point2.X - 40 * (point2.X - point3.X) / Math.Sqrt((point2.X - point3.X) * (point2.X - point3.X) + (point2.Y - point3.Y) * (point2.Y - point3.Y)))),
                                        Convert.ToInt32(Math.Round(point2.Y - 40 * (point2.Y - point3.Y) / Math.Sqrt((point2.X - point3.X) * (point2.X - point3.X) + (point2.Y - point3.Y) * (point2.Y - point3.Y))))
                                                   );
                                    Point point6Reflect = new Point
                                                          (
                                        Convert.ToInt32(Math.Round(point2.X - 40 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                                        Convert.ToInt32(Math.Round(point2.Y - 40 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                                          );
                                    Point point6 = new Point
                                                   (
                                        Convert.ToInt32(Math.Round(point5.X + 11 * (point5.X - point6Reflect.X) / Math.Sqrt((point5.X - point6Reflect.X) * (point5.X - point6Reflect.X) + (point5.Y - point6Reflect.Y) * (point5.Y - point6Reflect.Y)))),
                                        Convert.ToInt32(Math.Round(point5.Y + 11 * (point5.Y - point6Reflect.Y) / Math.Sqrt((point5.X - point6Reflect.X) * (point5.X - point6Reflect.X) + (point5.Y - point6Reflect.Y) * (point5.Y - point6Reflect.Y))))
                                                   );
                                    Point point7 = new Point
                                                   (
                                        Convert.ToInt32(Math.Round(point1.X - 40 * (point1.X - point4.X) / Math.Sqrt((point1.X - point4.X) * (point1.X - point4.X) + (point1.Y - point4.Y) * (point1.Y - point4.Y)))),
                                        Convert.ToInt32(Math.Round(point1.Y - 40 * (point1.Y - point4.Y) / Math.Sqrt((point1.X - point4.X) * (point1.X - point4.X) + (point1.Y - point4.Y) * (point1.Y - point4.Y))))
                                                   );
                                    Point point8Reflect = new Point
                                                          (
                                        Convert.ToInt32(Math.Round(point1.X + 40 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                                        Convert.ToInt32(Math.Round(point1.Y + 40 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                                          );
                                    Point point8 = new Point
                                                   (
                                        Convert.ToInt32(Math.Round(point7.X + 11 * (point7.X - point8Reflect.X) / Math.Sqrt((point7.X - point8Reflect.X) * (point7.X - point8Reflect.X) + (point7.Y - point8Reflect.Y) * (point7.Y - point8Reflect.Y)))),
                                        Convert.ToInt32(Math.Round(point7.Y + 11 * (point7.Y - point8Reflect.Y) / Math.Sqrt((point7.X - point8Reflect.X) * (point7.X - point8Reflect.X) + (point7.Y - point8Reflect.Y) * (point7.Y - point8Reflect.Y))))
                                                   );
                                    Point[] curve1 = { point1, point3, point2 };
                                    Point[] curve2 = { point2, point4, point1 };
                                    g.DrawCurve(new Pen(colorFocusEdge[edgeFocused[vStart, vFinish]], 5), curve1);
                                    g.DrawCurve(new Pen(colorFocusEdge[edgeFocused[vFinish, vStart]], 5), curve2);
                                    Point[] arrow1 = { point2, point5, point6 };
                                    Point[] arrow2 = { point1, point7, point8 };
                                    g.FillPolygon(new SolidBrush(colorFocusEdge[edgeFocused[vStart, vFinish]]), arrow1);
                                    g.FillPolygon(new SolidBrush(colorFocusEdge[edgeFocused[vFinish, vStart]]), arrow2);
                                }
                            }
                            else
                            {
                                if (vFinish > vStart)
                                {
                                    g.DrawLine(new Pen(colorFocusEdge[edgeFocused[vStart, vFinish]], 5), v1.GetCentreLocation(), v2.GetCentreLocation());
                                }
                            }
                        }
                    }
                }
            }
        }
 /// <summary>
 /// Refreshes the board.
 /// </summary>
 private void ResetBoard()
 {
     for (int v1 = 0; v1 < mapMatrix.GetSize(); v1++)
     {
         for (int v2 = 0; v2 < mapMatrix.GetSize(); v2++)
         {
             labelWeights[v1, v2].Enabled = mapMatrix.ContainsEdge(v1, v2);
             labelWeights[v1, v2].Visible = mapMatrix.ContainsEdge(v1, v2);
         }
     }
     using (Graphics g = this.panelSketchBoard.CreateGraphics())
     {
         g.SmoothingMode = System.Drawing.Drawing2D.SmoothingMode.AntiAlias;
         g.Clear(Color.White);
         foreach (Vertex v1 in vertices)
         {
             foreach (Vertex v2 in v1.GetEdges())
             {
                 if (!v2.ContainsEdge(v1)) // One directed edge between two vertices - draw a straight line with an arrow
                 {
                     g.DrawLine(new Pen(Color.Black, 5), v1.GetCentreLocation(), v2.GetCentreLocation());
                     Point point1 = new Point
                                    (
                         Convert.ToInt32(Math.Round(v2.GetCentreLocation().X - 13.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                         Convert.ToInt32(Math.Round(v2.GetCentreLocation().Y - 13.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                    );
                     Point pointBase = new Point
                                       (
                         Convert.ToInt32(Math.Round(point1.X - 40 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                         Convert.ToInt32(Math.Round(point1.Y - 40 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                       );
                     Point point2 = new Point
                                    (
                         Convert.ToInt32(Math.Round(pointBase.X + 7.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                         Convert.ToInt32(Math.Round(pointBase.Y - 7.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                    );
                     Point point3 = new Point
                                    (
                         Convert.ToInt32(Math.Round(pointBase.X - 7.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                         Convert.ToInt32(Math.Round(pointBase.Y + 7.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                    );
                     Point[] arrow = { point1, point2, point3 };
                     g.FillPolygon(new SolidBrush(Color.Black), arrow);
                     Point midPoint = new Point
                                      (
                         (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                         (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                      );
                     labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Location = new Point
                                                                                       (
                         midPoint.X - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Width,
                         midPoint.Y - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Height
                                                                                       );
                     labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Text = v1.GetEdge(v2).ToString();
                 }
                 else if (v2.GetEdge(v1) != v1.GetEdge(v2))
                 {
                     if (v2.GetNumberIndex() > v1.GetNumberIndex()) // Two directed edges between two vertices with different weights - draw two curved lines with arrows
                     {
                         Point point1 = new Point
                                        (
                             Convert.ToInt32(Math.Round(v1.GetCentreLocation().X + 13.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(v1.GetCentreLocation().Y + 13.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                        );
                         Point point2 = new Point
                                        (
                             Convert.ToInt32(Math.Round(v2.GetCentreLocation().X - 13.5 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(v2.GetCentreLocation().Y - 13.5 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                        );
                         Point midPoint = new Point
                                          (
                             (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                             (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                          );
                         Point point3 = new Point
                                        (
                             Convert.ToInt32(Math.Round(midPoint.X + 42 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(midPoint.Y - 42 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                        );
                         Point point4 = new Point
                                        (
                             Convert.ToInt32(Math.Round(midPoint.X - 42 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(midPoint.Y + 42 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                        );
                         Point point5 = new Point
                                        (
                             Convert.ToInt32(Math.Round(point2.X - 40 * (point2.X - point3.X) / Math.Sqrt((point2.X - point3.X) * (point2.X - point3.X) + (point2.Y - point3.Y) * (point2.Y - point3.Y)))),
                             Convert.ToInt32(Math.Round(point2.Y - 40 * (point2.Y - point3.Y) / Math.Sqrt((point2.X - point3.X) * (point2.X - point3.X) + (point2.Y - point3.Y) * (point2.Y - point3.Y))))
                                        );
                         Point point6Reflect = new Point
                                               (
                             Convert.ToInt32(Math.Round(point2.X - 40 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(point2.Y - 40 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                               );
                         Point point6 = new Point
                                        (
                             Convert.ToInt32(Math.Round(point5.X + 11 * (point5.X - point6Reflect.X) / Math.Sqrt((point5.X - point6Reflect.X) * (point5.X - point6Reflect.X) + (point5.Y - point6Reflect.Y) * (point5.Y - point6Reflect.Y)))),
                             Convert.ToInt32(Math.Round(point5.Y + 11 * (point5.Y - point6Reflect.Y) / Math.Sqrt((point5.X - point6Reflect.X) * (point5.X - point6Reflect.X) + (point5.Y - point6Reflect.Y) * (point5.Y - point6Reflect.Y))))
                                        );
                         Point point7 = new Point
                                        (
                             Convert.ToInt32(Math.Round(point1.X - 40 * (point1.X - point4.X) / Math.Sqrt((point1.X - point4.X) * (point1.X - point4.X) + (point1.Y - point4.Y) * (point1.Y - point4.Y)))),
                             Convert.ToInt32(Math.Round(point1.Y - 40 * (point1.Y - point4.Y) / Math.Sqrt((point1.X - point4.X) * (point1.X - point4.X) + (point1.Y - point4.Y) * (point1.Y - point4.Y))))
                                        );
                         Point point8Reflect = new Point
                                               (
                             Convert.ToInt32(Math.Round(point1.X + 40 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(point1.Y + 40 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2)))
                                               );
                         Point point8 = new Point
                                        (
                             Convert.ToInt32(Math.Round(point7.X + 11 * (point7.X - point8Reflect.X) / Math.Sqrt((point7.X - point8Reflect.X) * (point7.X - point8Reflect.X) + (point7.Y - point8Reflect.Y) * (point7.Y - point8Reflect.Y)))),
                             Convert.ToInt32(Math.Round(point7.Y + 11 * (point7.Y - point8Reflect.Y) / Math.Sqrt((point7.X - point8Reflect.X) * (point7.X - point8Reflect.X) + (point7.Y - point8Reflect.Y) * (point7.Y - point8Reflect.Y))))
                                        );
                         Point[] curve1 = { point1, point3, point2 };
                         Point[] curve2 = { point2, point4, point1 };
                         g.DrawCurve(new Pen(Color.Black, 5), curve1);
                         g.DrawCurve(new Pen(Color.Black, 5), curve2);
                         Point[] arrow1 = { point2, point5, point6 };
                         Point[] arrow2 = { point1, point7, point8 };
                         g.FillPolygon(new SolidBrush(Color.Black), arrow1);
                         g.FillPolygon(new SolidBrush(Color.Black), arrow2);
                         labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Location = new Point
                                                                                           (
                             point3.X - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Width,
                             point3.Y - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Height
                                                                                           );
                         labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Text     = v1.GetEdge(v2).ToString();
                         labelWeights[v2.GetNumberIndex(), v1.GetNumberIndex()].Location = new Point
                                                                                           (
                             point4.X - labelWeights[v2.GetNumberIndex(), v1.GetNumberIndex()].Width,
                             point4.Y - labelWeights[v2.GetNumberIndex(), v1.GetNumberIndex()].Height
                                                                                           );
                         labelWeights[v2.GetNumberIndex(), v1.GetNumberIndex()].Text = v2.GetEdge(v1).ToString();
                     }
                 }
                 else
                 {
                     if (v2.GetNumberIndex() > v1.GetNumberIndex()) // Undirected edge between two vertices - draw an unarrowed straight line
                     {
                         g.DrawLine(new Pen(Color.Black, 5), v1.GetCentreLocation(), v2.GetCentreLocation());
                         Point midPoint = new Point
                                          (
                             (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                             (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                          );
                         labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Location = new Point
                                                                                           (
                             midPoint.X - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Width,
                             midPoint.Y - labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Height
                                                                                           );
                         labelWeights[v1.GetNumberIndex(), v2.GetNumberIndex()].Text    = v1.GetEdge(v2).ToString();
                         labelWeights[v2.GetNumberIndex(), v1.GetNumberIndex()].Enabled = false;
                         labelWeights[v2.GetNumberIndex(), v1.GetNumberIndex()].Visible = false;
                     }
                 }
             }
         }
     }
 }
Ejemplo n.º 4
0
        // Graph/Tree Traversal (Group A) is implemented here.
        private void ButtonNext_Click(object sender, EventArgs e)
        {
            if (buttonNext.Text == "Close")
            {
                this.Close();
            }
            else
            {
                // Step 1 operation
                if (currentStep == 1)
                {
                    // Highlight current step
                    label1.ForeColor     = Color.Red;
                    labelStep1.ForeColor = Color.Red;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;

                    // Show the headers of the list of all edges
                    labelList.Visible        = true;
                    labelEdgeLeft.Visible    = true;
                    labelWeightLeft.Visible  = true;
                    labelEdgeRight.Visible   = true;
                    labelWeightRight.Visible = true;

                    // Initialise and sort the list of all edges
                    int edgeCount = 0;
                    for (int v1 = 0; v1 < mapMatrix.GetSize() - 1; v1++)
                    {
                        for (int v2 = v1 + 1; v2 < mapMatrix.GetSize(); v2++)
                        {
                            if (mapMatrix.ContainsEdge(v1, v2))
                            {
                                edgeCount++;
                                edgeList.Add(new Edge
                                {
                                    vStart  = v1,
                                    vFinish = v2,
                                    weight  = mapMatrix.GetEdge(v1, v2)
                                });
                            }
                        }
                    }
                    edgeCount /= 2;
                    QuickSort(edgeList, 0, edgeList.Count - 1);

                    // Show the list of all edges
                    Point[] originalLocations = new Point[2];
                    originalLocations[0] = new Point(24, 332);
                    originalLocations[1] = new Point(originalLocations[0].X + 228, originalLocations[0].Y);
                    for (int i = 0; i < edgeList.Count; i++)
                    {
                        Point location = new Point(originalLocations[i / edgeCount].X, originalLocations[i / edgeCount].Y + 44 * (i % edgeCount));
                        labelEdges.Add(new Label()
                        {
                            AutoSize    = true,
                            Font        = new Font("Microsoft YaHei", 12F, FontStyle.Bold, GraphicsUnit.Point, ((byte)(134))),
                            Location    = location,
                            MinimumSize = new Size(100, 44),
                            Name        = "labelEdge" + i.ToString(),
                            Size        = new Size(100, 44),
                            Text        = Convert.ToChar(edgeList[i].vStart + 'A').ToString() + Convert.ToChar(edgeList[i].vFinish + 'A').ToString(),
                            TextAlign   = ContentAlignment.TopCenter
                        });
                        labelEdges[i].Click += new EventHandler(LabelEdge_Click);
                        labelWeights.Add(new Label()
                        {
                            AutoSize    = true,
                            Font        = new Font("Microsoft YaHei", 12F, FontStyle.Bold, GraphicsUnit.Point, ((byte)(134))),
                            Location    = new Point(location.X + 100, location.Y),
                            MinimumSize = new Size(100, 44),
                            Name        = "labelWeight" + i.ToString(),
                            Size        = new Size(100, 44),
                            Text        = edgeList[i].weight.ToString(),
                            TextAlign   = ContentAlignment.TopCenter
                        });
                        labelWeights[i].Click += new EventHandler(LabelEdge_Click);
                        labelEdgeUsed.Add(new Label()
                        {
                            AutoSize    = true,
                            Font        = new Font("Microsoft YaHei", 12F, FontStyle.Bold, GraphicsUnit.Point, ((byte)(134))),
                            Location    = new Point(location.X + 200, location.Y),
                            MinimumSize = new Size(0, 22),
                            Name        = "labelEdgeUsed" + i.ToString(),
                            Size        = new Size(22, 22),
                            Text        = "×",
                            TextAlign   = ContentAlignment.TopCenter,
                            Visible     = false
                        });
                        this.Controls.Add(labelEdges[i]);
                        this.Controls.Add(labelWeights[i]);
                        this.Controls.Add(labelEdgeUsed[i]);
                    }
                    currentEdgeIndex = 0;
                    currentWeight    = edgeList[0].weight;
                    currentStep      = 2;
                }

                // Step 2 operations
                else if (currentStep == 2)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = Color.Red;
                    labelStep2.ForeColor = Color.Red;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;
                    foreach (Label label in labelEdges)
                    {
                        label.ForeColor = SystemColors.ControlText;
                    }
                    foreach (Label label in labelWeights)
                    {
                        label.ForeColor = SystemColors.ControlText;
                    }
                    labelEdges[currentEdgeIndex].ForeColor   = Color.Red;
                    labelWeights[currentEdgeIndex].ForeColor = Color.Red;

                    // Initialise text explanation label
                    labelInformation.Text    = "";
                    labelInformation.Visible = true;

                    // Perform Kruskal's algorithm
                    if (Find(edgeList[currentEdgeIndex].vStart).GetLeader() == Find(edgeList[currentEdgeIndex].vFinish).GetLeader()) // Reject edges forming a cycle
                    {
                        labelInformation.Text = "Adding edge " + labelEdges[currentEdgeIndex].Text + " will form a cycle, therefore edge " + labelEdges[currentEdgeIndex].Text + " should not be chosen.";
                        labelEdgeUsed[currentEdgeIndex].Text      = "×";
                        labelEdgeUsed[currentEdgeIndex].ForeColor = Color.Red;
                        labelEdgeUsed[currentEdgeIndex].Visible   = true;
                        labelEdges[currentEdgeIndex].Font         = new Font("Microsoft YaHei", 12F, ((System.Drawing.FontStyle)((System.Drawing.FontStyle.Bold | System.Drawing.FontStyle.Strikeout))), System.Drawing.GraphicsUnit.Point, ((byte)(134)));
                        labelWeights[currentEdgeIndex].Font       = new Font("Microsoft YaHei", 12F, ((System.Drawing.FontStyle)((System.Drawing.FontStyle.Bold | System.Drawing.FontStyle.Strikeout))), System.Drawing.GraphicsUnit.Point, ((byte)(134)));
                        do
                        {
                            currentEdgeIndex++;
                        } while (labelEdgeUsed[currentEdgeIndex].Visible);
                        currentWeight = edgeList[currentEdgeIndex].weight;
                        currentStep   = 2;
                    }
                    else
                    {
                        int         i            = currentEdgeIndex + 1;
                        List <Edge> tempEdgeList = new List <Edge>
                        {
                            edgeList[currentEdgeIndex]
                        };
                        while (edgeList[i].weight == currentWeight && !labelEdgeUsed[i].Visible)
                        {
                            if (Find(edgeList[i].vStart).GetLeader() != Find(edgeList[i].vFinish).GetLeader()) // Highlight feasible candidate edges
                            {
                                labelEdges[i].ForeColor   = Color.Red;
                                labelWeights[i].ForeColor = Color.Red;
                                tempEdgeList.Add(edgeList[i]);
                            }
                            else // Reject edges forming a cycle
                            {
                                labelInformation.Text     += "Adding edge " + labelEdges[i].Text + " will form a cycle, therefore edge " + labelEdges[i].Text + " should not be chosen.\n";
                                labelEdgeUsed[i].Text      = "×";
                                labelEdgeUsed[i].ForeColor = Color.Red;
                                labelEdgeUsed[i].Visible   = true;
                                labelEdges[i].Font         = new Font("Microsoft YaHei", 12F, ((System.Drawing.FontStyle)((System.Drawing.FontStyle.Bold | System.Drawing.FontStyle.Strikeout))), System.Drawing.GraphicsUnit.Point, ((byte)(134)));
                                labelWeights[i].Font       = new Font("Microsoft YaHei", 12F, ((System.Drawing.FontStyle)((System.Drawing.FontStyle.Bold | System.Drawing.FontStyle.Strikeout))), System.Drawing.GraphicsUnit.Point, ((byte)(134)));
                            }
                            i++;
                        }
                        if (tempEdgeList.Count >= 2) // More than two candidate edges - user operation required
                        {
                            labelInformation.Text += "Edges ";
                            foreach (Edge edge in tempEdgeList)
                            {
                                labelInformation.Text += Convert.ToChar(edge.vStart + 'A').ToString() + Convert.ToChar(edge.vFinish + 'A').ToString() + ", ";
                            }
                            labelInformation.Text  = labelInformation.Text.TrimEnd(", ".ToCharArray());
                            labelInformation.Text += " have the same weight. Please pick one of your choice.\n"
                                                     + "Please click on the edge in the list (NOT on the graph).";
                            currentStep        = 2;
                            buttonNext.Enabled = false;
                        }
                        else // One candidate edge only
                        {
                            labelInformation.Text += "Edge " + labelEdges[currentEdgeIndex].Text + " has been added to the Minimum Spanning Tree.";
                            labelEdgeUsed[currentEdgeIndex].Text      = "√";
                            labelEdgeUsed[currentEdgeIndex].ForeColor = Color.Green;
                            labelEdgeUsed[currentEdgeIndex].Visible   = true;
                            EdgeFocusOn(edgeList[currentEdgeIndex].vStart, edgeList[currentEdgeIndex].vFinish);
                            exampleGraph.LabelFocusOn(edgeList[currentEdgeIndex].vStart, edgeList[currentEdgeIndex].vFinish);
                            treeEdgeCount++;
                            weightMST += currentWeight;
                            Union(Find(edgeList[currentEdgeIndex].vStart).GetLeader(), Find(edgeList[currentEdgeIndex].vFinish).GetLeader());
                            currentEdgeIndex = i;
                            while (labelEdgeUsed[currentEdgeIndex].Visible)
                            {
                                currentEdgeIndex++;
                            }
                            currentWeight = edgeList[currentEdgeIndex].weight;
                            currentStep   = 3;
                        }
                    }
                }

                // Step 3 operation
                else // if (currentStep == 3)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = Color.Red;
                    labelStep3.ForeColor = Color.Red;
                    foreach (Label label in labelEdges)
                    {
                        label.ForeColor = SystemColors.ControlText;
                    }
                    foreach (Label label in labelWeights)
                    {
                        label.ForeColor = SystemColors.ControlText;
                    }

                    // Initialise text explanation label
                    labelInformation.Text    = "";
                    labelInformation.Visible = true;

                    // Check if the algorithm is finished
                    if (treeEdgeCount < mapMatrix.Count() - 1)
                    {
                        labelInformation.Text = "We have not yet formed a Minimum Spanning Tree, so go back to STEP 2.";
                        currentStep           = 2;
                    }
                    else
                    {
                        labelInformation.Text = "Now we have picked " + (mapMatrix.Count() - 1).ToString() + " edges and has formed a Minimum Spanning Tree.\nTherefore Kruskal's algorithm has finished.";
                        for (int i = 0; i < edgeList.Count; i++)
                        {
                            if (labelEdgeUsed[i].Text == "√")
                            {
                                labelTotalWeight.Text += labelWeights[i].Text + " + ";
                            }
                        }
                        labelTotalWeight.Text    = labelTotalWeight.Text.TrimEnd(" + ".ToCharArray());
                        labelTotalWeight.Text   += " = " + weightMST.ToString();
                        labelTotalWeight.Visible = true;
                        buttonNext.Text          = "Close";
                    }
                }
            }
        }
Ejemplo n.º 5
0
        // Graph/Tree Traversal (Group A) is implemented here.
        private void ButtonNext_Click(object sender, EventArgs e)
        {
            if (buttonNext.Text == "Close")
            {
                this.Close();
            }
            else
            {
                labelInformation.Visible = true;

                // Step 1 operation
                if (currentStep == 1)
                {
                    // Highlight current step
                    label1.ForeColor     = Color.Red;
                    labelStep1.ForeColor = Color.Red;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;

                    // Initialise Prim's algorithm
                    for (int i = 0; i < mapMatrix.GetSize(); i++)
                    {
                        if (mapMatrix.IsVertexExisting(i))
                        {
                            remainingVertices.Add(i);
                        }
                    }
                    labelInformation.Text = "Please pick a vertex of your choice:\nPlease click on the vertex of the graph.";
                    buttonNext.Enabled    = false;
                }

                // Step 2 operation
                else if (currentStep == 2)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = Color.Red;
                    labelStep2.ForeColor = Color.Red;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;

                    // Find minimum value of edge weight and candidate edges
                    double       min            = Double.MaxValue;
                    List <int[]> candidateEdges = new List <int[]>();

                    foreach (int i in visitedVertices)
                    {
                        foreach (int j in remainingVertices)
                        {
                            if (mapMatrix.ContainsEdge(i, j) && mapMatrix.GetEdge(i, j) < min) // Find minimum value of edge weight
                            {
                                min = mapMatrix.GetEdge(i, j);
                            }
                        }
                    }

                    foreach (int i in visitedVertices)
                    {
                        foreach (int j in remainingVertices)
                        {
                            if (mapMatrix.ContainsEdge(i, j) && mapMatrix.GetEdge(i, j) == min) // Find candidate edges
                            {
                                candidateEdges.Add(new int[2] {
                                    i, j
                                });
                            }
                        }
                    }

                    // More than two candidate edges - User operation required
                    if (candidateEdges.Count >= 2)
                    {
                        // Show explanation
                        labelInformation.Text = "Edges ";
                        foreach (int[] edge in candidateEdges)
                        {
                            labelInformation.Text += Convert.ToChar(edge[0] + 'A').ToString() + Convert.ToChar(edge[1] + 'A').ToString() + ", ";
                        }
                        labelInformation.Text  = labelInformation.Text.TrimEnd(", ".ToCharArray());
                        labelInformation.Text += " have the same weight (" + min.ToString() + "). Please pick one of your choice:\n"
                                                 + "Please click on the vertex or the weight.";

                        // Highlight candidate edges
                        for (int i = 0; i < candidateEdges.Count; i++)
                        {
                            int    v1        = Math.Min(candidateEdges[i][0], candidateEdges[i][1]);
                            int    v2        = Math.Max(candidateEdges[i][0], candidateEdges[i][1]);
                            string labelName = "label" + Convert.ToChar(v1 + 'A').ToString() + Convert.ToChar(v2 + 'A').ToString();
                            foreach (Label label in exampleGraph.labelWeights)
                            {
                                if (label.Name == labelName)
                                {
                                    label.ForeColor = Color.Red;
                                    break;
                                }
                            }
                            foreach (Vertex vertex in vertices)
                            {
                                if (vertex.GetNumberIndex() == candidateEdges[i][1])
                                {
                                    vertex.labelName.ForeColor = Color.Red;
                                    break;
                                }
                            }
                        }

                        currentStep        = 2;
                        buttonNext.Enabled = false;
                    }

                    // Only one candidate edge avaliable - No user operation needed
                    else
                    {
                        // Show explanation
                        int[] newEdge = new int[2] {
                            candidateEdges[0][0], candidateEdges[0][1]
                        };
                        labelInformation.Text = "Edge " + Convert.ToChar(candidateEdges[0][0] + 'A').ToString() + Convert.ToChar(candidateEdges[0][1] + 'A').ToString()
                                                + " has the minimum weight joining a vertex already included to a vertex not already included (" + min.ToString() + "),"
                                                + " therefore it has been added to the Minimum Spanning Tree.";

                        // Update Prim's algorithm
                        foreach (Vertex vertex in vertices)
                        {
                            if (vertex.GetNumberIndex() == newEdge[1])
                            {
                                weightMST             += min;
                                labelTotalWeight.Text += min.ToString() + " + ";
                                visitedVertices.Add(newEdge[1]);
                                remainingVertices.Remove(newEdge[1]);
                                EdgeFocusOn(newEdge[0], newEdge[1]);
                                exampleGraph.LabelFocusOn(newEdge[0], newEdge[1]);
                                currentStep = 3;
                                break;
                            }
                        }
                    }
                }

                // Step 3 operation
                else // if (currentStep == 3)
                {
                    // Highlight current steps
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = Color.Red;
                    labelStep3.ForeColor = Color.Red;

                    // Check if Prim's algorithm has finished
                    if (remainingVertices.Any())
                    {
                        labelInformation.Text = "We have not yet formed a Minimum Spanning Tree, so go back to STEP 2.";
                        currentStep           = 2;
                    }
                    else
                    {
                        labelInformation.Text    = "Now we have picked " + (mapMatrix.Count() - 1).ToString() + " edges and has formed a Minimum Spanning Tree.\nTherefore Prim's algorithm has finished.";
                        labelTotalWeight.Text    = labelTotalWeight.Text.TrimEnd(" + ".ToCharArray());
                        labelTotalWeight.Text   += " = " + weightMST.ToString();
                        labelTotalWeight.Visible = true;
                        buttonNext.Text          = "Close";
                    }
                }
            }
        }
Ejemplo n.º 6
0
        public FormPrimOnMatrix(int accountID, string username, string accountName, string accountType, int example)
        {
            InitializeComponent();

            // Show account name on the account menu.
            this.accountMenu.accountID             = accountID;
            this.accountMenu.username              = username;
            this.accountMenu.labelAccountName.Text = accountName;
            this.accountMenu.accountType           = accountType;
            this.example = example;

            // Select the correct example graph to perform the demonstration.
            if (example == 1)
            {
                exampleGraph = new MinimumSpanningTreeExample1(this.panelGraph);
            }
            else
            {
                exampleGraph = new MinimumSpanningTreeExample2(this.panelGraph);
            }

            // Initialise the example graph.
            vertices  = exampleGraph.GetVertices();
            mapMatrix = exampleGraph.GetMatrix();

            // Initialise the table for the example graph.
            for (int i = 0; i <= mapMatrix.Count(); i++)
            {
                DataGridViewColumn newColumn = new DataGridViewColumn
                {
                    CellTemplate = new DataGridViewTextBoxCell(),
                    SortMode     = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable,
                    Width        = 60
                };
                if (i == 0)
                {
                    newColumn.Width = 41;
                }
                dataGridViewGraph.Columns.Add(newColumn);
            }

            int count = 1;

            for (int i = 0; i < mapMatrix.GetSize(); i++)
            {
                if (mapMatrix.IsVertexExisting(i))
                {
                    dataGridViewGraph.Columns[count].HeaderText = Convert.ToChar('A' + i).ToString();
                    dataGridViewGraph.Columns[count].Name       = "Column" + dataGridViewGraph.Columns[count].HeaderText;
                    count++;
                }
            }

            count = 0;
            this.dataGridViewGraph.RowCount = mapMatrix.Count();
            for (int i = 0; i < mapMatrix.GetSize(); i++)
            {
                if (mapMatrix.IsVertexExisting(i))
                {
                    this.dataGridViewGraph[0, count++].Value = (Convert.ToChar('A' + i)).ToString();
                }
            }

            for (int col = 1; col <= mapMatrix.Count(); col++)
            {
                for (int row = 0; row < mapMatrix.Count(); row++)
                {
                    int vStartIndex  = mapMatrix.GetVertexIndex(dataGridViewGraph.Columns[col].HeaderText);
                    int vFinishIndex = mapMatrix.GetVertexIndex(this.dataGridViewGraph[0, row].Value.ToString());
                    if (mapMatrix.ContainsEdge(vStartIndex, vFinishIndex))
                    {
                        this.dataGridViewGraph[col, row].Value = mapMatrix.GetEdge(vStartIndex, vFinishIndex);
                    }
                    else
                    {
                        this.dataGridViewGraph[col, row].Value = "-";
                    }
                }
            }
        }
Ejemplo n.º 7
0
        // Graph/Tree Traversal (Group A) is implemented here.
        private void ButtonNext_Click(object sender, EventArgs e)
        {
            if (buttonNext.Text == "Close")
            {
                this.Close();
            }
            else
            {
                labelInformation.Visible = true;
                double min;

                // Step 1 operation
                if (currentStep == 1)
                {
                    // Highlight current step
                    label1.ForeColor     = Color.Red;
                    labelStep1.ForeColor = Color.Red;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;
                    label4.ForeColor     = SystemColors.ControlText;
                    labelStep4.ForeColor = SystemColors.ControlText;
                    label5.ForeColor     = SystemColors.ControlText;
                    labelStep5.ForeColor = SystemColors.ControlText;

                    // Initialise Prim's algorithm
                    for (int i = 0; i < mapMatrix.GetSize(); i++)
                    {
                        if (mapMatrix.IsVertexExisting(i))
                        {
                            remainingVertices.Add(i);
                        }
                    }
                    labelInformation.Text = "Please pick a vertex of your choice:\nPlease click on the headers of the tableau.";
                    buttonNext.Enabled    = false;
                }

                // Step 2 operation
                else if (currentStep == 2)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = Color.Red;
                    labelStep2.ForeColor = Color.Red;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;
                    label4.ForeColor     = SystemColors.ControlText;
                    labelStep4.ForeColor = SystemColors.ControlText;
                    label5.ForeColor     = SystemColors.ControlText;
                    labelStep5.ForeColor = SystemColors.ControlText;

                    // Find minimum value of edge weight and candidate edges
                    min = double.MaxValue;
                    candidateEdges.Clear();

                    foreach (int i in visitedVertices)
                    {
                        foreach (int j in remainingVertices)
                        {
                            if (mapMatrix.ContainsEdge(i, j) && mapMatrix.GetEdge(i, j) < min) // Find minimum value of edge weight
                            {
                                min = mapMatrix.GetEdge(i, j);
                            }
                        }
                    }

                    foreach (int i in visitedVertices)
                    {
                        foreach (int j in remainingVertices)
                        {
                            if (mapMatrix.ContainsEdge(i, j) && mapMatrix.GetEdge(i, j) == min) // Find candidate edges
                            {
                                candidateEdges.Add(new int[2] {
                                    i, j
                                });
                            }
                        }
                    }

                    // Show candidate edges on the table
                    for (int i = 0; i < candidateEdges.Count; i++)
                    {
                        char v1 = Convert.ToChar(candidateEdges[i][0] + 'A');
                        char v2 = Convert.ToChar(candidateEdges[i][1] + 'A');
                        for (int col = 1; col < dataGridViewGraph.ColumnCount; col++)
                        {
                            if (dataGridViewGraph.Columns[col].HeaderText[0] == v1)
                            {
                                for (int row = 0; row < dataGridViewGraph.RowCount; row++)
                                {
                                    if (dataGridViewGraph[0, row].Value.ToString() == v2.ToString())
                                    {
                                        dataGridViewGraph[col, row].Style.ForeColor          = Color.Red;
                                        dataGridViewGraph[col, row].Style.SelectionForeColor = Color.Red;
                                    }
                                }
                            }
                        }
                    }

                    // More than two candidate edges - User operation required
                    if (candidateEdges.Count >= 2)
                    {
                        labelInformation.Text = "Edges ";
                        foreach (int[] edge in candidateEdges)
                        {
                            labelInformation.Text += Convert.ToChar(edge[0] + 'A').ToString() + Convert.ToChar(edge[1] + 'A').ToString() + ", ";
                        }
                        labelInformation.Text  = labelInformation.Text.TrimEnd(", ".ToCharArray());
                        labelInformation.Text += " have the same weight (" + min.ToString() + "). Please pick one of your choice:\n"
                                                 + "Please click on the weights in the tableau.";
                        currentStep        = 2;
                        buttonNext.Enabled = false;
                    }

                    // Only one candidate edge avaliable - No user operation needed
                    else if (candidateEdges.Count == 1)
                    {
                        newEdge = new int[2] {
                            candidateEdges[0][0], candidateEdges[0][1]
                        };
                        labelInformation.Text = "Edge " + Convert.ToChar(candidateEdges[0][0] + 'A').ToString() + Convert.ToChar(candidateEdges[0][1] + 'A').ToString()
                                                + " has the minimum weight from the uncircled entries in the marked column(s) (" + min.ToString() + "),"
                                                + " therefore it has been chosen.";
                        currentStep = 3;
                    }

                    // No candidate edge found - Algorithm about to finish
                    else
                    {
                        labelInformation.Text = "";
                        currentStep           = 3;
                    }
                }

                // Step 3 operation
                else if (currentStep == 3)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = Color.Red;
                    labelStep3.ForeColor = Color.Red;
                    label4.ForeColor     = SystemColors.ControlText;
                    labelStep4.ForeColor = SystemColors.ControlText;
                    label5.ForeColor     = SystemColors.ControlText;
                    labelStep5.ForeColor = SystemColors.ControlText;

                    // Check if Prim's algorithm has finished
                    if (candidateEdges.Count == 0)
                    {
                        labelInformation.Text = "There is no available entry to be chosen, and therefore Prim's algorithm has finished.\n"
                                                + "We have found a Minimum Spanning Tree.";
                        labelTotalWeight.Text    = labelTotalWeight.Text.TrimEnd(" + ".ToCharArray());
                        labelTotalWeight.Text   += " = " + weightMST.ToString();
                        labelTotalWeight.Visible = true;
                        buttonNext.Text          = "Close";
                    }
                    else
                    {
                        labelInformation.Text += "\nNow that we have found an entry, we should go to STEP 4.";
                        currentStep            = 4;
                    }
                }

                // Step 4 operation
                else if (currentStep == 4)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;
                    label4.ForeColor     = Color.Red;
                    labelStep4.ForeColor = Color.Red;
                    label5.ForeColor     = SystemColors.ControlText;
                    labelStep5.ForeColor = SystemColors.ControlText;

                    // Update Prim's algorithm and show demonstration
                    labelInformation.Text = "";

                    weightMST             += mapMatrix.GetEdge(newEdge[0], newEdge[1]);
                    labelTotalWeight.Text += mapMatrix.GetEdge(newEdge[0], newEdge[1]).ToString() + " + ";
                    visitedVertices.Add(newEdge[1]);
                    remainingVertices.Remove(newEdge[1]);
                    EdgeFocusOn(newEdge[0], newEdge[1]);
                    exampleGraph.LabelFocusOn(newEdge[0], newEdge[1]);

                    char v1 = Convert.ToChar(newEdge[0] + 'A');
                    char v2 = Convert.ToChar(newEdge[1] + 'A');
                    for (int col = 1; col < dataGridViewGraph.ColumnCount; col++)
                    {
                        for (int row = 0; row < dataGridViewGraph.RowCount; row++)
                        {
                            if (dataGridViewGraph.Columns[col].HeaderText[0] == v1 && dataGridViewGraph[0, row].Value.ToString() == v2.ToString())
                            {
                                dataGridViewGraph.Columns[row + 1].HeaderCell.Style.ForeColor          = Color.Red;
                                dataGridViewGraph.Columns[row + 1].HeaderCell.Style.SelectionForeColor = Color.Red;
                                dataGridViewGraph.Columns[row + 1].HeaderCell.Value = dataGridViewGraph.Columns[row + 1].HeaderCell.Value.ToString() + " " + visitedVertices.Count.ToString();
                                dataGridViewGraph[col, row].Style.Font               = boldFont;
                                dataGridViewGraph[col, row].Style.ForeColor          = Color.Red;
                                dataGridViewGraph[col, row].Style.SelectionForeColor = Color.Red;
                            }
                            else if (dataGridViewGraph[col, row].Style.Font != boldFont)
                            {
                                dataGridViewGraph[col, row].Style.ForeColor          = SystemColors.ControlText;
                                dataGridViewGraph[col, row].Style.SelectionForeColor = SystemColors.ControlText;
                                if (visitedVertices.Contains(Convert.ToInt32(Convert.ToChar(dataGridViewGraph[0, row].Value) - 'A')))
                                {
                                    dataGridViewGraph[col, row].Style.Font = strikeoutFont;
                                }
                            }
                        }
                    }

                    currentStep = 5;
                }

                // Step 5 operation
                else // if (currentStep == 5)
                {
                    // Highlight current step
                    label1.ForeColor     = SystemColors.ControlText;
                    labelStep1.ForeColor = SystemColors.ControlText;
                    label2.ForeColor     = SystemColors.ControlText;
                    labelStep2.ForeColor = SystemColors.ControlText;
                    label3.ForeColor     = SystemColors.ControlText;
                    labelStep3.ForeColor = SystemColors.ControlText;
                    label4.ForeColor     = SystemColors.ControlText;
                    labelStep4.ForeColor = SystemColors.ControlText;
                    label5.ForeColor     = Color.Red;
                    labelStep5.ForeColor = Color.Red;

                    // Refresh and go to Step 2
                    labelInformation.Text = "";
                    currentStep           = 2;
                }
            }
        }
 /// <summary>
 /// Shows the edge weight on the label.
 /// </summary>
 public void DrawLabelWeights()
 {
     for (int v1 = 0; v1 < mapMatrix.GetSize(); v1++)
     {
         for (int v2 = 0; v2 < mapMatrix.GetSize(); v2++)
         {
             labelWeights[v1, v2].Enabled = mapMatrix.ContainsEdge(v1, v2);
             labelWeights[v1, v2].Visible = mapMatrix.ContainsEdge(v1, v2);
         }
     }
     foreach (DijkstraVertexLabel v1 in vertices)
     {
         foreach (DijkstraVertexLabel v2 in vertices)
         {
             int vStart  = v1.GetNumberIndex();
             int vFinish = v2.GetNumberIndex();
             if (mapMatrix.ContainsEdge(vStart, vFinish))
             {
                 if (mapMatrix.ContainsEdge(vFinish, vStart) && mapMatrix.GetEdge(vStart, vFinish) != mapMatrix.GetEdge(vFinish, vStart))
                 {
                     if (vFinish > vStart)
                     {
                         Point midPoint = new Point
                                          (
                             (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                             (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                          );
                         Point pointForward = new Point
                                              (
                             Convert.ToInt32(Math.Round(midPoint.X + 42 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(midPoint.Y - 42 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                              );
                         Point pointBackward = new Point
                                               (
                             Convert.ToInt32(Math.Round(midPoint.X - 42 * (v2.GetCentreLocation().Y - v1.GetCentreLocation().Y) / v1.GetDistance(v2))),
                             Convert.ToInt32(Math.Round(midPoint.Y + 42 * (v2.GetCentreLocation().X - v1.GetCentreLocation().X) / v1.GetDistance(v2)))
                                               );
                         labelWeights[vStart, vFinish].Location = new Point
                                                                  (
                             pointForward.X - labelWeights[vStart, vFinish].Width,
                             pointForward.Y - labelWeights[vStart, vFinish].Height
                                                                  );
                         labelWeights[vStart, vFinish].Text     = mapMatrix.GetEdge(vStart, vFinish).ToString();
                         labelWeights[vFinish, vStart].Location = new Point
                                                                  (
                             pointBackward.X - labelWeights[vFinish, vStart].Width,
                             pointBackward.Y - labelWeights[vFinish, vStart].Height
                                                                  );
                         labelWeights[vFinish, vStart].Text = mapMatrix.GetEdge(vFinish, vStart).ToString();
                     }
                 }
                 else if (labelWeights[vStart, vFinish].Enabled)
                 {
                     Point midPoint = new Point
                                      (
                         (v1.GetCentreLocation().X + v2.GetCentreLocation().X) / 2,
                         (v1.GetCentreLocation().Y + v2.GetCentreLocation().Y) / 2
                                      );
                     labelWeights[vStart, vFinish].Location = new Point
                                                              (
                         midPoint.X - labelWeights[vStart, vFinish].Width,
                         midPoint.Y - labelWeights[vStart, vFinish].Height
                                                              );
                     labelWeights[vStart, vFinish].Text    = mapMatrix.GetEdge(vStart, vFinish).ToString();
                     labelWeights[vFinish, vStart].Enabled = false;
                     labelWeights[vFinish, vStart].Visible = false;
                 }
             }
         }
     }
 }