Facet-generating procedures for the maximum-impact coloring polytope

Autores
Braga, Mónica Andrea; Marenco, Javier
Año de publicación
2022
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Revista con referato
Fil: Braga, Mónica. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.
Fil: Marenco, Javier. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.
Given two graphs G=(V,EG) and H=(V,EH) over the same set of vertices and given a set of colors C, the impact on H of a coloring c:V?C of G, denoted I(c), is the number of edges ij?EH such that c(i)=c(j). In this setting, the maximum-impact coloring problem asks for a proper coloring c of G maximizing the impact I(c) on H. This problem naturally arises in the context of classroom allocation to courses, where it is desirable – but not mandatory – to assign lectures from the same course to the same classroom. In a previous work we identified several families of facet-inducing inequalities for a natural integer programming formulation of this problem. Most of these families were based on similar ideas, leading us to explore whether they can be expressed within a unified framework. In this work we tackle this issue, by presenting two procedures that construct valid inequalities from existing inequalities, based on extending individual colors to sets of colors and on extending edges of G to cliques in G, respectively. If the original inequality defines a facet and additional technical hypotheses are satisfied, then the obtained inequality also defines a facet. We show that these procedures can explain most of the inequalities presented in a previous work, we present a generic separation algorithm based on these procedures, and we report computational experiments showing that this approach is effective.
Dados dos gráficos G=(V,EG) y H=(V,EH) sobre el mismo conjunto de vértices y dado un conjunto de colores C, el impacto en H de una coloración c:V?C de G, denotado I(c), es el número de aristas ij?EH tales que c(i)=c(j). En este contexto, el problema de coloración de impacto máximo requiere una coloración adecuada c de G que maximice el impacto I(c) en H. Este problema surge naturalmente en el contexto de la asignación de aulas a cursos, donde es deseable –pero no obligatorio– asignar conferencias del mismo curso a la misma aula. En un trabajo anterior identificamos varias familias de desigualdades inductoras de facetas para una formulación de programación entera natural de este problema. La mayoría de estas familias se basaron en ideas similares, lo que nos llevó a explorar si pueden expresarse dentro de un marco unificado. En este trabajo abordamos este tema presentando dos procedimientos que construyen desigualdades válidas a partir de desigualdades existentes, basados ??en extender colores individuales a conjuntos de colores y en extender bordes de G a camarillas en G, respectivamente. Si la desigualdad original define una faceta y se satisfacen hipótesis técnicas adicionales, entonces la desigualdad obtenida también define una faceta. Mostramos que estos procedimientos pueden explicar la mayoría de las desigualdades presentadas en un trabajo anterior, presentamos un algoritmo de separación genérico basado en estos procedimientos e informamos experimentos computacionales que muestran que este enfoque es efectivo.
Dados dois gráficos G=(V,EG) e H=(V,EH) sobre o mesmo conjunto de vértices e dado um conjunto de cores C, o impacto em H de uma coloração c:V?C de G, denotado I(c), é o número de arestas ij?EH tal que c(i)=c(j). Neste cenário, o problema de coloração de impacto máximo pede uma coloração adequada c de G maximizando o impacto I(c) em H. Este problema surge naturalmente no contexto da alocação de salas de aula para cursos, onde é desejável – mas não obrigatório – atribuir aulas do mesmo curso para a mesma sala de aula. Em um trabalho anterior identificamos diversas famílias de desigualdades indutoras de facetas para uma formulação de programação inteira natural deste problema. A maioria destas famílias baseou-se em ideias semelhantes, o que nos levou a explorar se podem ser expressas num quadro unificado. Neste trabalho abordamos esta questão apresentando dois procedimentos que constroem desigualdades válidas a partir de desigualdades existentes, baseados na extensão de cores individuais para conjuntos de cores e na extensão de arestas de G para cliques em G, respectivamente. Se a desigualdade original define uma faceta e hipóteses técnicas adicionais são satisfeitas, então a desigualdade obtida também define uma faceta. Mostramos que estes procedimentos podem explicar a maioria das desigualdades apresentadas em um trabalho anterior, apresentamos um algoritmo de separação genérico baseado nestes procedimentos e relatamos experimentos computacionais mostrando que esta abordagem é eficaz
Fuente
Discrete Applied Mathematics, 2022; 323: 96–112
https://www.sciencedirect.com/journal/discrete-applied-mathematics/vol/323/suppl/C
Materia
Inter Programming
Facet-Generating Procedures
Interprogramação
Procedimentos de geração de facetas
Interprogramación
Procedimientos de generación de facetas
Matemáticas
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/2034

id RIUNGS_8f84ecb2aa5908eb4f0ac5d472edf061
oai_identifier_str oai:repositorio.ungs.edu.ar:UNGS/2034
network_acronym_str RIUNGS
repository_id_str
network_name_str Repositorio Institucional UNGS
spelling Facet-generating procedures for the maximum-impact coloring polytopeBraga, Mónica AndreaMarenco, JavierInter ProgrammingFacet-Generating ProceduresInterprogramaçãoProcedimentos de geração de facetasInterprogramaciónProcedimientos de generación de facetasMatemáticasRevista con referatoFil: Braga, Mónica. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.Fil: Marenco, Javier. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.Given two graphs G=(V,EG) and H=(V,EH) over the same set of vertices and given a set of colors C, the impact on H of a coloring c:V?C of G, denoted I(c), is the number of edges ij?EH such that c(i)=c(j). In this setting, the maximum-impact coloring problem asks for a proper coloring c of G maximizing the impact I(c) on H. This problem naturally arises in the context of classroom allocation to courses, where it is desirable – but not mandatory – to assign lectures from the same course to the same classroom. In a previous work we identified several families of facet-inducing inequalities for a natural integer programming formulation of this problem. Most of these families were based on similar ideas, leading us to explore whether they can be expressed within a unified framework. In this work we tackle this issue, by presenting two procedures that construct valid inequalities from existing inequalities, based on extending individual colors to sets of colors and on extending edges of G to cliques in G, respectively. If the original inequality defines a facet and additional technical hypotheses are satisfied, then the obtained inequality also defines a facet. We show that these procedures can explain most of the inequalities presented in a previous work, we present a generic separation algorithm based on these procedures, and we report computational experiments showing that this approach is effective.Dados dos gráficos G=(V,EG) y H=(V,EH) sobre el mismo conjunto de vértices y dado un conjunto de colores C, el impacto en H de una coloración c:V?C de G, denotado I(c), es el número de aristas ij?EH tales que c(i)=c(j). En este contexto, el problema de coloración de impacto máximo requiere una coloración adecuada c de G que maximice el impacto I(c) en H. Este problema surge naturalmente en el contexto de la asignación de aulas a cursos, donde es deseable –pero no obligatorio– asignar conferencias del mismo curso a la misma aula. En un trabajo anterior identificamos varias familias de desigualdades inductoras de facetas para una formulación de programación entera natural de este problema. La mayoría de estas familias se basaron en ideas similares, lo que nos llevó a explorar si pueden expresarse dentro de un marco unificado. En este trabajo abordamos este tema presentando dos procedimientos que construyen desigualdades válidas a partir de desigualdades existentes, basados ??en extender colores individuales a conjuntos de colores y en extender bordes de G a camarillas en G, respectivamente. Si la desigualdad original define una faceta y se satisfacen hipótesis técnicas adicionales, entonces la desigualdad obtenida también define una faceta. Mostramos que estos procedimientos pueden explicar la mayoría de las desigualdades presentadas en un trabajo anterior, presentamos un algoritmo de separación genérico basado en estos procedimientos e informamos experimentos computacionales que muestran que este enfoque es efectivo.Dados dois gráficos G=(V,EG) e H=(V,EH) sobre o mesmo conjunto de vértices e dado um conjunto de cores C, o impacto em H de uma coloração c:V?C de G, denotado I(c), é o número de arestas ij?EH tal que c(i)=c(j). Neste cenário, o problema de coloração de impacto máximo pede uma coloração adequada c de G maximizando o impacto I(c) em H. Este problema surge naturalmente no contexto da alocação de salas de aula para cursos, onde é desejável – mas não obrigatório – atribuir aulas do mesmo curso para a mesma sala de aula. Em um trabalho anterior identificamos diversas famílias de desigualdades indutoras de facetas para uma formulação de programação inteira natural deste problema. A maioria destas famílias baseou-se em ideias semelhantes, o que nos levou a explorar se podem ser expressas num quadro unificado. Neste trabalho abordamos esta questão apresentando dois procedimentos que constroem desigualdades válidas a partir de desigualdades existentes, baseados na extensão de cores individuais para conjuntos de cores e na extensão de arestas de G para cliques em G, respectivamente. Se a desigualdade original define uma faceta e hipóteses técnicas adicionais são satisfeitas, então a desigualdade obtida também define uma faceta. Mostramos que estes procedimentos podem explicar a maioria das desigualdades apresentadas em um trabalho anterior, apresentamos um algoritmo de separação genérico baseado nestes procedimentos e relatamos experimentos computacionais mostrando que esta abordagem é eficazElsevier Science BV2025-02-05T15:23:25Z2025-02-05T15:23:25Z2022info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfBraga, M., y Marenco, J. (2022). Facet-generating procedures for the maximum-impact coloring polytope. Discrete Applied Mathematics, 323, 96–112.0166-218Xhttp://repositorio.ungs.edu.ar:8080/xmlui/handle/UNGS/2034Discrete Applied Mathematics, 2022; 323: 96–112https://www.sciencedirect.com/journal/discrete-applied-mathematics/vol/323/suppl/Creponame:Repositorio Institucional UNGSinstname:Universidad Nacional de General Sarmientoenghttps://doi.org/10.1016/j.dam.2022.06.021info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/4.0/2025-09-29T15:01:50Zoai:repositorio.ungs.edu.ar:UNGS/2034instacron: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.494Repositorio Institucional UNGS - Universidad Nacional de General Sarmientofalse
dc.title.none.fl_str_mv Facet-generating procedures for the maximum-impact coloring polytope
title Facet-generating procedures for the maximum-impact coloring polytope
spellingShingle Facet-generating procedures for the maximum-impact coloring polytope
Braga, Mónica Andrea
Inter Programming
Facet-Generating Procedures
Interprogramação
Procedimentos de geração de facetas
Interprogramación
Procedimientos de generación de facetas
Matemáticas
title_short Facet-generating procedures for the maximum-impact coloring polytope
title_full Facet-generating procedures for the maximum-impact coloring polytope
title_fullStr Facet-generating procedures for the maximum-impact coloring polytope
title_full_unstemmed Facet-generating procedures for the maximum-impact coloring polytope
title_sort Facet-generating procedures for the maximum-impact coloring polytope
dc.creator.none.fl_str_mv Braga, Mónica Andrea
Marenco, Javier
author Braga, Mónica Andrea
author_facet Braga, Mónica Andrea
Marenco, Javier
author_role author
author2 Marenco, Javier
author2_role author
dc.subject.none.fl_str_mv Inter Programming
Facet-Generating Procedures
Interprogramação
Procedimentos de geração de facetas
Interprogramación
Procedimientos de generación de facetas
Matemáticas
topic Inter Programming
Facet-Generating Procedures
Interprogramação
Procedimentos de geração de facetas
Interprogramación
Procedimientos de generación de facetas
Matemáticas
dc.description.none.fl_txt_mv Revista con referato
Fil: Braga, Mónica. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.
Fil: Marenco, Javier. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina.
Given two graphs G=(V,EG) and H=(V,EH) over the same set of vertices and given a set of colors C, the impact on H of a coloring c:V?C of G, denoted I(c), is the number of edges ij?EH such that c(i)=c(j). In this setting, the maximum-impact coloring problem asks for a proper coloring c of G maximizing the impact I(c) on H. This problem naturally arises in the context of classroom allocation to courses, where it is desirable – but not mandatory – to assign lectures from the same course to the same classroom. In a previous work we identified several families of facet-inducing inequalities for a natural integer programming formulation of this problem. Most of these families were based on similar ideas, leading us to explore whether they can be expressed within a unified framework. In this work we tackle this issue, by presenting two procedures that construct valid inequalities from existing inequalities, based on extending individual colors to sets of colors and on extending edges of G to cliques in G, respectively. If the original inequality defines a facet and additional technical hypotheses are satisfied, then the obtained inequality also defines a facet. We show that these procedures can explain most of the inequalities presented in a previous work, we present a generic separation algorithm based on these procedures, and we report computational experiments showing that this approach is effective.
Dados dos gráficos G=(V,EG) y H=(V,EH) sobre el mismo conjunto de vértices y dado un conjunto de colores C, el impacto en H de una coloración c:V?C de G, denotado I(c), es el número de aristas ij?EH tales que c(i)=c(j). En este contexto, el problema de coloración de impacto máximo requiere una coloración adecuada c de G que maximice el impacto I(c) en H. Este problema surge naturalmente en el contexto de la asignación de aulas a cursos, donde es deseable –pero no obligatorio– asignar conferencias del mismo curso a la misma aula. En un trabajo anterior identificamos varias familias de desigualdades inductoras de facetas para una formulación de programación entera natural de este problema. La mayoría de estas familias se basaron en ideas similares, lo que nos llevó a explorar si pueden expresarse dentro de un marco unificado. En este trabajo abordamos este tema presentando dos procedimientos que construyen desigualdades válidas a partir de desigualdades existentes, basados ??en extender colores individuales a conjuntos de colores y en extender bordes de G a camarillas en G, respectivamente. Si la desigualdad original define una faceta y se satisfacen hipótesis técnicas adicionales, entonces la desigualdad obtenida también define una faceta. Mostramos que estos procedimientos pueden explicar la mayoría de las desigualdades presentadas en un trabajo anterior, presentamos un algoritmo de separación genérico basado en estos procedimientos e informamos experimentos computacionales que muestran que este enfoque es efectivo.
Dados dois gráficos G=(V,EG) e H=(V,EH) sobre o mesmo conjunto de vértices e dado um conjunto de cores C, o impacto em H de uma coloração c:V?C de G, denotado I(c), é o número de arestas ij?EH tal que c(i)=c(j). Neste cenário, o problema de coloração de impacto máximo pede uma coloração adequada c de G maximizando o impacto I(c) em H. Este problema surge naturalmente no contexto da alocação de salas de aula para cursos, onde é desejável – mas não obrigatório – atribuir aulas do mesmo curso para a mesma sala de aula. Em um trabalho anterior identificamos diversas famílias de desigualdades indutoras de facetas para uma formulação de programação inteira natural deste problema. A maioria destas famílias baseou-se em ideias semelhantes, o que nos levou a explorar se podem ser expressas num quadro unificado. Neste trabalho abordamos esta questão apresentando dois procedimentos que constroem desigualdades válidas a partir de desigualdades existentes, baseados na extensão de cores individuais para conjuntos de cores e na extensão de arestas de G para cliques em G, respectivamente. Se a desigualdade original define uma faceta e hipóteses técnicas adicionais são satisfeitas, então a desigualdade obtida também define uma faceta. Mostramos que estes procedimentos podem explicar a maioria das desigualdades apresentadas em um trabalho anterior, apresentamos um algoritmo de separação genérico baseado nestes procedimentos e relatamos experimentos computacionais mostrando que esta abordagem é eficaz
description Revista con referato
publishDate 2022
dc.date.none.fl_str_mv 2022
2025-02-05T15:23:25Z
2025-02-05T15:23:25Z
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv Braga, M., y Marenco, J. (2022). Facet-generating procedures for the maximum-impact coloring polytope. Discrete Applied Mathematics, 323, 96–112.
0166-218X
http://repositorio.ungs.edu.ar:8080/xmlui/handle/UNGS/2034
identifier_str_mv Braga, M., y Marenco, J. (2022). Facet-generating procedures for the maximum-impact coloring polytope. Discrete Applied Mathematics, 323, 96–112.
0166-218X
url http://repositorio.ungs.edu.ar:8080/xmlui/handle/UNGS/2034
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://doi.org/10.1016/j.dam.2022.06.021
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
application/pdf
dc.publisher.none.fl_str_mv Elsevier Science BV
publisher.none.fl_str_mv Elsevier Science BV
dc.source.none.fl_str_mv Discrete Applied Mathematics, 2022; 323: 96–112
https://www.sciencedirect.com/journal/discrete-applied-mathematics/vol/323/suppl/C
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_ 1844623308481363968
score 12.559606