COMPUTATIONAL COMPLEXITY: A Modern Approach

SANJEEV ARORA & BOAZ BARAK