-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathGrafo.cs
149 lines (120 loc) · 4.25 KB
/
Grafo.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Windows.Forms;
using System.Drawing;
using System.Security.Cryptography.X509Certificates;
namespace Dijkstra
{
public class Grafo : Panel
{
//public List<Vertice> vertici;
//public List<Vertice> frontiera;
public List<Vertice> nonVisitati;
public List<Vertice> visitati;
public Vertice Attivo { get; set; }
public Grafo()
{
nonVisitati = new List<Vertice>();
//frontiera = new List<Vertice>();
visitati = new List<Vertice>();
//vertici = new List<Vertice>();
this.BorderStyle = BorderStyle.Fixed3D;
this.BackColor = Color.White;
this.Size = new Size(1500, 900);
for (int i = 0; i < 15; i++)
for (int j = 0; j < 25; j++)
{
Postazione p = new Postazione(i, j);
p.Location = new Point(j * 60, i * 60);
this.Controls.Add(p);
}
}
public Grafo(Grafo grafo)
{
this.nonVisitati = new List<Vertice>(grafo.nonVisitati);
this.visitati = new List<Vertice>(grafo.visitati);
this.Attivo = grafo.Attivo;
}
public void AggiungiVertice(Vertice v)
{
nonVisitati.Add(v);
}
public void SpostaVisitati(Vertice v)
{
nonVisitati.Remove(v);
visitati.Add(v);
}
public void Visita()
{
Attivo = visitati.ElementAt(0);
if (!Attivo.Visitato)
{
Attivo.Visitato = true;
visitati.Add(Attivo);
}
visitati.RemoveAt(0);
}
public void Relax(Arco arco)
{
if (!arco.Destinazione.Visitato && arco.Destinazione.Peso > Attivo.Peso + arco.Peso)
{
Console.WriteLine("Relax");
arco.Destinazione.Peso = Attivo.Peso + arco.Peso;
arco.Destinazione.Predecessore = Attivo;
}
}
public bool Aggiornamento(Arco arco)
{
if (arco.Destinazione.Peso > arco.Sorgente.Peso + arco.Peso)
{
Console.WriteLine("Relax");
arco.Destinazione.Peso = arco.Sorgente.Peso + arco.Peso;
arco.Destinazione.Predecessore = arco.Sorgente;
return true;
}
return false;
}
public Vertice DaNome(string nome)
{
var query = from vertice in nonVisitati
where vertice.Nome == nome
select vertice;
return query.First();
}
/* public void InizializzaSorgenteSingola(Vertice v)
{
v.Peso = 0;
SpostaVisitati(v);
}
public void AggiungiNodo(Vertice v)
{
vertici.Add(v);
Controls.Add(v);
}*/
protected override void OnPaint(PaintEventArgs e)
{
Graphics gr = e.Graphics;
foreach (Control c in Controls)
{
Postazione p = c as Postazione;
if (p != null && p.Controls.Count > 0)
{
Vertice v = p.Controls[0] as Vertice;
if (v != null)
{
for (int i = 0; i < v.listaAdiacenti.Count; i++)
{
Brush b = Brushes.Blue;
Brush y = Brushes.RosyBrown;
gr.DrawLine(new Pen(Color.Red, 2), new Point(v.Posx + 30, v.Posy + 30), new Point(v.listaAdiacenti[i].Destinazione.Posx + 30, v.listaAdiacenti[i].Destinazione.Posy + 30));
gr.DrawString(v.listaAdiacenti[i].Peso.ToString(), new Font("Arial", 14F), y, new PointF((float)((v.Posx + v.listaAdiacenti[i].Destinazione.Posx) / 2), (float)(v.Posy + v.listaAdiacenti[i].Destinazione.Posy) / 2));
}
}
}
}
base.OnPaint(e);
}
}
}