Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity