X - UWSpace - University of Waterloo

Processor 2
Step O. Set level I counter k=l. level II counter i=l, €>O, and determine whether P is
infeasible.
- solve spiL ; if it is infeasible. send a stop signal to al1 other subproblems and stop.
P is infeasible;
- if a stop signal from any other subproblem is received. stop. P is infeasible;
sfz:
Step I. I. Set i=i+l.
1- 1 i- 1 r- 1
- send (~2.r~ + dLv2 ). SLv2 and (B~:-'+ LZv2>-') from SP2 for s=l ,3.4;
- receive (xl"'~l+ol''~ii), w~'''L~~, mli-' and (xl"lbl+oii'%) from SPI;
- set .ri-') and Y;-' =(~2>-',
- send r"' to Spi and receive :,' from SPI;