W v0 v1 v2 v3 v4 v0 0 1 infty 2 infty v1 infty 0 2 infty infty v2 infty infty 0 1 infty v3 1 infty infty 0 3 v4 infty infty 1 infty 0 => D v0 v1 v2 v3 v4 v0 0 1 3 2 4 v1 4 0 2 3 3 v2 2 3 0 1 4 v3 1 2 4 0 3 v4 3 4 1 2 0