Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da Universidade Federal do Ceará (UFC) |
Texto Completo: | http://www.repositorio.ufc.br/handle/riufc/18654 |
Resumo: | The vertex coloring problem is one of the most studied problems in graph theory for its relevance in practical and theoretical fields. From a theoretical point of view, it is a NP-Hard problem. Moreover, it is classified among the most difficult problems of NP- Hard in the sense that finding an approximation to the chromatic number is also NP-Hard. The importance of the coloring problem motivates searching for methods to find lower bounds close to the chromatic number. Historically, the first lower bounds used were obtained from the size of maximal cliques. More recently, relaxed integer programming formulations gained more attention. A formulation which found good lower bounds was the coloring problem through stable sets whose relaxed lower bound equals the fractional chromatic number. In this work, we make a comparison between the known integer programming formulations to motivate our choice for the Representatives formulation. We revise this formulation to remove symmetry and present a partial study of the polytope associated with the convex hull of its integer solutions. We discuss how to se the Representatives formulation to get lower bounds for the fractional chromatic number and we show how to get such lower bounds that differ at most by one unit to its exact value. |
id |
UFC-7_88de16a33b2be008e20be08072143512 |
---|---|
oai_identifier_str |
oai:repositorio.ufc.br:riufc/18654 |
network_acronym_str |
UFC-7 |
network_name_str |
Repositório Institucional da Universidade Federal do Ceará (UFC) |
repository_id_str |
|
spelling |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantesA study on the polytope and lower bounds of the representatives coloring formulationTeoria da computaçãoColoração de vérticesProgramação inteiraTeoria poliétricaMétodo de planos-de-corteVertex coloringThe vertex coloring problem is one of the most studied problems in graph theory for its relevance in practical and theoretical fields. From a theoretical point of view, it is a NP-Hard problem. Moreover, it is classified among the most difficult problems of NP- Hard in the sense that finding an approximation to the chromatic number is also NP-Hard. The importance of the coloring problem motivates searching for methods to find lower bounds close to the chromatic number. Historically, the first lower bounds used were obtained from the size of maximal cliques. More recently, relaxed integer programming formulations gained more attention. A formulation which found good lower bounds was the coloring problem through stable sets whose relaxed lower bound equals the fractional chromatic number. In this work, we make a comparison between the known integer programming formulations to motivate our choice for the Representatives formulation. We revise this formulation to remove symmetry and present a partial study of the polytope associated with the convex hull of its integer solutions. We discuss how to se the Representatives formulation to get lower bounds for the fractional chromatic number and we show how to get such lower bounds that differ at most by one unit to its exact value.O problema de coloração de vértices é considerado um dos modelos mais estudados em teoria dos grafos pela sua relevância em campos práticos e teóricos. Do ponto de vista teórico, o problema de coloração é NP - Difícil. Além disto, foi classificado entre os problemas mais difíceis de NP, no sentido de que achar uma aproximação para o número cromático também é NP - Difícil. A importância do problema de coloração tem incentivado a investigar métodos para encontrar limitantes inferiores próximos do número cromático. Historicamente, os primeiros limitantes inferiores utilizados para resolvê-lo lidavam com cliques maximais. Mais recentemente, popularizou-se a utilização de relaxações lineares de formulações de programação inteira. Uma formulação que mostrou bons limitantes inferiores foi a formulação por conjuntos independentes, cujo valor de relaxação equivale ao número cromático fracionário. No presente trabalho, fazemos uma comparação entre as formulações de programação inteira conhecidas para indicar a escolha pela formulação dos representantes. Revisamos a formulação para remover simetrias existentes e apresentamos um estudo parcial do politopo associado ao fecho convexo de suas soluções inteiras. Discutimos como é possível utilizar a formulação dos representantes para gerar limites inferiores para o número cromático fracionário. Realizamos a implementação de um método de planos de corte para aproximar o número cromático fracionário e mostramos que podemos gerar limitantes inferiores que normalmente não diferem em mais de uma unidade.Corrêa, Ricardo CordeiroCampos, Victor Almeida2016-07-22T12:41:39Z2016-07-22T12:41:39Z2005info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfCAMPOS, Victor Almeida. Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes. 2005. 108 f. Dissertação (Mestrado em ciência da computação) - Universidade Federal do Ceará, Fortaleza-CE, 2005.http://www.repositorio.ufc.br/handle/riufc/18654porreponame:Repositório Institucional da Universidade Federal do Ceará (UFC)instname:Universidade Federal do Ceará (UFC)instacron:UFCinfo:eu-repo/semantics/openAccess2020-06-26T13:29:15Zoai:repositorio.ufc.br:riufc/18654Repositório InstitucionalPUBhttp://www.repositorio.ufc.br/ri-oai/requestbu@ufc.br || repositorio@ufc.bropendoar:2024-09-11T18:27:35.220992Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)false |
dc.title.none.fl_str_mv |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes A study on the polytope and lower bounds of the representatives coloring formulation |
title |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes |
spellingShingle |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes Campos, Victor Almeida Teoria da computação Coloração de vértices Programação inteira Teoria poliétrica Método de planos-de-corte Vertex coloring |
title_short |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes |
title_full |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes |
title_fullStr |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes |
title_full_unstemmed |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes |
title_sort |
Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes |
author |
Campos, Victor Almeida |
author_facet |
Campos, Victor Almeida |
author_role |
author |
dc.contributor.none.fl_str_mv |
Corrêa, Ricardo Cordeiro |
dc.contributor.author.fl_str_mv |
Campos, Victor Almeida |
dc.subject.por.fl_str_mv |
Teoria da computação Coloração de vértices Programação inteira Teoria poliétrica Método de planos-de-corte Vertex coloring |
topic |
Teoria da computação Coloração de vértices Programação inteira Teoria poliétrica Método de planos-de-corte Vertex coloring |
description |
The vertex coloring problem is one of the most studied problems in graph theory for its relevance in practical and theoretical fields. From a theoretical point of view, it is a NP-Hard problem. Moreover, it is classified among the most difficult problems of NP- Hard in the sense that finding an approximation to the chromatic number is also NP-Hard. The importance of the coloring problem motivates searching for methods to find lower bounds close to the chromatic number. Historically, the first lower bounds used were obtained from the size of maximal cliques. More recently, relaxed integer programming formulations gained more attention. A formulation which found good lower bounds was the coloring problem through stable sets whose relaxed lower bound equals the fractional chromatic number. In this work, we make a comparison between the known integer programming formulations to motivate our choice for the Representatives formulation. We revise this formulation to remove symmetry and present a partial study of the polytope associated with the convex hull of its integer solutions. We discuss how to se the Representatives formulation to get lower bounds for the fractional chromatic number and we show how to get such lower bounds that differ at most by one unit to its exact value. |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005 2016-07-22T12:41:39Z 2016-07-22T12:41:39Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
CAMPOS, Victor Almeida. Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes. 2005. 108 f. Dissertação (Mestrado em ciência da computação) - Universidade Federal do Ceará, Fortaleza-CE, 2005. http://www.repositorio.ufc.br/handle/riufc/18654 |
identifier_str_mv |
CAMPOS, Victor Almeida. Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes. 2005. 108 f. Dissertação (Mestrado em ciência da computação) - Universidade Federal do Ceará, Fortaleza-CE, 2005. |
url |
http://www.repositorio.ufc.br/handle/riufc/18654 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da Universidade Federal do Ceará (UFC) instname:Universidade Federal do Ceará (UFC) instacron:UFC |
instname_str |
Universidade Federal do Ceará (UFC) |
instacron_str |
UFC |
institution |
UFC |
reponame_str |
Repositório Institucional da Universidade Federal do Ceará (UFC) |
collection |
Repositório Institucional da Universidade Federal do Ceará (UFC) |
repository.name.fl_str_mv |
Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC) |
repository.mail.fl_str_mv |
bu@ufc.br || repositorio@ufc.br |
_version_ |
1813028812370214913 |