250 likes | 260 Views
This lecture covers submodular functions, examples, modular functions, diminishing returns, necessary and sufficient conditions for submodularity, matroids, matroid intersection, directed graph cuts, and set unions.
E N D
Polyhedral OptimizationLecture 5 – Part 1 M. Pawan Kumar pawan.kumar@ecp.fr Slides available online http://cvn.ecp.fr/personnel/pawan/
Outline • Submodular Functions • Examples
Submodular Function Set S Function f over power set of S f(T) + f(U) ≥ f(T ∪ U) + f(T ∩ U) for all T, U ⊆ S
Supermodular Function Set S Function f over power set of S f(T) + f(U) ≤ f(T ∪ U) + f(T ∩ U) for all T, U ⊆ S
Modular Function Set S Function f over power set of S f(T) + f(U) = f(T ∪ U) + f(T ∩ U) for all T, U ⊆ S
Modular Function f(T) = ∑s ∈T w(s) + K Is f modular? YES All modular functions have above form? YES Prove at home
Diminishing Returns Define df(s|T) = f(T ∪{s}) - f(T) Gain by adding s to T If f is submodular, df(s|T)is non-increasing
Diminishing Returns Define df(s|T) = f(T ∪{s}) - f(T) Gain by adding s to T f(U ∪ {s}) + f(U ∪ {t}) ≥ f(U) + f(U ∪{s,t}) for all U⊆ S and distinct s,t ∈ S\U Necessary condition for submodularity Proof?
Diminishing Returns Define df(s|T) = f(T ∪{s}) - f(T) Gain by adding s to T f(U ∪ {s}) + f(U ∪ {t}) ≥ f(U) + f(U ∪{s,t}) for all U⊆ S and distinct s,t ∈ S\U Sufficient condition for submodularity Proof?
Proof Sketch Consider T, U ⊆ S We have to prove f(T) + f(U) ≥ f(T ∪ U) + f(T ∩ U) We will use mathematical induction on |TΔU|
Proof Sketch |TΔU| = 1 Either U ⊆ T or T ⊆ U Let T ⊆ U T ∪ U = U and T ∩ U = T Proof follows trivially
Proof Sketch |TΔU| = 2 If U ⊆ T or T ⊆ U, then proof follows trivially If not, then simply use the condition f(U ∪ {s}) + f(U ∪ {t}) ≥ f(U) + f(U ∪{s,t}) for all U⊆ S and distinct s,t ∈ S\U
Proof Sketch |TΔU| ≥ 3 Let t ∈ T\U Assume, wlog, |T \ U| ≥ 2 |T Δ ((T \{t}) ∪ U)| < |T Δ U| Why? f(T∪U) - f(T) ≤ f((T\{t}) ∪ U) - f(T\{t}) Induction assumption
Proof Sketch |TΔU| ≥ 3 Let t ∈ T\U Assume, wlog, |T \ U| ≥ 2 |(T\{t}) Δ U| < |T Δ U| Why? f((T\{t}) ∪ U) - f(T\{t}) ≤ f(U) - f(T ∩ U) Induction assumption
Proof Sketch |TΔU| ≥ 3 f(T∪U) - f(T) ≤ f(U) - f(T ∩ U) Hence Proved
Outline • Submodular Functions • Examples
Matroids Matroid M = (S, I) f = rM Submodular We have already seen the proof Minimum of f? 0 f is non-decreasing
Matroids Matroid M = (S, I) f = rM Submodular We have already seen the proof Minimum of f? 0 f(T) ≤ f(U), for all T ⊆ U
Outline • Submodular Functions • Examples • Matroid Intersection • Directed Graph Cuts • Set Unions
Matroid Intersection Matroid M1 = (S,I1) Matroid M2 = (S,I2) f(U) = r1(U) + r2(S\U) Submodular Proof? Minimum of f? Largest common independent set MatroidIntersection Theorem
Outline • Submodular Functions • Examples • Matroid Intersection • Directed Graph Cuts • Set Unions
Directed Graph Cuts Digraph G = (V, A) S = V f(U) = ∑a∈out-arcs(U) c(a) Proof? Submodular Non-negative capacity c(a) of arc a ∈ A Minimum of f? 0 Is f non-decreasing? NO
Directed Graph Cuts Digraph G = (V, A) S = V f(U) = ∑a∈out-arcs(U) c(a) Proof? Submodular Non-negative capacity c(a) of arc a ∈ A Minimum of f over U ⊆ S\{t} such that s ∈ U? Minimum s-t cut = Maximum s-t flow
Outline • Submodular Functions • Examples • Matroid Intersection • Directed Graph Cuts • Set Unions
Set Unions T1, T2, …, Tn ⊆ T S = {1, 2, … n} Proof? f(U) = ∑s∈U’ w(s), U’ = ∪i∈U Ti Submodular Non-negative weight w(s) of element s ∈ T Minimum of f? 0 Is f non-decreasing? YES