Descriptive Complexity, Canonisation, and ...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

243,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

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

Über den Autor

Martin Grohe is a Professor of Theoretical Computer Science at RTWH Aachen University, Germany, where he holds the Chair for Logic and the Theory of Discrete Systems. His research interests are in theoretical computer science interpreted broadly, including logic, algorithms and complexity, graph theory, and database theory.

Inhaltsverzeichnis

1. Introduction; Part I. The Basic Theory: 2. Background from graph theory and logic; 3. Descriptive complexity; 4. Treelike decompositions; 5. Definable decompositions; 6. Graphs of bounded tree width; 7. Ordered treelike decompositions; 8. 3-Connected components; 9. Graphs embeddable in a surface; Part II. Definable Decompositions of Graphs with Excluded Minors: 10. Quasi-4-connected components; 11. K5-minor free graphs; 12. Completions of pre-decompositions; 13. Almost planar graphs; 14. Almost planar completions; 15. Almost embeddable graphs; 16. Decompositions of almost embeddable graphs; 17. Graphs with excluded minors; 18. Bits and pieces; Appendix. Robertson and Seymour's version of the local structure theorem; References; Symbol index; Index.

Details

Erscheinungsjahr:	2017
Fachbereich:	Allgemeines
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Reihe:	Lecture Notes in Logic
Inhalt:	Gebunden
ISBN-13:	9781107014527
ISBN-10:	1107014522
Sprache:	Englisch
Einband:	Gebunden
Autor:	Grohe, Martin
Hersteller:	Cambridge University Press Lecture Notes in Logic
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	233 x 156 x 38 mm
Von/Mit:	Martin Grohe
Erscheinungsdatum:	17.08.2017
Gewicht:	0,9 kg