Estudio poliedral del problema de coloreo acíclico

Autores
Braga, Mónica Andrea
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión aceptada
Colaborador/a o director/a de tesis
Marenco, Javier
Descripción
Un coloreo de un grafo es una asignación de colores a sus vértices de modo tal que todo par de vértices adyacentes recibe colores distintos. Un coloreo acíclico de un grafo es un coloreo tal que ningún ciclo del grafo recibe exactamente dos colores, y el número cromático acíclico XA(G)de un grafo G se define como el número mínimo de colores necesarios para garantizar la existencia de un coloreo acíclico de G. Dado un grafo G, el problema de coloreo acíclico consiste en hallar un coloreo acíclico de G con XA(G) colores. Este problema surge en el contexto de la implementación de algoritmos eficientes para el cálculo de matrices Hessianas poco densas y simétricas a través de métodos de sustitución. Dado un grafo G y un entero k, el problema de determinar si XA(G) <= k es un problema NPcompleto, con lo cual no se conocen algoritmos eficientes (es decir, polinomiales en el tamaño de G) para este problema. En particular, el problema de determinar si XA(G) <= 3 es NP-completo.Una técnica que suele ser exitosa para la resolución computacional de problemas de optimización combinatoria es el planteo de algoritmos basados en planos de corte, sobre la base de una formulación del problema como un modelo de programación lineal entera. Este enfoque involucra el estudio de la cápsula convexa de las soluciones factibles del modelo planteado, buscando familias de desigualdades válidas que puedan ser incorporadas en un algoritmo de este tipo. Dado que este enfoque resultó útil para muchos otros problemas, en esta tesis se comienza este estudio para el problema de coloreo acíclico.En esta tesis se introduce un modelo de programación lineal entera para el problema de coloreo acíclico y se estudian sus propiedades. Se analiza la dimensión de la cápsula convexa de las soluciones factibles y, sobre esta base, se estudian desigualdades válidas y se analizan sus propiedades. Se presentan familias de desigualdades válidas basadas en ciclos y cliques del grafo, y se prueba bajo qué condiciones estas desigualdades definen facetas del poliedro cápsula convexa asociado con la formulación. Se muestra que todas las desigualdades presentadas en este trabajo definen facetas bajo condiciones generales.Se estudia además el rango disyuntivo de las familias de desigualdades presentadas en este trabajo, asociado al operador BCC definido por Balas, Ceria y Cornuéjols. Se propone en esta tesis un concepto complementario al de rango disyuntivo, llamado anti-rango disyuntivo de una desigualdad válida. Este parámetro es de interés como medida teórica de la calidad de la desigualdad, y se estudian los anti-rangos disyuntivos de las desigualdades presentadas en este trabajo.
Fil: Braga, Mónica Andrea. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.
Materia
CONCEPTOS MATEMATICOS
MODELOS MATEMATICOS
PROGRAMACION
COMPUTACION
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-nd/4.0/
Repositorio
Repositorio Institucional UNGS
Institución
Universidad Nacional de General Sarmiento
OAI Identificador
oai:repositorio.ungs.edu.ar:UNGS/256

id RIUNGS_8fbe9350ba47912b65e87fe06094d9b8
oai_identifier_str oai:repositorio.ungs.edu.ar:UNGS/256
network_acronym_str RIUNGS
repository_id_str
network_name_str Repositorio Institucional UNGS
spelling Estudio poliedral del problema de coloreo acíclicoBraga, Mónica AndreaCONCEPTOS MATEMATICOSMODELOS MATEMATICOSPROGRAMACIONCOMPUTACIONUn coloreo de un grafo es una asignación de colores a sus vértices de modo tal que todo par de vértices adyacentes recibe colores distintos. Un coloreo acíclico de un grafo es un coloreo tal que ningún ciclo del grafo recibe exactamente dos colores, y el número cromático acíclico XA(G)de un grafo G se define como el número mínimo de colores necesarios para garantizar la existencia de un coloreo acíclico de G. Dado un grafo G, el problema de coloreo acíclico consiste en hallar un coloreo acíclico de G con XA(G) colores. Este problema surge en el contexto de la implementación de algoritmos eficientes para el cálculo de matrices Hessianas poco densas y simétricas a través de métodos de sustitución. Dado un grafo G y un entero k, el problema de determinar si XA(G) <= k es un problema NPcompleto, con lo cual no se conocen algoritmos eficientes (es decir, polinomiales en el tamaño de G) para este problema. En particular, el problema de determinar si XA(G) <= 3 es NP-completo.Una técnica que suele ser exitosa para la resolución computacional de problemas de optimización combinatoria es el planteo de algoritmos basados en planos de corte, sobre la base de una formulación del problema como un modelo de programación lineal entera. Este enfoque involucra el estudio de la cápsula convexa de las soluciones factibles del modelo planteado, buscando familias de desigualdades válidas que puedan ser incorporadas en un algoritmo de este tipo. Dado que este enfoque resultó útil para muchos otros problemas, en esta tesis se comienza este estudio para el problema de coloreo acíclico.En esta tesis se introduce un modelo de programación lineal entera para el problema de coloreo acíclico y se estudian sus propiedades. Se analiza la dimensión de la cápsula convexa de las soluciones factibles y, sobre esta base, se estudian desigualdades válidas y se analizan sus propiedades. Se presentan familias de desigualdades válidas basadas en ciclos y cliques del grafo, y se prueba bajo qué condiciones estas desigualdades definen facetas del poliedro cápsula convexa asociado con la formulación. Se muestra que todas las desigualdades presentadas en este trabajo definen facetas bajo condiciones generales.Se estudia además el rango disyuntivo de las familias de desigualdades presentadas en este trabajo, asociado al operador BCC definido por Balas, Ceria y Cornuéjols. Se propone en esta tesis un concepto complementario al de rango disyuntivo, llamado anti-rango disyuntivo de una desigualdad válida. Este parámetro es de interés como medida teórica de la calidad de la desigualdad, y se estudian los anti-rangos disyuntivos de las desigualdades presentadas en este trabajo.Fil: Braga, Mónica Andrea. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.Universidad Nacional de General SarmientoMarenco, Javier2019-06-03T20:10:13Z2019-06-03T20:10:13Z2015info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdf99 p.application/pdfhttp://repositorio.ungs.edu.ar/handle/UNGS/256spainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/4.0/reponame:Repositorio Institucional UNGSinstname:Universidad Nacional de General Sarmiento2025-09-29T15:01:50Zoai:repositorio.ungs.edu.ar:UNGS/256instacron:UNGSInstitucionalhttp://repositorio.ungs.edu.ar:8080/Universidad públicahttps://www.ungs.edu.ar/http://repositorio.ungs.edu.ar:8080/oaiubyd@campus.ungs.edu.arArgentinaopendoar:2025-09-29 15:01:50.509Repositorio Institucional UNGS - Universidad Nacional de General Sarmientofalse
dc.title.none.fl_str_mv Estudio poliedral del problema de coloreo acíclico
title Estudio poliedral del problema de coloreo acíclico
spellingShingle Estudio poliedral del problema de coloreo acíclico
Braga, Mónica Andrea
CONCEPTOS MATEMATICOS
MODELOS MATEMATICOS
PROGRAMACION
COMPUTACION
title_short Estudio poliedral del problema de coloreo acíclico
title_full Estudio poliedral del problema de coloreo acíclico
title_fullStr Estudio poliedral del problema de coloreo acíclico
title_full_unstemmed Estudio poliedral del problema de coloreo acíclico
title_sort Estudio poliedral del problema de coloreo acíclico
dc.creator.none.fl_str_mv Braga, Mónica Andrea
author Braga, Mónica Andrea
author_facet Braga, Mónica Andrea
author_role author
dc.contributor.none.fl_str_mv Marenco, Javier
dc.subject.none.fl_str_mv CONCEPTOS MATEMATICOS
MODELOS MATEMATICOS
PROGRAMACION
COMPUTACION
topic CONCEPTOS MATEMATICOS
MODELOS MATEMATICOS
PROGRAMACION
COMPUTACION
dc.description.none.fl_txt_mv Un coloreo de un grafo es una asignación de colores a sus vértices de modo tal que todo par de vértices adyacentes recibe colores distintos. Un coloreo acíclico de un grafo es un coloreo tal que ningún ciclo del grafo recibe exactamente dos colores, y el número cromático acíclico XA(G)de un grafo G se define como el número mínimo de colores necesarios para garantizar la existencia de un coloreo acíclico de G. Dado un grafo G, el problema de coloreo acíclico consiste en hallar un coloreo acíclico de G con XA(G) colores. Este problema surge en el contexto de la implementación de algoritmos eficientes para el cálculo de matrices Hessianas poco densas y simétricas a través de métodos de sustitución. Dado un grafo G y un entero k, el problema de determinar si XA(G) <= k es un problema NPcompleto, con lo cual no se conocen algoritmos eficientes (es decir, polinomiales en el tamaño de G) para este problema. En particular, el problema de determinar si XA(G) <= 3 es NP-completo.Una técnica que suele ser exitosa para la resolución computacional de problemas de optimización combinatoria es el planteo de algoritmos basados en planos de corte, sobre la base de una formulación del problema como un modelo de programación lineal entera. Este enfoque involucra el estudio de la cápsula convexa de las soluciones factibles del modelo planteado, buscando familias de desigualdades válidas que puedan ser incorporadas en un algoritmo de este tipo. Dado que este enfoque resultó útil para muchos otros problemas, en esta tesis se comienza este estudio para el problema de coloreo acíclico.En esta tesis se introduce un modelo de programación lineal entera para el problema de coloreo acíclico y se estudian sus propiedades. Se analiza la dimensión de la cápsula convexa de las soluciones factibles y, sobre esta base, se estudian desigualdades válidas y se analizan sus propiedades. Se presentan familias de desigualdades válidas basadas en ciclos y cliques del grafo, y se prueba bajo qué condiciones estas desigualdades definen facetas del poliedro cápsula convexa asociado con la formulación. Se muestra que todas las desigualdades presentadas en este trabajo definen facetas bajo condiciones generales.Se estudia además el rango disyuntivo de las familias de desigualdades presentadas en este trabajo, asociado al operador BCC definido por Balas, Ceria y Cornuéjols. Se propone en esta tesis un concepto complementario al de rango disyuntivo, llamado anti-rango disyuntivo de una desigualdad válida. Este parámetro es de interés como medida teórica de la calidad de la desigualdad, y se estudian los anti-rangos disyuntivos de las desigualdades presentadas en este trabajo.
Fil: Braga, Mónica Andrea. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.
description Un coloreo de un grafo es una asignación de colores a sus vértices de modo tal que todo par de vértices adyacentes recibe colores distintos. Un coloreo acíclico de un grafo es un coloreo tal que ningún ciclo del grafo recibe exactamente dos colores, y el número cromático acíclico XA(G)de un grafo G se define como el número mínimo de colores necesarios para garantizar la existencia de un coloreo acíclico de G. Dado un grafo G, el problema de coloreo acíclico consiste en hallar un coloreo acíclico de G con XA(G) colores. Este problema surge en el contexto de la implementación de algoritmos eficientes para el cálculo de matrices Hessianas poco densas y simétricas a través de métodos de sustitución. Dado un grafo G y un entero k, el problema de determinar si XA(G) <= k es un problema NPcompleto, con lo cual no se conocen algoritmos eficientes (es decir, polinomiales en el tamaño de G) para este problema. En particular, el problema de determinar si XA(G) <= 3 es NP-completo.Una técnica que suele ser exitosa para la resolución computacional de problemas de optimización combinatoria es el planteo de algoritmos basados en planos de corte, sobre la base de una formulación del problema como un modelo de programación lineal entera. Este enfoque involucra el estudio de la cápsula convexa de las soluciones factibles del modelo planteado, buscando familias de desigualdades válidas que puedan ser incorporadas en un algoritmo de este tipo. Dado que este enfoque resultó útil para muchos otros problemas, en esta tesis se comienza este estudio para el problema de coloreo acíclico.En esta tesis se introduce un modelo de programación lineal entera para el problema de coloreo acíclico y se estudian sus propiedades. Se analiza la dimensión de la cápsula convexa de las soluciones factibles y, sobre esta base, se estudian desigualdades válidas y se analizan sus propiedades. Se presentan familias de desigualdades válidas basadas en ciclos y cliques del grafo, y se prueba bajo qué condiciones estas desigualdades definen facetas del poliedro cápsula convexa asociado con la formulación. Se muestra que todas las desigualdades presentadas en este trabajo definen facetas bajo condiciones generales.Se estudia además el rango disyuntivo de las familias de desigualdades presentadas en este trabajo, asociado al operador BCC definido por Balas, Ceria y Cornuéjols. Se propone en esta tesis un concepto complementario al de rango disyuntivo, llamado anti-rango disyuntivo de una desigualdad válida. Este parámetro es de interés como medida teórica de la calidad de la desigualdad, y se estudian los anti-rangos disyuntivos de las desigualdades presentadas en este trabajo.
publishDate 2015
dc.date.none.fl_str_mv 2015
2019-06-03T20:10:13Z
2019-06-03T20:10:13Z
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/acceptedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://repositorio.ungs.edu.ar/handle/UNGS/256
url http://repositorio.ungs.edu.ar/handle/UNGS/256
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.format.none.fl_str_mv application/pdf
99 p.
application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de General Sarmiento
publisher.none.fl_str_mv Universidad Nacional de General Sarmiento
dc.source.none.fl_str_mv reponame:Repositorio Institucional UNGS
instname:Universidad Nacional de General Sarmiento
reponame_str Repositorio Institucional UNGS
collection Repositorio Institucional UNGS
instname_str Universidad Nacional de General Sarmiento
repository.name.fl_str_mv Repositorio Institucional UNGS - Universidad Nacional de General Sarmiento
repository.mail.fl_str_mv ubyd@campus.ungs.edu.ar
_version_ 1844623308491849728
score 12.559606