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.

8 The <strong>Design</strong> of Partially Survivable <strong>Network</strong>s 187<br />

the R1 <strong>and</strong> H1 nodes, respectively; constraints 8.20 <strong>and</strong> 8.21 are flow balance constraints<br />

on the intermediate R j <strong>and</strong> Hj (t = 2, ...,(T − 1)) nodes, respectively;<br />

constraints 8.22 <strong>and</strong> 8.23 are flow balance constraints on the RT <strong>and</strong> HT nodes,<br />

respectively; constraint 8.25 indicates flow into Q.<br />

One way in which the node weights could be incorporated into this formulation<br />

is by adding constraints y1 ≥ zPH 1 for time period 1 <strong>and</strong> y j ≥ zR ( j−1) Hj +zH ( j−1) H j for<br />

the other time periods, <strong>and</strong> adding the term (+ T<br />

∑ e jy j) into the objective function<br />

j=1<br />

(e j is the weight at node Hj). However, since at most one of the edges coming into<br />

an Hj node will be set to 1, we can add the node weights to the cost of every edge<br />

coming into Hj <strong>and</strong> solve (S1) with these modified edge weights to get the optimal<br />

solution to the problem. This implies that we can solve a shortest path problem to<br />

solve the subproblem. The reduced cost can then be obtained by subtracting the dual<br />

price πi associated with cell i from the subproblem objective function value.<br />

8.3.2.3 Integer Programming <strong>and</strong> Column Generation<br />

The most common technique for solving integer programs is branch <strong>and</strong> bound<br />

(L<strong>and</strong> <strong>and</strong> Doig [10]). In a column generation framework, switching on the integrality<br />

requirements after solving the LP relaxation usually does not guarantee the<br />

optimal integral solution. However in many cases, if enough good quality columns<br />

have been generated, switching on the integrality requirements <strong>and</strong> solving the resulting<br />

integer program gets us very close to the integer optimum. We have used this<br />

approach in this paper, as the gaps are observed to be very small.<br />

Exact column generation procedures for integer programs are relatively more<br />

difficult. The difficulty usually lies in the development of an effective way to incorporate<br />

the linear programming column generation into a branch <strong>and</strong> bound scheme.<br />

However, a considerable volume of work has focused on this general branch-<strong>and</strong>price<br />

approach (e.g., Barnhart et al. [2], Vance et al. [18]). Here, we briefly outline<br />

two valid branching schemes for branch <strong>and</strong> price.<br />

Branching Scheme I<br />

Identify a fractional variable vs1; let i be the cell associated with this variable. From<br />

constraint set 8.14, we can infer that there is at least one other variable involving<br />

this cell that is fractional. Find one such variable, say vg2. As there are no identical<br />

columns, there is at least one period where these columns differ. Find one such<br />

period, say t. A valid branching scheme is one which branches on cell i being connected<br />

to the hub in period j, or not. Under this scheme, the subproblems at the<br />

branches would be solved as follows. If on the branch where i is connected to the<br />

hub in j, the edges of the subproblem which allow for connecting this cell to the<br />

MTSO (i.e., zR ( j−1) R j <strong>and</strong> zH ( j−1) R j ) are set to 0. For all cells k �= i, no alteration is<br />

needed in the subproblem. If on the branch where i is connected to the MTSO in

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

Saved successfully!

Ooh no, something went wrong!