• Nie Znaleziono Wyników

Flows in networks minimizing cost We now think that V = {1, 2, . . . , n}. The network. Given a directed graph G = (V, A) together with • a function V � i → b

N/A
N/A
Protected

Academic year: 2021

Share "Flows in networks minimizing cost We now think that V = {1, 2, . . . , n}. The network. Given a directed graph G = (V, A) together with • a function V � i → b"

Copied!
7
0
0

Pełen tekst

(1)

We now think that V = {1, 2, . . . , n}.

The network. Given a directed graph G = (V, A) together with

• a function V � i → bi ∈ R defining an external sup- ply; we assume ibi = 0;

• a function c : A → R+, cij is the cost in the arc (i, j) ∈ A

Definition. A flow f = (f(i, j))(i,j)∈A is feasible if (i) 0 � f(i, j) for every arc (i, j) ∈ A;

(ii) j∈In(i)f(j, i) + bi = j∈Out(i)f(i, j) for every vertex i.

General problem. Minimize

(i,j)∈Acijf(i, j), over all feasible flows.

1

(2)

Adapt the general simplex method to network flows

Theorem. Every feasible flow that is a BFS flows through some spanning tree of the graph.

Theorem. Every spanning tree of the graph define a basic solution (feasible or not).

(3)

Reducing the costs

Theorem. If p : V → R is any function and we reduce the costs by the formula

cij = cij − (pi − pj),

then we get an equivalent problem.

Proof.

(i,j)∈Acijf(i, j)−

(i,j)∈Acijf(i, j) = −

(i,j)∈A(pi−pj)f(i, j) =

= −

i pi

j∈Out(i)

f(i, j) +

j pj

i∈In(j)

f(i, j) =

= −

i pi

j∈Out(i)

f(i, j) +

i pi

j∈In(i)

f(j, i) =

i pibi.

Theorem. If f is a feasible flow connected with some span- ning tree T then there are pi such that the reduced costs cij = cij − (pi− pj) is zero for every arc (i, j) from that tree.

(4)

Changing BFS.

Suppose that f is a feasible flow on some spanning tree T . We have reduced the costs and have cij < 0 for some edge (i, j) outside T .

Adding (i, j) to the edges of T we get a unique cycle C. Let B denote te arcs in that cycle that are ‘backward’; F = C \ B.

If B = ∅ then the optimal costs is −∞.

Otherwise, we take θ = min{f(e) : e ∈ B} and modify the flow:

f(x, y) =

f(x, y) + θ when (x, y) ∈ F f(x, y) − θ when (x, y) ∈ B f(x, y) otherwise

(5)

Summary

Simplex for network flows.

(1) Find some spanning tree and the unique flows through that tree. Assume it is feasible.

(2) Reduce the costs; if they are nonnegative then the flows is optimal.

(3) Otherwise, modify the flow incorporating ‘negative’ ed- ge to the tree.; GoTo (2).

(6)

Duality

Consider a problem (D) max

i�nbiyi subject to

yi − yj � cij for all (i, j) ∈ A.

Theorem (weak duality). If y is a feasible solution of (D) then

b · y =

i∈V biyi

(i,j)∈Acijf(i, j), for every feasible flow f.

Proof.

(i,j)∈Acijf(i, j) �

(i,j)∈A(yi − yj)f(i, j) =

=

(i,j)∈Ayif(i, j) −

(i,j)∈Ayjf(i, j) =

=

i yi

j∈Out(i)

f(i, j) −

j yj

i∈In(j)

f(i, j) =

=

i yi

j∈Out(i)

f(i, j) −

i yi

j∈In(i)

f(j, i) =

=

i yj

j∈Out(i)

f(i.j) −

j∈In(i)

f(i, j)

=

i yibi.

(7)

Cytaty

Powiązane dokumenty

It is shown that the 3-Interchange Graph is a hamiltonian subgraph of the Symmetric Traveling Salesman Polytope.. Upper bounds are derived for the diameters of the 3-Interchange

While the rankings assigned by the Pagerank and Hits algorithms are based on the distribution of inlinks and outlinks among the nodes, the rankings assigned by the PH algorithm

Thus, when determining whether a given partition Π of vertices of a graph G is a resolving partition for G, we need only verify that the vertices of G belonging to same element in

The ‘only if direction’ follows from the well-known result that every induced subgraph of a strongly chordal graph has a simple vertex , meaning a vertex v such that the

Some classes of difference graphs (paths, trees, cycles, special wheels, com- plete graphs, complete bipartite graphs etc.) were investigated by Bloom, Burr, Eggleton, Gervacio,

Several variations of the tree graph have been studied; see for instance the adjacency tree graph studied by Zhang and Chen in [5] and by Heinrich and Liu in [3], and the leaf

(e) Comment on

It was shown in [10] that given a geodetic set S of a median graph, every periphery contains a vertex from S; this yields the concept of the periphery transversal number as the