First-order transductions of graphs (invited talk)
P Ossona de Mendez - 38th International Symposium on …, 2021 - drops.dagstuhl.de
P Ossona de Mendez
38th International Symposium on Theoretical Aspects of Computer …, 2021•drops.dagstuhl.de… This paper is an extended abstract of my STACS 2021 talk “First-order transductions of
graphs”. … At the heart of the latter result is the notion of monadic second-order transductions,
which are a way to encode a graph within a structure using coloring and monadic second-order
logic formulas. In this presentation we consider first-order transductions, for which the formulas
have to be first-order formulas. As a counterpart for this strong restriction, many algorithmic
problems become fixed parameter tractable when restricted to nowhere dense classes …
graphs”. … At the heart of the latter result is the notion of monadic second-order transductions,
which are a way to encode a graph within a structure using coloring and monadic second-order
logic formulas. In this presentation we consider first-order transductions, for which the formulas
have to be first-order formulas. As a counterpart for this strong restriction, many algorithmic
problems become fixed parameter tractable when restricted to nowhere dense classes …
Abstract
This paper is an extended abstract of my STACS 2021 talk" First-order transductions of graphs".
drops.dagstuhl.de
Showing the best result for this search. See all results