private void Visit(EdgeWeightedGraph G, int v)
{
_marked[v] = true;
foreach (var e in G.Adj(v))
{
var w = e.Other(v);
if (_marked[w])
{
continue;
}
if (_distTo[w] > e.Weight())
{
_edgeTo[w] = e;
_distTo[w] = e.Weight();
if (_pq.Contains(w))
{
_pq.Change(w, e.Weight());
}
else
{
_pq.Insert(w, e.Weight());
}
}
}
}
private void Relax(EdgeWeightedDigraph G, int v)
{
foreach (var e in G.Adj(v))
{
var w = e.To();
if (_distTo[w] > _distTo[v] + e.Weight())
{
_distTo[w] = _distTo[v] + e.Weight();
_edgeTo[w] = e;
if (_pq.Contains(w))
{
_pq.Change(w, _distTo[w]);
}
else
{
_pq.Insert(w, _distTo[w]);
}
}
}
}