Tesis > Documento


Ver el documento (formato PDF)   Méndez Díaz, Isabel.  "Problema de coloreo de Grafos : un estudio poliedral y un algoritmo Branch-and-Cut"  (2003)
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
URL:
     
Resumen:
El problema de coloreo de grafos, PCG, es uno de los problemas clásicos de la teoría de grafos y es estudiado desde el siglo XIX. Más allá del interés teórico, tiene una significativa importancia práctica debida a las numerosas situaciones de la vida real en las cuales surgen problemas que pueden ser modelados como un problema de coloreo de grafos. PCG pertenece a la clase de problemas NP-Hard, es decir que no se conoce un algoritmo polinomial para resolverlo. Existe en la bibliografía gran cantidad de trabajos proponiendo algoritmos para su resolución especialmente heurísticas y en menor medida algoritmos exactos. Como muchos problemas de Optimización Combinatoria, PCG se puede modelar como un problema de programación lineal entera. Los algoritmos Branch-and- Cut son la herramienta más efectiva que se conoce para resolver un modelo de programación lineal entera. En particular, las implementaciones que usan desigualdades válidas del poliedro asociado al modelo han mostrado ser las más efectivas. Tal vez una de las mayores dificultades de este abordaje se presenta cuando el problema de programación lineal entera tiene la propiedad de simetría, es decir que existen múltiples soluciones con el mismo valor de la función objetivo. En estos casos, los algoritmos habituales disminuyen en gran medida su performance. El objetivo de esta tesis es abordar la resolución del problema de coloreo de grafos mediante modelos de programación entera binaria que parcialmente eliminen soluciones simétricas. Con este fin, proponemos varios modelos que tratan la simetría del problema con diferentes criterios. Estudiamos los poliedros asociados a estos modelos y desarrollamos e implementamos un algoritmo Branch-and-Cut donde utilizamos este estudio poliedral y estrategias particulares que guían la búsqueda evitando explorar sobre soluciones simétricas. Se presentan resultados que demuestran que este algoritmo es capaz de competir exitosamente con los algoritmos exactos conocidos.

Abstract:
The graph coloring problem, PCG, is perhaps one of the oldest and most well-known problems in graph theory. Nowadays, it arises in many applications such as scheduling, timetabling, electronic bandwidth allocation and sequencing. PCG is known to be NP-hard for arbitrary graphs. The practical importance of the problem makes neccesary to devise algorithms capable of solving, in acceptable computational times, medium to moderate instances arising in real-world applications. A lot of work has been spent in an attempt to develop efficient algorithms for the problem, mainly by using heuristic techniques to deal with large instances. Relatively few methods for solving the problem exactly can be found in the literature. Like most optimization problems on graphs, PCG can be formulated as a linear integer programming problem. LP-based Branch-and-Cut algorithms are currently the most successfull tool to deal with these models computationally. However, the amount of research effort spent in attempts to solve PCG by this method is not comparable with that devoted to other problems, like TSP or maximum stable set. If the integer programming formulation exhibits symmetries, i.e. many solutions exist with the same optimal value, it turns out that Branch-and-Cut exhibts poor performance even for small instances. The classical models for PCG suffered from this problem. In this thesis, we present new integer programming formulations that reduce the number of feasible symmetrical solutions. We develop a polyhedral study of the polytope associated with the proposed models in order to derive families of facet-defining inequalities. Branch-and-Cut implementations that take advantage of the particular structure of the problem under consideration have proved to be the most successfull. In this sense, the use of cutting planes arising from a polyhedral study of the feasible solution set allowed many instances of hard combinatorial optimization problems to be solved to proven optimality for the first time. We develop a Branch-and-Cut algorithm based on our theoretical polyhedral results. We also take into account many others factors like preprocessing, search and branching strategies, lower and upper bounds and streghthening of the LP-relaxation. We present computational results showing that our algorithm performance is successful when compared to known exact algorithms.

* A este resumen le pueden faltar caracteres especiales. Consulte la versión completa en el documento en formato PDF

Registro:
Título : Problema de coloreo de Grafos : un estudio poliedral y un algoritmo Branch-and-Cut    
Autor : Méndez Díaz, Isabel
Director : Maculan, Nelson
Jurados : Lucena, A.  ; Durand, J.  ; Nasini, G.
Año : 2003
Editor : Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Filiación : Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Departamento de Computación
Grado obtenido : Doctor en Ciencias de la Computación
Ubicación : Preservación - http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_3567_MendezDiaz
Idioma : Español
Area Temática : Computación / Teoría de Grafos
URL al Documento : 
URL al Registro : 
hola chau _gs.DocumentHeader_ chau2 _documentheader_ chau3
Estadísticas:
     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