Resumen: En esta tesis estudiamos caracterizaciones estructurales para grafos arcocirculares, grafos circulo, grafos probe de intervalos, grafos probe de interva 10s unitarios, grafos probe de bloques y grafos probe co-bipartitos. Un grafo es arc0 circular (circulo) si es el grafo de interseccion de una familia de arcos (cuerdas) en una circunferencia. Dada una familia hereditaria de grafos G, un grafo es probe G si sus vertices pueden particionarse en dos conjuntos: un conjunto de vertices probe y un conjunto de vertices nonprobe, de forma tal que el conjunto de vertices nonprobe es un conjunto independiente y es posible obtener un grafo en la clase G agregando aristas entre ellos. Los grafos probe G forman una superclase de la familia G. Por lo tanto, 10s grafos probe de intervalos y 10s grafos probe de intervalos unitarios generalizan la clase de 10s grafos de intervalos y 10s grafos de intervalos unitarios respectivamente. Caracterizamos parcialmente a 10s grafos arco-circulares, grafos circulo, grafos probe de intervalos y probe de interval0 unitario mediante subgrafos prohibidos dentro de ciertas familias hereditarias de grafos. Finalmente, es presentada una caracterizacion de 10s grafos probe co-bipartitos que lleva a un algoritmo de reconocimiento de tiempo polinomial para dicha clase y 10s grafos probe de bloques son caracterizados mediante una lista de subgrafos prohibidos.
Abstract: In this Thesis we study structural characterizations for six classes of graphs, namely circular-arc graphs, circle graphs, probe interval graphs, probe unit interval graphs, probe co-bipartite graphs, and probe block graphs. A circular-arc graph (circle graph) is the intersection graph of a family of arcs (chords) on a circle. Let G be a hereditary class of graphs. A graph is probe G if its vertices can be partitioned into two sets: a set of probe vertices and a set of nonprobe vertices, so that the set of nonprobe vertices is a stable set and it is possible to obtain a graph belonging to the class G by adding edges with both endpoints in the set of nonprobe vertices. Probe G graphs form a superclass of the class G. Hence, probe interval graphs and probe unit interval graphs are extensions of the classes of interval graphs and unit interval graphs, respectively. We partially characterize circular-arc graphs, circle graphs, probe interval graphs and probe unit interval graphs by forbidden induced subgraphs within certain hereditary families of graphs. Finally, a structural characterization for probe co-bipartite graphs that leads to a polynomial-time recognition algorithm and a complete characterization of probe block graphs by a list of forbidden induced subgraphs are presented.
Título :
Caracterizaciones estructurales de grafos de intersección = Structural characterizations of intersection graphs
Autor :
Grippo, Luciano Norberto
Director :
Durán, Guillermo Alfredo
Consejero de estudios :
Lederman, Claudia
Jurados :
Hell, Pavol ; Protti, Fábio ; Gutiérrez, Marisa
Año :
2011
Editor :
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Filiación :
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Grado obtenido :
Doctor de la Universidad de Buenos Aires en el área de Ciencias Matemáticas
Cita tipo Chicago: Grippo, Luciano Norberto. "Caracterizaciones estructurales de grafos de intersección". Tesis de Doctorado. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. 2011. http://digital.bl.fcen.uba.ar/Download/Tesis/Tesis_4904_Grippo.pdf
Resumen: Los problemas de coloreo de grafos constituyen una familia de problemas de una gran relevancia tanto teórica como práctica. Todos ellos son variaciones del problema del coloreo clásico, cuyo estudio se inició en el Siglo XIX. El origen de estas variaciones radica en las restricciones adicionales que imponen las aplicaciones a problemas de la vida real. En esta tesis abordamos en particular el Problema de Coloreo Equitativo en Grafos. Como muchos problemas de Optimización Combinatoria, el Problema de Coloreo Equitativo es un problema NP-difícil. Los algoritmos Branch-and-Cut basados en el estudio poliedral de una formulación del problema como programa lineal entero, son la herramienta más efectiva que se conoce para la resolución exacta de problemas NP-difíciles. En esta tesis se propone un modelo de programación lineal entera para el Problema del Coloreo Equitativo y se estudia el poliedro asociado. Se derivan varias familias de desigualdades validas y se prueba que siempre definen caras de alta dimensión, lo cual es un buen indicador para la utilización de las mismas como planos de corte. Finalmente, se desarrolla e implementa un algoritmo Branch-and-Cut para el Problema de Coloreo Equitativo que resulta altamente competitivo con los algoritmos exactos conocidos.
Abstract: The graph coloring problems constitute a family of problems of great theoretical and practical relevance. All of them are variations of the classical coloring problem, whose study began in the nineteenth century. The origin of these variations arises from the additional restrictions imposed by applications to real life problems. In particular, this thesis deals with the Equitable Graph Coloring Problem. Like many combinatorial optimization problems, the Equitable Coloring Problem is NP-hard. It is known that Branch-and-Cut algorithms based on the polyhedral study of a formulation of the problem as an integer linear program, are the most effective tool for solving NP-hard problems. This thesis proposes a linear integer programming model for the Equitable Coloring Problem and studies the polytope associated to that model. Several families of valid inequalities that define faces of high dimension are derived in order to use them later as cutting planes. Finally, a Branch-and-Cut algorithm for the Equitable Coloring Problem that is highly competitive against known exact algorithms is developed.
Título :
Estudio poliedral y algoritmo branch-and-cut para el problema de coloreo equitativo en grafos = A polyhedral study and a Branch-and-Cut algorithm for the equitable graph coloring problem
Autor :
Severin, Daniel E.
Director :
Méndez-Díaz, Isabel Nasini, Graciela L.
Consejero de estudios :
Méndez-Díaz, Isabel
Jurados :
Marenco, Javier ; Maculán, Nelson ; Cancela Bosi, Héctor
Año :
2012
Editor :
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Filiación :
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Departamento de Matemática
Grado obtenido :
Doctor de la Universidad de Buenos Aires en el área de Ciencias de la Computación
Cita tipo APA: Severin, Daniel E. . (2012). Estudio poliedral y algoritmo branch-and-cut para el problema de coloreo equitativo en grafos. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. http://digital.bl.fcen.uba.ar/Download/Tesis/Tesis_5080_Severin.pdf
Cita tipo Chicago: Severin, Daniel E.. "Estudio poliedral y algoritmo branch-and-cut para el problema de coloreo equitativo en grafos". Tesis de Doctorado. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. 2012. http://digital.bl.fcen.uba.ar/Download/Tesis/Tesis_5080_Severin.pdf
http://digital.bl.fcen.uba.ar
Biblioteca Central Dr. Luis Federico Leloir - Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires
Intendente Güiraldes 2160 - Ciudad Universitaria - Pabellón II - C1428EGA - Tel. (54 11) 4789-9293 int 34