Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Cambridge University Press
08/2017
554
Dura
Inglês
9781107014527
880
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
