4 this algorithm is analogous to and optimal with respect to the sequential algorithm of kanellakis and smolka