The Pillars of Computation Theory: State, Encoding, Nondeterminism

The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form that obscures both the mathematical concepts that are ce

Graph Separators, with Applications (Frontiers in Computer Science)

Graph Separators with Applications is devoted to techniques for obtaining upper and lower bounds on the sizes of graph separators - upper bounds being obtained via decomposition algorithms. The boo