Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Hardcover)

Idioma: inglés

Editorial: Cambridge University Press, Cambridge, 2017

1107014522 / 9781107014527

Serie: Libro 35 de 39 - Lecture Notes in Logic

Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail

Vendedor de 5 estrellas

Vendedor de IberLibro desde 29 de junio de 2022

Tapa dura

Condición: Nuevo

EUR 266,24

Envío por EUR 44,18 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Hardcover. 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. This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational complexity using methods from finite model theory. As well as a wealth of new, previously unpublished results, the author also gives an account of the established results in the area. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

N° de ref. del artículo 9781107014527

Título
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Hardcover)
Autor
Martin Grohe
Editorial
Cambridge University Press, Cambridge
Año de publicación
2017
Estado
new
Encuadernación
Hardcover
Idioma
inglés
ISBN 10
1107014522
ISBN 13
9781107014527
Serie
Libro 35 de 39: Lecture Notes in Logic

CitiRetail

Stevenage, Reino Unido

Vendedor de 5 estrellas

Vendedor de IberLibro desde 29 de junio de 2022

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 7 a 14 días hábilesDe 7 a 60 días hábiles
Primer artículoEUR 44,18EUR 44,18
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descripción de la tienda

Online business

Información empresarial del vendedor

ABC BOOKS LIMITED

10 John Street
London, Reino Unido WC1N 2EB