Introduction to Circuit Complexity: A Uniform Approach

This advanced textbook presents a broad and up—to—date view of the computational complexity theory of Boolean circuits. It combines the algorithmic and the computability—based approach, and includes extensive discussion of the literature to facilitate further study.

It begins with efficient Boolean circuits for problems with high practical relevance, e.g., arithmetic operations, sorting, and transitive closure, then compares the computational model of Boolean circuits with other models suc...