Problemas localmente verificables parametrizados por treewidth, clique-width y mim-width. Gonzales, C. L. Ph.D. Thesis, Facultad de Ciencias Exactas y Naturales/UBA, abril, 2024. Orientador: Flavia Bonomo. Banca: Sergio Cabello Justo, Paloma T. de Lima e Dimiotriou Touloupas.
abstract   bibtex   
Intuitively, a locally checkable problem is a vertex partition problem (or, equivalently, a vertex coloring problem) for which a solution can be verified simply by checking a certain local property for each vertex, that is, a property that involves only the solution restricted to the vertex and its neighbors. This is the case of several variants of domination, independent set and k-coloring, among other problems. There exist numerous frameworks that include a large subset of these problems, for which algorithms have been proposed to solve them efficiently in various graph classes. In this thesis we define a new framework for locally checkable problems, formalizing the intuitive notion we have of them to then analyze under what circumstances we can propose efficient algorithms to solve them. The proposed algorithms are based on dynamic programming and we computed their complexities when parameterized by treewidth, clique-width and mim-width. The results obtained generalize those of previously defined frameworks. We further show how to model within our framework several problems in the literature, such as [k]-Roman domination, k-community and Grundy domination, thus proving that they are FPT or XP when parameterized by treewidth, clique-width or mim-width. Moreover, we propose polynomial-time approximation schemes for some locally checkable problems in planar graphs.
@PhdThesis{Gonzales2024,
   author       = {Carolina Lucía Gonzales},
   title        = {Problemas localmente verificables parametrizados por treewidth, clique-width y mim-width},
   school       = {Facultad de Ciencias Exactas y Naturales/UBA},
   year         = {2024},
   month        = {abril},
   day          = {15},
   type         = {Doutorado},
   note         = {Orientador: Flavia Bonomo.  Banca: Sergio Cabello Justo,
                  Paloma T. de Lima e Dimiotriou Touloupas.},
   keywords     = {OrDScC,Universal2021},
   abstract     = {Intuitively, a locally checkable problem is a vertex partition problem (or, equivalently, a vertex coloring problem) for which a solution can be verified simply by checking
a certain local property for each vertex, that is, a property that involves only the solution restricted to the vertex and its neighbors. This is the case of several variants of
domination, independent set and k-coloring, among other problems. There exist numerous frameworks that include a large subset of these problems, for which algorithms
have been proposed to solve them efficiently in various graph classes.
In this thesis we define a new framework for locally checkable problems, formalizing the intuitive notion we have of them to then analyze under what circumstances
we can propose efficient algorithms to solve them. The proposed algorithms are based
on dynamic programming and we computed their complexities when parameterized
by treewidth, clique-width and mim-width. The results obtained generalize those of
previously defined frameworks. We further show how to model within our framework
several problems in the literature, such as [k]-Roman domination, k-community and
Grundy domination, thus proving that they are FPT or XP when parameterized by
treewidth, clique-width or mim-width. Moreover, we propose polynomial-time approximation schemes for some locally checkable problems in planar graphs. },
   __url_pdf    = {}
}

Downloads: 0