# Total Coloring and Total Matching: Polyhedra and Facets

A total coloring of a graph G = (V, E) is an assignment of colors to vertices and edges such that neither two adjacent vertices nor two incident edges get the same color, and, for each edge, the end-points and the edge itself receive different colors. Any valid total coloring induces a partition of the elements of G into total matchings, which are defined as subsets of vertices and edges that can take the same color. In this paper, we propose Integer Linear Programming models for both the Total Coloring and the Total Matching problems, and we study the strength of the corresponding Linear Programming relaxations. The total coloring is formulated as the problem of finding the minimum number of total matchings that cover all the graph elements, and we prove that this relaxation is tighter than a natural assignment model. This covering formulation can be solved by a column generation algorithm, where the pricing subproblem corresponds to the Weighted Total Matching Problem. Hence, we study the Total Matching Polytope. We introduce two families of nontrivial valid inequalities: congruent-2k3 cycle inequalities based on the parity of the vertex set induced by the cycle, and clique inequalities induced by complete subgraphs of even order. We prove that congruent-2k3 cycle inequalities are facet-defining only when k = 4, while the even cliques are always facet-defining. Since the separation problem of the clique inequalities of even order is NP-hard, we get a polyhedral proof of the NP-hardness of the Weighted Total Matching Problem.

• 5 publications
• 7 publications
research
12/14/2018

### Total Colourings - A survey

The smallest integer k needed for the assignment of colors to the elemen...
research
11/25/2019

### Polyhedral study of the Convex Recoloring problem

A coloring of the vertices of a connected graph is convex if each color ...
research
04/26/2019

### Polyhedral Properties of the Induced Cluster Subgraphs

A cluster graph is a graph whose every connected component is a complete...
research
11/18/2020

### A Polyhedral Study for the Cubic Formulation of the Unconstrained Traveling Tournament Problem

We consider the unconstrained traveling tournament problem, a sports tim...
research
10/13/2020

### On the Complexity of Some Facet-Defining Inequalities of the QAP-polytope

The Quadratic Assignment Problem (QAP) is a well-known NP-hard problem t...
research
11/30/2021

### Facets of the Total Matching Polytope for bipartite graphs

The Total Matching Polytope generalizes the Stable Set Polytope and the ...
research
07/01/2023

### On Finding Constrained Independent Sets in Cycles

A subset of [n] = {1,2,…,n} is called stable if it forms an independent ...