Libros importados con hasta 40% OFF + Envío gratis a todo USA  Ver más

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic) (en Inglés)
Formato
Libro Físico
Año
2017
Idioma
Inglés
N° páginas
554
Encuadernación
Tapa Dura
ISBN13
9781107014527
N° edición
1

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic) (en Inglés)

Martin Grohe (Autor) · Cambridge University Press · Tapa Dura

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic) (en Inglés) - Martin Grohe

Libro Físico

$ 183.42

$ 205.00

Ahorras: $ 21.58

11% descuento
  • Estado: Nuevo
Se enviará desde nuestra bodega entre el Jueves 16 de Mayo y el Viernes 17 de Mayo.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic) (en Inglés)"

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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes