Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Author: Martin Grohe
Publisher: Cambridge University Press
Total Pages: 554
Release: 2017-08-17
Genre: Computers
ISBN: 1107014522


Download Descriptive Complexity, Canonisation, and Definable Graph Structure Theory Book in PDF, Epub and Kindle

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.


Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Language: en
Pages: 554
Authors: Martin Grohe
Categories: Computers
Type: BOOK - Published: 2017-08-17 - Publisher: Cambridge University Press

GET EBOOK

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.
The Graph Isomorphism Problem
Language: en
Pages: 168
Authors: J. Kobler
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of
Sparsity
Language: en
Pages: 472
Authors: Jaroslav Nešetřil
Categories: Mathematics
Type: BOOK - Published: 2012-04-24 - Publisher: Springer Science & Business Media

GET EBOOK

This is the first book devoted to the systematic study of sparse graphs and sparse finite structures. Although the notion of sparsity appears in various context
Special Issue
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 2009 - Publisher:

GET EBOOK

Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach
Language: en
Pages:
Authors: Bruno; Engelfriet Courcelle (Joost)
Categories:
Type: BOOK - Published: 2012 - Publisher:

GET EBOOK