SIAM Journal on computing (2000)