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.

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

within a polyhedron (intersection of halfspaces formed by linear constraints) for a<br />

linear program. A point ¯x is an extreme point of X if <strong>and</strong> only if it cannot be written<br />

as a strict convex combination of any two distinct points in X, i.e., if there is no<br />

x ′ ∈ X, x ′′ ∈ X, <strong>and</strong> 0 < λ < 1 such that ¯x = λx ′ + (1 − λ)x ′′ . Then the following<br />

critical theorem holds true.<br />

Theorem 4.1. If there exists an optimal solution to a linear program, at least one<br />

extreme point must be optimal.<br />

Note that this theorem does not (incorrectly) assert that all optimal solutions exist<br />

at extreme points. When alternative optimal solutions exist, then an infinite number<br />

of non-extreme-point solutions are optimal. For instance, examining (4.1), if the objective<br />

function is changed to “max x1 + 2x2,” then all solutions on the line segment<br />

between (x1,x2) = (0, 5) <strong>and</strong> (8/5, 21/5) are optimal.<br />

The caveat in Theorem 4.1 is necessary because LPs need not have optimal solutions.<br />

If there are no feasible solutions, the problem is termed infeasible. If there<br />

is no limit to how good the objective can become (i.e., if the objective can be made<br />

infinitely large for maximization problems, or infinitely negative for minimization<br />

problems), then it is unbounded. If a problem is unbounded, then there exists a direction<br />

d, such that if ˆx is feasible, then ˆx + λd is feasible for all λ ≥ 0, <strong>and</strong> the<br />

objective improves in the direction d (i.e., c T d > 0 for a maximization problem).<br />

Note that the set of all directions to a feasible region, unioned with the origin, is<br />

itself a polyhedron that lies in the nonnegative orthant of the feasible region (assuming<br />

x ≥ 0). If this polyhedron is normalized with a constraint of the form e T x ≤ 1<br />

(where e is a vector of 1’s), then the nontrivial extreme points are extreme directions<br />

of the feasible region. It follows that all directions can be represented as nonnegative<br />

linear combinations of the extreme directions. Indeed, if a linear program is<br />

unbounded, it must be unbounded in at least one extreme direction. For the remaining<br />

discussion, we assume that extreme directions d have been normalized so that<br />

e T d = 1.<br />

The following Representation Theorem gives an important alternative characterization<br />

of polyhedra, which we use in the following section.<br />

Theorem 4.2. Consider a polyhedron defining a feasible region X, with extreme<br />

points x i for i = 1,...,E <strong>and</strong> extreme directions d j for j = 1,...,F. Then any point<br />

x ∈ X can be represented by a convex combination of extreme points, plus a nonnegative<br />

linear combination of extreme directions, i.e.,<br />

x =<br />

E<br />

∑<br />

i=1<br />

λix i +<br />

λ,µ ≥ 0, <strong>and</strong><br />

F<br />

∑ µ jd<br />

j=1<br />

j , where (4.3)<br />

E<br />

∑ λi = 1. (4.4)<br />

i=1<br />

Full details of LP solution techniques are beyond the scope of this chapter, but we<br />

present a sketch of the simplex method for linear programs here. Observe that each<br />

extreme point can be associated with at least one set of m columns of A that form

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

Saved successfully!

Ooh no, something went wrong!