Complete formulations of polytopes related to extensions of assignment matrices

Walid Ben-Ameur (1, 2, 3, 4) , Antoine Glorieux (2, 3, 4) , José Neto (1, 2, 3, 4)

1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
2 TSP - RS2M - Département Réseaux et Services Multimédia Mobiles
3 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
4 CNRS - Centre National de la Recherche Scientifique

Let k, n denote two positive integers and consider the family of the polytopes defined as the convex hull of pairs of the form (Y, h) where Y is a 0/1-matrix with k rows, n columns, containing exactly one nonzero coefficient per column, and where h stands for the smallest index of a nonzero row of Y. These polytopes and some variants naturally emerge in formulations of different classical combinatorial optimization problems such as minimum makespan scheduling and minimum span frequency assignment. In this paper, we provide complete formulations for these polytopes and show the associated separation problem can be solved in polynomial time. The complete formulations in the original space of variables generally contain an exponential number of inequalities. Alternative extended compact formulations are also presented

Mots clés: Assignment problems; Complete formulation; Separation; Polytope; Compact formulation

Domaines: Mathématique discrète [cs.DM]; Recherche opérationnelle [math.OC]; Optimisation et contrôle [math.OC]

Walid Ben-Ameur, Antoine Glorieux, José Neto. Complete formulations of polytopes related to extensions of assignment matrices. Discrete Optimization, 2018, 29, pp.133 - 147. ⟨10.1016/j.disopt.2018.04.002⟩. ⟨hal-01824469⟩