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
- Institución
- Universidad Nacional de General Sarmiento
- OAI Identificador
- oai:repositorio.ungs.edu.ar:UNGS/2034
Ver los metadatos del registro completo
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 |