Download presentation
Presentation is loading. Please wait.
1
Flow Feasibility Problems
Flow feasibility problem: Given (πΊ, π’, π, π , π), determine whether there exists a feasible flow from π to π of value at least π. algorithm and good characterization with max-flow min-cut thm. Other types of flow feasibility problems? Transportation Problem Given πΊ=(π,πΈ) with partition {π,π} of nodes and vectors πβ π + π , πβ π + π , find π₯β π
πΈ satisfying ( π₯ ππ :πβπ, ππβπΈ )β€ π π , for all πβπ ( π₯ ππ :πβπ, ππβπΈ )= π π , for all πβπ π₯ππβ₯0, for all ππβπΈ π₯ππ integral, for all ππβπΈ. ο₯ 1 3 1 3 π π 2 1 π 2 1 π 4 2 4 2 Combinatorial Optimization 2016
2
For any finite cut ο€β²(π΄βͺπ΅βͺ{π}), where π΄βπ, π΅βπ, the capacity is
There exists integral feasible flow in TP iff there exists an integral feasible flow in πΊβ² from π to π of value ο(ππ :πβπ) For any finite cut ο€β²(π΄βͺπ΅βͺ{π}), where π΄βπ, π΅βπ, the capacity is ( π π :πβπβπ΄)+ ( π π :πβπ΅) πβπ΄ πβπ΅ π π π΄ π΅ (π΄βͺπ΅βͺ{π}) Cut capacity is at least ο(ππ :πβπ) iff ο(ππ :πβπ\A)β₯ο(ππ :πβπ\B) Check this condition for the sets π΄ s.t. every node in π\A is adjacent to a node in π\B, since any node violating this could be added to π΄. ( Define Neighborset π(πΆ) of πΆβπ : {π€: π£π€βπΈ πππ π πππ π£βπΆ}. Then π(π\B)=π\A ) Necessary and sufficient conditions for existence of solution: π(π(πΆ))β₯π(πΆ) , for all πΆβπ. Combinatorial Optimization 2016
3
Does there exist π₯β π
πΈ (or π πΈ ) such that ππ£β€ππ₯(π£)β€ππ£ , for all π£βπ
General problem: Does there exist π₯β π
πΈ (or π πΈ ) such that ππ£β€ππ₯(π£)β€ππ£ , for all π£βπ ππβ€π₯πβ€π’π, for all πβπΈ Special case: π=0, π=π: want π₯β π
πΈ such that ππ₯(π£)=ππ£ , for all π£βπ (3.8) 0β€π₯πβ€π’π , for all πβπΈ Note that π(π)=0 Form πΊβ² with πβ²=πβͺ{π, π } π£π€βπΈ β capacity π’π£π€ π£βπ, ππ£<0 β arc ππ£ with π’ππ£=β ππ£ (ππ£<0: supply node) π£βπ, ππ£>0 β arc π£π with π’π£π =ππ£ (ππ£>0: demand node) Then πΊ has a feasible flow β There is an (π,π )-flow in πΊβ² of value ( π π£ :π£βπ, π π£ >0) Combinatorial Optimization 2016
4
(3.8) has a solution β there exists no π΄βπ s.t.
π’(πΏβ²(π΄βͺ{π}))<ο(ππ£: π£βπ, ππ£>0) (from max-flow min-cut theorem) β ο(βππ£:π£βπ΄, ππ£<0)+ο(ππ£:π£βπ΄, ππ£>0)+π’(ο€(π΄))<ο(ππ£:π£βπ, ππ£>0) β ο(βππ£:π£βπ΄, ππ£<0)+ο(ππ£:π£βπ΄, ππ£>0)+π’(ο€(π΄))< ο(ππ£:π£βπ΄, ππ£>0)+ο(ππ£:π£βπ΄, ππ£>0) β no π΄ with π’(ο€(π΄))<ο(ππ£:π£βπ΄) β for all π΄, have π’(ο€(π΄))β₯ο(ππ£:π£βπ΄) { or π’(ο€( π΄ ))β₯ο(ππ£:π£βπ΄) } π\A π\A π ππ£ π βππ£ π΄ π΄ {π£:ππ£<0} {π£:ππ£>0} There cannot be a subset of nodes whose total demand exceeds its βimport capacityβ. Combinatorial Optimization 2016
5
A circulation is a vector π₯β π
πΈ with ππ₯(π£)=0 for all π£βπ.
Thm 3.15(Gale, 1957) : There exists a solution to (3.8) β π(π)=0 and, for every π΄βπ, π(π΄)β€π’(ο€( π΄ )). If π and π’ integral, then (3.8) has an integral solution iff the same conditions hold. A circulation is a vector π₯β π
πΈ with ππ₯(π£)=0 for all π£βπ. Thm 3.17 (Hoffmanβs Circulation Theorem, 1960): Given a digraph πΊ, πβ(π
βͺ{βο₯})πΈ, and π’β(π
βͺ{ο₯})πΈ, with πβ€π’, There is a circulation π₯ with πβ€π₯β€π’ β every π΄βπ satisfies π’(ο€( π΄ ))β₯π(ο€(π΄)). Also for integral version. (pf) π=βο₯ β π=βπ (π large integer) Let πβ‘0, π’β²β‘π’βπ, π₯β²β‘π₯βπ Then π π₯ β² π£ =ππ₯(π£)βππ(π£) Hence π₯ is a circulation β π π₯ β² π£ =βππ(π£) Apply Thm 3.15 with demands βππ(π£) and capacities π’βπ Note that ο(βππ(π£) :π£βπ)=0 (nec condition for feasible flow)(why true?) So there exists a feasible circulation β for every π΄βπ we have π’βπ ο€ π΄ β₯βο(ππ(π£) :π£βπ΄)=π(ο€(π΄))βπ(ο€ π΄ ) β π’(ο€( π΄ ))β₯π(ο€(π΄)) ο Combinatorial Optimization 2016
6
Generalization of Thm 3.15 and 3.17
Thm 3.18: Given a digraph πΊ, πβ π
π such that π(π)=0, πβ(π
βͺ{βο₯})πΈ, and π’β(π
βͺ{ο₯})πΈ, with πβ€π’, there exists π₯β π
πΈ such that ππ₯(π£)=ππ£ , for all π£βπ ππ β€π₯π β€π’π , for all πβπΈ β every π΄βπ satisfies π’(ο€( π΄ ))β₯π(π΄)+π(ο€(π΄)) Min (π, π ) flow subject to lower bounds on the arcs min ππ₯(π ) (3.9) subject to ππ₯(π£)=0, for all π£βπβ{π, π } π₯πβ₯ππ, for all πβπΈ. ( πβ₯0 ) Assume every arc π having ππ>0 is in an (π, π )-dipath ( o.w. there may be no feasible solution) and there is no (π , π)-dipath ( o.w. may be unbounded) β There exists π
, πβπ
, π
βπβ{π } such that ο€( π
)=β
β for any solution π₯ of (3.9), have ππ₯(π )=π₯ ο€ π
β{π₯(ο€( π
))}β₯π(ο€(π
)) for any π
with ο€( π
)=β
. (The bound can be made tight) Combinatorial Optimization 2016
7
Thm 3.19: (Min-Flow Max-Cut Theorem)
There exists a solution to (3.9) having ππ₯(π )β€π β There does not exist π
βπ with πβπ
, π βπ
, ο€( π
)=β
, and π ο€ π
>π. Also for integral version. (pf) Add arc π π to πΊ with ππ π=0, π’π π=π and put π’π=β for all πβπΈ. Then new πΊβ² has a circulation β (3.9) has solution of value at most π. β There does not exist π΄βπ with π’(ο€β²(π΄))<π(ο€β²( π΄ )). Since π’π=β for all πβπΈ, such π΄ satisfies ο€(π΄)=β
. Since π(ο€( π΄ ))>0, there exists πβο€( π΄ ) with ππ>0 β since there must exist an (π, π )-dipath using π, we have πβ π΄ , π βπ΄. β π πβο€β²(π΄) β π=π’(ο€β²(π΄))<π(ο€β²( π΄ ))=π(ο€( π΄ )). So take π
= π΄ . ο π=0, π’=π π΄( π
) π΄ (π
) π π Combinatorial Optimization 2016
8
Minimum Cuts and Linear Programming
LP interpretation of the min cut problem: max ππ₯(π ) s.t. ο(π₯π€π£:π€βπ, π€π£βπΈ)βο(π₯π£π€:π€βπ, π£π€βπΈ)=0, for all π£βπβ{π, π } 0β€π₯π£π€β€π’π£π€, for all π£π€βπΈ Dual Problem: min ο(π’ππ§π :πβπΈ) (3.10) s.t. βπ¦π£+π¦π€+π§π£π€ β₯0, for all π£π€βπΈ, π£, π€βπβ{π, π } π¦π€+π§π£π€β₯0, for all ππ€βπΈ β π¦π£+π§π£π β₯0, for all π£πβπΈ β π¦π£+π§π£π β₯1, for all π£π βπΈ π¦π€+π§π π€β₯β1, for all π π€βπΈ π§πβ₯0, for all πβπΈ Define π¦π=0, π¦π =β1, we can unify the constraints as βπ¦π£+π¦π€+π§π£π€β₯0, for all π£π€βπΈ Then add 1 to each π¦π£ (dual feasibility not changed) Combinatorial Optimization 2016
9
βπ¦π£+π¦π€+π§π£π€β₯0, for all π£π€βπΈ π§π β₯0, for all πβπΈ
min ο(π’ππ§π :πβπΈ) (3.11) s.t. π¦π=1, π¦π =0 βπ¦π£+π¦π€+π§π£π€β₯0, for all π£π€βπΈ π§π β₯0, for all πβπΈ Thm 3.20: If (3.11) has an optimal solution, it has one of the form: For some (π, π )-cut ο€(π
), π¦ is the characteristic vector of π
and π§ is the characteristic vector of ο€(π
). (pf) Choose ο€(π
) to be a min cut. Then (π¦, π§) feasible to (3.11) and objective value is ο π’ππ§π :πβπΈ =π’ ο€ π
= max flow value By LP duality, this is optimal to (3.11) and (3.10) ο (See a different proof in the text.) We may identify the cut using the bounded variable simplex method applied to a converted problem. Note that a spanning tree corresponds to a maximum linearly independent columns of the network matrix. Combinatorial Optimization 2016
10
π=0, π’=β Basic arcs π π π¦π£=1 π¦π£=0 π
Add arc π π with ππ π=0, π’π π=β, and max π₯π π subject to ππ₯(π£)=0 for all π£βπ. Add artificial variable π₯π with π=π’=0 and objective coefficient 0 to the constraint corresponding to node π . As explained earlier, the artificial variable is always in the basis, hence dual variable π¦π =0 in a b.f.s. (from π¦β²π΄π= π π for basic variables) If flow value is positive π₯π π is always in the basis, hence the spanning tree basis can be divided into two parts. Assigning π¦π£=1 for π£βπ
, 0 for π£β π
satisfies π¦β²π΄π=ππ for basic arcs (We have βπ¦π£+π¦π€=0 ) If current LP solution is optimal, the arcs in ο€(π
) are at their upper bounds and the arcs in ο€( π
) at 0 (and nonbasic). (at opt sol, have π₯ π = π’ π when π π βπ¦β² π΄ π >0, and π₯ π =0 when π π βπ¦β² π΄ π <0 for nonbasic π₯ π ) Combinatorial Optimization 2016
11
Different interpretation: min ο(π’ππ§π :πβπΈ) (3.12) subject to
ο(π§π :πβπ)β₯1, for all arc-sets P of simple (π, π )-dipaths π§πβ₯0, for all πβπΈ Thm 3.21: If (3.12) has an optimal solution, then it has one that is the characteristic vector of an (π, π )-cut (pf) (3.12) has a feasible solution and it is unbounded if some π’π<0, so assume that π’β₯0. Choose π§β² to be the characteristic vector of min cut ο€(π
). Dual of (3.12) is max ο(π€π :π a simple (π, π )-dipath) (3.13) s.t. ο(π€π :π an arc of π)β€π’π, for all πβπΈ π€πβ₯0 , for all π a simple (π, π )-dipath Let π₯ be a max flow. Find simple (π, π )-dipath π such that π₯π>0 for each arc of π, put π€π= min value of π₯π on π, subtract π€π from π₯π for each arc π of π. Repeat until ππ₯(π )=0, at which point οπ€π= max flow value. Then, π€ is feasible to (3.13) and since οπ€π=ο(π’ππ§πβ²), π§β² is optimal to (3.12). ο Combinatorial Optimization 2016
12
Thm 3.21 implies that the cut polyhedron defined by (3.12) is integral
Similar result also holds for path polyhedron. For the polyhedron ο(π₯π :πβπΆ)β₯1, for all arc-sets πΆ of (π, π )-cuts π₯πβ₯0, for all πβπΈ Extreme points are incidence vectors of simple (π, π )-dipaths (may be seen from results for blocking polyhedron) Let π={π₯β π
+ π :π΄π₯β₯1}, where π΄ is a nonnegative matrix. Then the blocking polyhedron of π is defined as π π΅ ={πβ π
+ π : ππ₯β₯1 βπ₯βπ} Then π π΅ ={πβ π
+ π :π΅πβ₯1}, where rows of π΅ are extreme points of π. Also π π΅ π΅ =π. Here, each row of π΄ is the incidence vector of a simple π, π βdipath. Each row of π΅ is the incidence vector of a π,π βcut. (no more details here.) Combinatorial Optimization 2016
Similar presentations
© 2024 SlidePlayer.com. Inc.
All rights reserved.