Get Free Shipping on orders over $79
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory : Lecture Notes in Logic - Martin Grohe

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

By: Martin Grohe

Hardcover | 17 August 2017

At a Glance

Hardcover


RRP $322.00

$277.75

14%OFF

or 4 interest-free payments of $69.44 with

 or 

Ships in 5 to 7 business days

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph minor theory. It develops a ''definable structure theory'' concerned with the logical definability of graph theoretic concepts such as tree decompositions and embeddings. The first part starts with an introduction to the background, from logic, complexity, and graph theory, and develops the theory up to first applications in descriptive complexity theory and graph isomorphism testing. It may serve as the basis for a graduate-level course. The second part is more advanced and mainly devoted to the proof of a single, previously unpublished theorem: properties of graphs with excluded minors are decidable in polynomial time if, and only if, they are definable in fixed-point logic with counting.
Industry Reviews
'The book is divided evenly into two parts. Part I gives background and definitions of the main notions, and makes the book self-contained. Many results from descriptive complexity theory, and the author's earlier results, are clearly presented. Part II is devoted to the main theorem about graphs with excluded minors. The book ends with a symbol index and an index.' Pascal Michel, Mathematical Reviews

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75

Essays in Analysis : Routledge Revivals - Alice Ambrose
Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott