First order limits of sparse graphs: Plane trees and path-width

• Autoři: GAJARSKÝ Jakub; HLINĚNÝ Petr; KAISER Tomáš; KRÁĽ Daniel; KUPEC Martin; OBDRŽÁLEK Jan; ORDYNIAK Sebastian; TŮMA Vojtěch
• Rok publikování: 2017
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Random Structures & Algorithms
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1002/rsa.20676
• Obor: Obecná matematika
• Klíčová slova: graph limits; graphs with bounded path-width; first order limits
• Popis: Nešetřil and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs with bounded tree-depth) has a limit modeling. We strengthen these results by showing that every first order convergent sequence of plane trees (trees with embeddings in the plane) and every first order convergent sequence of graphs with bounded path-width has a limit modeling.

Související projekty

• Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.