• Nie Znaleziono Wyników

G. Plebanek M atP rogOpt no 7 May 30, 2021

N/A
N/A
Protected

Academic year: 2021

Share "G. Plebanek M atP rogOpt no 7 May 30, 2021"

Copied!
2
0
0

Pełen tekst

(1)

G. Plebanek M atP rogOpt no 7 May 30, 2021

1. The general network flow problem with bounded capacities (GNFPC). Recall that we consider a directed graph G = (V, A) together with a function V 3 i → bi ∈ R defining an external supply; we assume Pibi = 0. We are also given a function c : A → R+, cij is the cost in the arc (i, j) ∈ A and now, additionally, a function u : A → R+ determining maximal capacities. Then a flow f = (f (i, j))(i,j)∈A is feasible if 0 ¬ f (i, j) ¬ uij for every arc (i, j) ∈ A and Pj∈In(i)f (j, i) + bi = Pj∈Out(i)f (i, j) for every vertex i. As before, we want to minimize P(i,j)∈Acijf (i, j) over all feasible flows.

The basic simplex algorithm can be adjusted to cover such a case. Try to analyze the following.

(a) Every basic solution f of GNFPC is associated with a set of edges T forming a spanning tree together with a partition of the remaining arcs A \ T into two parts D and U so that f (i, j) = 0 for (i, j) ∈ D and f (i, j) = uij for (i, j) ∈ U .

(b) Having some basic solution which is feasible, we find pi’s so that the reduced costs cij = cij − (pi− pj) become zero on the arcs belongind to the given tree.

(c) Then the test for optimality is: cij ­ 0 for all (i, j) ∈ D and cij ¬ 0 whenever (ij) ∈ U .

(d) If f failed the test for optimality then we pick an arc (i, j) witnessing the fact.

Incorporating this arc to the tree we get the unique circle C. We orient C as follows:

if (i, j) ∈ D then (i, j) is a forward arc; otherwise, it becomes backward.

(e) We can determine a parameter θ ­ 0 and increase the flow on the forward arcs by θ and decrease it on the backward arcs by θ so that we obtain another basic feasible solution. Then we update T, D, U and repeat.

2. Prove that if GNFPC has at least one feasible solution then such a solution can be found using the Ford-Fulkerson algorithm.

3. The following shows that the problem GNFPC can be seen as a transportation problem TP (we assume that uij are finite for all arcs). We form TP as follows.

(a) Every arc (i, j) ∈ A is treated as a provider in TP offering uij. (b) Every vertex i becomes a recipient demandingPk∈Out(i)uik− bi.

(c) For every arc (i, j) (which is now a provider) the transportation cost is zero to i and cij to j. We think that, in the transportation problem, the cost of sending anything from the ‘provider’ (i, j) to the ‘recipient’ k different from i, j is infinite.

Try to find the correspondence between solutions of GNFPC and the resulting transpor- tation problem,

(2)

4. A version of the max flow problem. Consider a directed graph G = (V, A) with a source s ∈ V and a target t ∈ V . This time we have a function u : V → R+ fixing the capacities of the vertices (no bounds on capacity of the arcs). We want to determine the maximal flow from s to t respecting u, so that

X

k∈In(i)

f (k, i) = X

k∈Out(i)

f (i, k) ¬ u(i),

for every i ∈ V \ {s, t}.

Check that such a problem reduces to the classical max flow problem by the following.

For every i ∈ V \ {s, t} form two vertices i0, i00 connected by an arc (i0, i00) of capacity u(i) (add all ‘obvious’ arcs with infinite capacity).

5. Consider a directed graph G = (V, A) with two different vertices s, t ∈ V fixed. Say that the connectivity of G (between s ant t) is the maximal number of directed paths from s to t going through pairwise disjoint sets of vertices. Say also that the vulnerability in the this context is the minimal number of vertices blocking every way from s to t.

Apply the max flow problem to prove that connectivity is equal to vulnerability.

6. How would you solve the max flow problem on an undirected graph with fixed capacities of the edges?

7. Cutting plane. Suppose that we consider a linear problem LP min c · x subject to Ax = b, x ­ 0 (where c, ∈ Rn, A is a m × n matrix etc.) but this time we add a condition that x should have integer coefficients, call such a problem IP.

Find a simple example showing that solving LP and taking the ‘closest’ integer values may not be a good idea.

8. A general idea for solving IP above: solve LP and if the optimal solution x has integer coefficients then we are done. Otherwise, we extend LP by some cut adding a new constraint that all integer-valued solution satisfy but x does not (this will cut off x).

Check that if x is a basic optimal solution of LP with some coefficient being fractional then we can add the constraint

X

i∈N

xi ­ 1,

where N ⊆ {1, 2, . . . , n} is the set of nonbasic coordinates to have such a cut.

9. You have a silver wire of length 15 m. You can sell i-meter pieces for ci per piece, i = 1, 2, 3, 4. How do you cut your treasure?

Cytaty

Powiązane dokumenty

Find the area of the smaller section of land ABC, given the additional information shown below... A recreation park has

Recall that the covering number of the null ideal (i.e. Fremlin and has been around since the late seventies. It appears in Fremlin’s list of problems, [Fe94], as problem CO.

More precisely, we show that two submanifolds of type number greater than one having the same affine connections and second fundamental forms are affinely equivalent.. The type

The elements in F ∩ C are splitters and in the case of Harrison’s classical cotorsion theory these are the torsion-free, algebraically compact groups.. For the trivial cotorsion

For t that are divisble by 2 and 3 we will use the theory of quadratic forms, modular forms and Gauss’ Eureka theorem to prove the positivity of c t (n).. When p ≥ 5 is prime, we

The difference lies in that we use Lemma 4 above three times to choose parameters optimally and in the last step the exponent pair (1/2, 1/2) is

This is a Ramsey-type question (see [3], [4]) for integers: when is it true that every partition is such that at least one of the parts has a certain property.. Our aim in this note

Also the proof of the theorem is similar and is based on the comparison with the geometric series (the reader is advised to carry out the proof in the case of positive terms).