An exact algorithm for the adjacent vertex distinguishing sum edge coloring problem

In this work we define the adjacent vertex distinguishing sum edge coloring problem. This problem consists of finding an assignment of colors to the edges of a graph with the following constraints: every pair of adjacent edges must have a different color, and every pair of adjacent vertices must not...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Discrete Applied Mathematics Ročník 371; s. 80 - 98
Hlavní autoři: Curcio, Brian, Méndez-Díaz, Isabel, Zabala, Paula
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 15.08.2025
Témata:
Branch and Cut
Edge coloring
Vertex distinguishing
Branch and Cut
Edge coloring
Vertex distinguishing
ISSN:0166-218X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this work we define the adjacent vertex distinguishing sum edge coloring problem. This problem consists of finding an assignment of colors to the edges of a graph with the following constraints: every pair of adjacent edges must have a different color, and every pair of adjacent vertices must not have the same set of colors assigned to the edges incident to each. The goal is to minimize the sum of the colors in an edge coloring that satisfies these constraints. This problem is a special case of a large family of problems known as graph labeling, which is a widely used and very popular set of tools to build abstract models for problems that arise in everyday life. Some variants of graph labeling problems have been successfully addressed with mixed-integer linear programming (MIP) techniques based on a polyhedral characterization of the set of feasible solutions. We use this approach to develop a Branch and Cut algorithm to solve the problem. We propose two MIP models that are computationally evaluated to choose the most promising one and continue with a polyhedral study. This analysis aims to characterize valid inequalities that strengthen the formulation in the hope of improving the algorithm’s performance. These inequalities are added on demand as cutting planes using exact and heuristic separation algorithms. Additionally, we considered the use of an initial heuristic and a specific branching strategy. The results show that the algorithm developed allows us to solve instances that were unsolvable using general-purpose solvers. Our polyhedral study and the addition of cutting planes have proved to be crucial factors in solving the most challenging instances.
ISSN:0166-218X
DOI:10.1016/j.dam.2025.03.029