Algorithms and complexity (Natick, Mass. : A.K. Peters, 1986)