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.

5 Mathematical Programming <strong>Models</strong> for Third Generation <strong>Wireless</strong> <strong>Network</strong> <strong>Design</strong> 117<br />

5.4.2 R<strong>and</strong>omized Greedy Search<br />

Given a set of selected towers ¯L, the algorithms in [7] assign test point m to the<br />

tower ℓ ∈ ¯L with the largest attenuation factor gmℓ. If it turns out that this subscriber<br />

assignment is infeasible, then test points assigned to towers where the SIR is less<br />

than SIRmin are removed (i.e., the corresponding x variables are set to zero) one at a<br />

time, in non-increasing order of dm<br />

g mℓ until the QoS constraints (5.7) are satisfied for<br />

every tower in ¯L. Thus, the subscriber assignment sub-problem can be solved very<br />

quickly for any given tower subset ¯L.<br />

Given ¯L, an iteration of the first procedure proposed in [7], called Add, takes<br />

each unselected tower ℓ ∈ L \ ¯L <strong>and</strong> evaluates the change in the objective function<br />

(5.13) resulting from adding ℓ to ¯L. The procedure then r<strong>and</strong>omly selects one tower<br />

from the subset of unselected towers whose addition to ¯L leads to the greatest improvement<br />

in (5.13). The procedure starts with no selected towers (i.e., ¯L = /0) <strong>and</strong><br />

stops when it reaches a point where the addition of any of the unselected towers to<br />

¯L leads to a decrease in (5.13). That is, it stops when it reaches a local optimum.<br />

The second procedure, called Remove, works in essentially the opposite manner;<br />

it starts with ¯L = L <strong>and</strong> removes towers in a r<strong>and</strong>omized greedy fashion until no<br />

further improvement in (5.13) is possible.<br />

In [7] the authors compare these procedures against CPLEX—the “gold st<strong>and</strong>ard”<br />

for commercial branch-<strong>and</strong>-bound codes—on a set of 10 small test problems<br />

in which 22 tower locations <strong>and</strong> 95 test points are r<strong>and</strong>omly placed in a 400 m by<br />

400 m service area. In these problems each test point has a dem<strong>and</strong> of dm = 1 <strong>and</strong><br />

the attenuation factors in these problems are such that it is possible to cover all 95<br />

test points. Since the tower locations all have the same usage cost (i.e., aℓ = a for all<br />

ℓ ∈ L), solving these problems amounts to minimizing the number of towers needed<br />

to cover all the test points. Using CPLEX to obtain optimal solutions, it was determined<br />

that in each instance 4 towers were sufficient to cover all test points. Add <strong>and</strong><br />

Remove were each run 50 times on each problem instance on a Pentium III/700-<br />

MHz processor. Taking the best solution of the 50 found by each procedure, Add<br />

<strong>and</strong> Remove found optimal solutions to 5 <strong>and</strong> 8 out of the 10 instances, respectively.<br />

In the other cases, the best solution found used 5 towers. The average CPU times for<br />

the 50 runs of Add <strong>and</strong> Remove were 10 <strong>and</strong> 30 seconds, respectively. By contrast,<br />

CPLEX 7.0 took 5 to 20 minutes to find optimal solutions on a faster machine [7].<br />

At the cost of increased CPU time, the authors were able to improve solution<br />

quality (in terms of the average <strong>and</strong> st<strong>and</strong>ard deviation of the number of towers<br />

used over a set of 50 runs) using the solutions found by Add <strong>and</strong> Remove as starting<br />

points for a tabu search algorithm. Developed in the seminal papers by Glover<br />

[26, 27], tabu search (TS) is a meta-heuristic for improving the performance of<br />

local search (LS) heuristics. In a LS heuristic one starts with a feasible solution<br />

<strong>and</strong> considers the “neighborhood” of feasible solutions formed by applying various<br />

problem-specific “moves” to generate new solutions. The LS then moves to the best<br />

solution in the neighborhood of the current solution, or stops if no move produces<br />

an improved solution. LS has been shown to be an effective approach to solving dif-

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

Saved successfully!

Ooh no, something went wrong!