private void relax(EdgeWeightedDigraph G, int v)
	{
		for (WeightedDirectedEdge e : G.adj(v))
		{
			int w = e.to();
			if (distTo[w] < distTo[v] + e.weight())
			{
				distTo[w] = distTo[v] + e.weight();
				edgeTo[w] = e;
			}
		}
	}