Inverse Tension Problems
Rectilinear and Chebyshev Distances
C ¸ i˘ gdem G¨ uler
gueler@mathematik.uni-kl.de
University of Kaiserslautern
Cologne Twente Workshop 2008 - Gargnano Italy – p. 1/23
Inverse Tension Problems Rectilinear and Chebyshev Distances i C - - PowerPoint PPT Presentation
Inverse Tension Problems Rectilinear and Chebyshev Distances i C gdem G uler gueler@mathematik.uni-kl.de University of Kaiserslautern Cologne Twente Workshop 2008 - Gargnano Italy p. 1/23 Outline Introduction to Inverse
C ¸ i˘ gdem G¨ uler
gueler@mathematik.uni-kl.de
University of Kaiserslautern
Cologne Twente Workshop 2008 - Gargnano Italy – p. 1/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 2/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 3/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 4/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 4/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 4/23
(1)
Cologne Twente Workshop 2008 - Gargnano Italy – p. 5/23
(1)
aij∈C+ θij − aij∈C− θij = 0.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 5/23
Minimum cost tension problem (MCT): min
cijθij
(2) subject to
tij ≤θij ≤ Tij ∀aij ∈ A θ is a tension where tij ∈ R ∪ {−∞} and Tij ∈ R ∪ {+∞} are lower and upper bounds.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 6/23
Minimum cost tension problem (MCT): min
cijθij
(2) subject to
tij ≤θij ≤ Tij ∀aij ∈ A θ is a tension where tij ∈ R ∪ {−∞} and Tij ∈ R ∪ {+∞} are lower and upper bounds. Maximum tension problem (MaxT): G contains 2 special nodes, s and t, and an arc ast ∈ A with bounds (tst, Tst) = (−∞, ∞). max θst
(3) subject to
tij ≤θij ≤ Tij ∀aij ∈ A θ is a tension
Cologne Twente Workshop 2008 - Gargnano Italy – p. 6/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 7/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 7/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 7/23
A feasible tension ˆ
Find ˆ
Cologne Twente Workshop 2008 - Gargnano Italy – p. 8/23
A feasible tension ˆ
Find ˆ
inverse min cost flow under unit weight L1 norm
min cost flow problem in a unit capacity network
Cologne Twente Workshop 2008 - Gargnano Italy – p. 8/23
Definition 2. A cut ω is called residual with respect to a tension ˆ
cost(ω) =
(4)
Cologne Twente Workshop 2008 - Gargnano Italy – p. 9/23
Definition 2. A cut ω is called residual with respect to a tension ˆ
cost(ω) =
(4) Theorem 3. A tension ˆ
nonnegative costs [Rockafellar (1984)].
Cologne Twente Workshop 2008 - Gargnano Italy – p. 9/23
Definition 4. We call the residual cuts ω1 and ω2 to be arc-disjoint if
1 ∩ ω+ 2 = ∅ and ω− 1 ∩ ω− 2 = ∅
Cologne Twente Workshop 2008 - Gargnano Italy – p. 10/23
Definition 4. We call the residual cuts ω1 and ω2 to be arc-disjoint if
1 ∩ ω+ 2 = ∅ and ω− 1 ∩ ω− 2 = ∅
Theorem 5. Let Ω∗ = {ω∗
1, ω∗ 2, . . . , ω∗ K} be the minimum cost collection of arc-disjoint
residual cuts in G and Cost(Ω∗) be its cost. Then, −Cost(Ω∗) is the optimal objective function value for the inverse minimum cost tension problem under unit weight rectilinear norm.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 10/23
Minimize
cij(πj − πi)
subject to
−1 ≤ πj − πi ≤ 1
for
aij ∈ K 0 ≤ πj − πi ≤ 1
for
aij ∈ L −1 ≤ πj − πi ≤ 0
for
aij ∈ U π ≷ 0 where K := {aij ∈ A : tij < ˆ θij < Tij} L := {aij ∈ A : ˆ θij = tij} U := {aij ∈ A : ˆ θij = Tij}
Cologne Twente Workshop 2008 - Gargnano Italy – p. 11/23
A feasible tension ˆ
Find ˆ
aij∈A wij|c − ˆ
Cologne Twente Workshop 2008 - Gargnano Italy – p. 12/23
A feasible tension ˆ
Find ˆ
aij∈A wij|c − ˆ
inverse min cost flow under unit weight L∞ norm
minimum mean cost cycle problem
Cologne Twente Workshop 2008 - Gargnano Italy – p. 12/23
ω∗ is minimum mean residual cut in G w.r.t. ˆ θ, i.e., µ∗ = MCost(ω∗) = cost(ω∗)/|ω∗| is minimum
Cologne Twente Workshop 2008 - Gargnano Italy – p. 13/23
ω∗ is minimum mean residual cut in G w.r.t. ˆ θ, i.e., µ∗ = MCost(ω∗) = cost(ω∗)/|ω∗| is minimum Theorem 6. Let µ∗ denote the mean cost of a minimum mean residual cut in G w.r.t. ˆ
Then, the optimal objective function value for the inverse minimum cost tension problem under unit weight L∞ norm is max(0, −µ∗).
Cologne Twente Workshop 2008 - Gargnano Italy – p. 13/23
Optimal c∗ can be defined as follows:
ij =
if ˆ
if ˆ
Cologne Twente Workshop 2008 - Gargnano Italy – p. 14/23
Optimal c∗ can be defined as follows:
ij =
if ˆ
if ˆ
Cologne Twente Workshop 2008 - Gargnano Italy – p. 14/23
LP formulation to inverse MCT under L∞ norm, i.e., to min mean cost residual cut problem:
Minimize
cij(πj − πi)
(5) subject to
ηij = 1 −ηij ≤ πj − πi ≤ ηij
for aij ∈ K
0 ≤ πj − πi ≤ ηij
for aij ∈ L
−ηij ≤ πj − πi ≤ 0
for aij ∈ U
η ≥ 0 π ≷ 0
Cologne Twente Workshop 2008 - Gargnano Italy – p. 15/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 16/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 16/23
Cologne Twente Workshop 2008 - Gargnano Italy – p. 17/23
i j i j j i j i j i j i
θij = tij θij = Tij tij < θij < Tij
Cologne Twente Workshop 2008 - Gargnano Italy – p. 17/23
(6) subject to
is the maximum tension
Cologne Twente Workshop 2008 - Gargnano Italy – p. 18/23
(6) subject to
is the maximum tension
inverse maximum flow problem under L1 norm
maximum flow problem
Cologne Twente Workshop 2008 - Gargnano Italy – p. 18/23
Optimality condition [Rockafellar (1984)] Theorem 7. (Maximum Tension Minimum Path Theorem) The maximum in max tension problem is equal to the minimum in min path problem.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 19/23
Optimality condition [Rockafellar (1984)] Theorem 7. (Maximum Tension Minimum Path Theorem) The maximum in max tension problem is equal to the minimum in min path problem. Property: If P denotes the minimum path between s and t on graph G and P + and P − are the corresponding sets of forward and backward arcs in P, then θ∗
ij = Tij for all aij ∈ P + and
θ∗
ij = tij for all aij ∈ P − for the maximum tension θ∗.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 19/23
Lemma 8. If the inverse problem has an optimal solution (t∗, T ∗) and P ∗ is the minimum s − t path in network G = (N, A, t∗, T ∗), then
ij = Tij and t∗ ij = tij for each arc aij /
ij = tij for arcs
ij = Tij for arcs aij ∈ P ∗−.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 20/23
Lemma 8. If the inverse problem has an optimal solution (t∗, T ∗) and P ∗ is the minimum s − t path in network G = (N, A, t∗, T ∗), then
ij = Tij and t∗ ij = tij for each arc aij /
ij = tij for arcs
ij = Tij for arcs aij ∈ P ∗−.
Lemma 9. Inverse maximum tension problem under L1 norm is finding a path P from s to t in G = (N, A) such that
is minimum.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 20/23
Theorem 10. The solution to the inverse maximum tension problem under L1 norm with a positive weight function w can be found by solving a maximum tension problem in graph
Cologne Twente Workshop 2008 - Gargnano Italy – p. 21/23
Flow case: [Güler-Hamacher (2008)]
Cologne Twente Workshop 2008 - Gargnano Italy – p. 22/23
[Ahuja-Orlin (2002)] R. Ahuja and J. Orlin. Combinatorial algorithms of inverse network flow
[Güler-Hamacher (2008)] C. Güler and H.W. Hamacher. Capacity Inverse Minimum Cost Flow Problems. Journal of Combinatorial Optimization, in press, 2008. [Hadjiat-Maurras (1997)] M. Hadjiat and J.F. Maurras. A strongly polynomial algorithm for the minimum cost tension problem. Discrete Mathematics, vol.165: 377–394, 1997. [Pla (1971)] Jean-Marie Pla. An out-of-kilter algorithm for solving minimum cost potential
[Radzik (1993)] Tomasz Radzik. Parametric flows, weighted means of cuts, and fractional combinatorial optimization. Complexity in Numerical Optimization, 351–386, 1993. [Rockafellar (1984)] R.T. Rockafellar. Network Flows and Monotropic Optimization. John Wiley and Sons, New York, 1984. [Yang et al. (1997)] C. Yang and J. Zhang and Z. Ma. Inverse maximum flow and minimum cut problems. Optimization, vol.40: 147–170, 1997.
Cologne Twente Workshop 2008 - Gargnano Italy – p. 23/23