Nowhere dense graph classes and algorithmic applications. A tutorial at Highlights of Logic, Games and Automata 2019

09/15/2019
by   Sebastian Siebertz, et al.
0

The notion of nowhere dense graph classes was introduced by Nešetřil and Ossona de Mendez and provides a robust concept of uniform sparseness of graph classes. Nowhere dense classes generalize many familiar classes of sparse graphs such as classes that exclude a fixed graph as a minor or topological minor. They admit several seemingly unrelated natural characterizations that lead to strong algorithmic applications. In particular, the model-checking problem for first-order logic is fixed-parameter tractable over these classes. These notes, prepared for a tutorial at Highlights of Logic, Games and Automata 2019, are a brief introduction to the theory of nowhere denseness, driven by algorithmic applications.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/14/2023

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

Disjoint-paths logic, denoted 𝖥𝖮+𝖣𝖯, extends first-order logic (𝖥𝖮) with...
research
10/04/2018

First-order interpretations of bounded expansion classes

The notion of bounded expansion captures uniform sparsity of graph class...
research
07/22/2020

Differential games, locality and model checking for FO logic of graphs

We introduce differential games for FO logic of graphs, a variant of Ehr...
research
04/21/2021

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes

The concept of bounded expansion provides a robust way to capture sparse...
research
07/19/2017

First-Order Query Evaluation with Cardinality Conditions

We study an extension of first-order logic that allows to express cardin...
research
06/28/2022

Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes

An indiscernible sequence (a̅_i)_1≤ i≤ n in a structure is an ordered se...
research
01/31/2023

Flipper games for monadically stable graph classes

A class of graphs 𝒞 is monadically stable if for any unary expansion 𝒞 o...

Please sign up or login with your details

Forgot password? Click here to reset