16.11.2012 Views

Wireless Network Design: Optimization Models and Solution ...

Wireless Network Design: Optimization Models and Solution ...

Wireless Network Design: Optimization Models and Solution ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

92 J. Cole Smith <strong>and</strong> Sibel B. Sonuc<br />

4.3.3 Lagrangian <strong>Optimization</strong><br />

Another common (<strong>and</strong> more general) technique for addressing problems having<br />

complicating constraints is by Lagrangian optimization. The idea here is to penalize<br />

violations to the complicating constraints within the objective function, <strong>and</strong> omit<br />

those complicating constraints from the constraint set. Indeed, we have already seen<br />

a basic application of this concept in Section 4.2.3, where constraints Ax = b were<br />

omitted from the constraint set, <strong>and</strong> a penalty term π T (b −Ax) was added to the objective<br />

function. (This strategy led us to develop the dual formulation for linear programs.)<br />

The multipliers that are used to penalize violations to these constraints are<br />

called Lagrangian duals, <strong>and</strong> the process of moving constraints out of a constraint<br />

set <strong>and</strong> into the objective function is often referred to as “dualizing” the constraints.<br />

Whereas all constraints were dualized in Section 4.2.3, it is more common to<br />

dualize only the complicating constraints, leaving behind a separable problem (or<br />

otherwise easily solvable problem, as mentioned in Remark 4.4). In the context<br />

of the multicommodity flow problem, we would dualize the capacity constraints<br />

(4.24b).<br />

We again consider the generic formulation (4.25). Assume for simplicity that<br />

X k = {x ≥ 0 : H k x k = g k } is nonempty <strong>and</strong> bounded. (If X k is empty, then the<br />

problem is infeasible. If X k is unbounded, we can bound it by placing a constraint<br />

e T x k ≤ M for a very large value M, <strong>and</strong> note that any solution lying on this constraint<br />

indicates a direction of unboundedness.) A relaxation of (4.25) is given as follows<br />

(to which we will later refer as an “inner problem,” <strong>and</strong> often called the “Lagrangian<br />

function” or “Lagrangian subproblem”), for any given vector π:<br />

IP(π) : min ∑ (c<br />

k∈K<br />

k ) T x k + π T (b − ∑ A<br />

k∈K<br />

k x k ) (4.30a)<br />

s.t. H k x k = g k<br />

∀k ∈ K (4.30b)<br />

x k ≥ 0 ∀k ∈ K. (4.30c)<br />

Problem IP(π) is a relaxation of (4.25) because any solution to (4.25) is a feasible<br />

solution to IP(π) with the same objective function value (regardless of the value of<br />

π). That is, let zP be the optimal objective function value to (4.25) (assuming that<br />

(4.25) has an optimal solution), <strong>and</strong> let zIP(π) be the optimal objective function value<br />

to IP(π), where zIP(π) = ∞ if IP(π) is unbounded. Then zIP(π) ≤ zP for any vector π.<br />

We can therefore use problem IP(π) to yield lower bounds to the optimal objective<br />

function value of (4.25).<br />

Note here that if constraint (4.25b) were written as the inequality ∑k∈K Akxk ≥ b,<br />

then we would formulate (4.30) in the same way, but with the stipulation that π<br />

should be nonnegative. This will ensure that the objective penalty term, πT (b −<br />

∑k∈K Akxk ), remains nonpositive when x is feasible to (4.25b), <strong>and</strong> that zIP(π) ≤ zP<br />

as desired. If (4.25b) were written in the ≤ sense, we would insist that π ≤ 0.<br />

In order to provide the best possible lower bound for zP, we can seek a value of<br />

π that maximizes zIP(π). Thus, the Lagrangian dual problem is:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!