SIAM journal on computing.