X - UWSpace - University of Waterloo
X - UWSpace - University of Waterloo
X - UWSpace - University of Waterloo
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
with proposals or cuts from other subproblems. even in the first iteration.<br />
When the iteration counter kl, since al1 upper bound subproblems give upper bounds to<br />
the original problem and al1 lower bound subpmblems provide lower bounds for the original<br />
problem. the best upper bound and lower bound can be chosen for the convergence test from the<br />
subproblems at each iteration. Although the subproblems generate the nonincreasing upper<br />
bounds and nondecreasing lower bounds. the algorithm can not be guaranteed to converge within<br />
a presaibed toleruice. The heuristic algorithm cm get snick and repeat the same solution without<br />
improvement after some number <strong>of</strong> itentions, so it is temiinated with a feasible solution <strong>of</strong> the<br />
onginai problern when dl the lower bound subprolems and d1 the upper bound subproblems have<br />
the same objective values respective1 y in three consecutive iterations.<br />
45.2 The Heuristic Decomposition Algorithm for the Second Method<br />
In this section, the procedure <strong>of</strong> the heuristic decomposition algorithm for multi-piut<br />
problems is discussed. Various propenies <strong>of</strong> this dgorithm will be discussed in the next<br />
subsection.<br />
Step O determines that the whole problem is feasible or not by detecting the infeasibility<br />
<strong>of</strong> subproblems. as proven in the next subsection. if any subproblem is infeasible. then the<br />
algorithm stops because the original problem is determined to be infeasible, and if each<br />
subproblem h s its own femible solutions. then the algorithm pmceeds to Step 1 because the<br />
original problem is feasible.<br />
In Step 1. the scdu d is defined by the user, and the aigorithm solves each