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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

tains complicating variables or complicating constraints, respectively. (Examples<br />

of these situations are shown in Sections 4.3.1 <strong>and</strong> 4.3.2, respectively.)<br />

In this case, we can attempt to exploit the special structure of these mathematical<br />

programming problems by using large-scale optimization methods. In fact,<br />

“large-scale optimization” is a broad term <strong>and</strong> refers to many different types of<br />

advanced techniques for solving large optimization problems. For this chapter, we<br />

focus primarily on decomposition techniques due to their common use in solving<br />

telecommunication-related problems.<br />

The rest of this section is organized as follows. We discuss the Benders decomposition<br />

technique in Section 4.3.1, <strong>and</strong> illustrate it using a capacitated evacuation<br />

network example. Next, we discuss the Dantzig-Wolfe decomposition method in<br />

Section 4.3.2, illustrated using a multicommodity flow example. We then describe<br />

in Section 4.3.3 key principles behind Lagrangian optimization. Finally, we briefly<br />

discuss several other large-scale optimization strategies in Section 4.3.4.<br />

4.3.1 Benders Decomposition<br />

To motivate the use of Benders decomposition [7], we begin by introducing a<br />

capacitated network design problem in which arcs can fail. Consider a network<br />

G = (V,A) with node set V <strong>and</strong> c<strong>and</strong>idate arc set A, <strong>and</strong> let di denote the supply/dem<strong>and</strong><br />

value of node i ∈ V (where di > 0 indicates that there is a supply of<br />

di units at node i, <strong>and</strong> di < 0 indicates that a dem<strong>and</strong> of |di| is requested at node<br />

i). Define the forward star of node j ∈ V (i.e., the nodes adjacent from node j) as<br />

FS( j) = {i ∈ V : ( j,i) ∈ A}, <strong>and</strong> the reverse star of node j ∈ V (those nodes adjacent<br />

to node j) as RS( j) = {i ∈ V : (i, j) ∈ A}.<br />

Arc (i, j) can be constructed at a cost of ri j ≥ 0. If constructed, the arc will have<br />

a capacity of qi j > 0, <strong>and</strong> a per-unit flow cost of ci j ≥ 0. (Note that all flows are<br />

assumed to be simultaneous, meaning that the total flow across arc (i, j) is no more<br />

than qi j.)<br />

A network design problem would hence seek to minimize the cost of building<br />

arcs plus the cost of routing flows across the established arcs. However, we also<br />

consider in this problem the situation that some sets of arcs can possibly fail. For<br />

ease of exposition, we consider here the case in which any single arc can fail, although<br />

the discussion that follows easily extends to the case in which combinations<br />

of arcs can fail. In fact, we adopt the terminology failure scenario from [11], where<br />

scenario s ∈ A refers to the event that some arc s ∈ A fails. Let pi j ≥ 0 be the probability<br />

that (only) arc (i, j) fails. Another interpretation here is that pi j represents<br />

the proportion of time that arc (i, j) will fail over a long-term network flow situa-<br />

tion. (Note that we use a single index for arcs where convenient, e.g., p s <strong>and</strong> p<br />

are equivalently used. Also, for simplicity, we assume that ∑(i, j)∈A p i j = 1, which is<br />

without loss of generality by adding a dummy arc if necessary.)<br />

Now, the objective becomes the minimization of arc construction costs, plus the<br />

expected flow costs that will take place after any arc fails. Note that the cost for<br />

i j

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

Saved successfully!

Ooh no, something went wrong!