Reduced-size formulations for metric and cut polyhedra in sparse graphs

Viet Hung Nguyen (1) , Michel Minoux (1) , Dang Phuong Nguyen (2)

1 DECISION
2 DISC (CEA, LIST) - Département Imagerie et Simulation pour le Contrôle (CEA, LIST)

Given a graph G = (V, E) with |V | = n and |E| = m, we consider the metric cone MET(G) and the metric polytope METP(G) defined on R E. These polyhedra are relaxations of several important problems in combinatorial optimization such as the max-cut problem and the multicommodity flow problem. They are known to have non-compact formulations via the cycle inequalities in the original space R E and compact (i.e., polynomial size) extended formulations via the triangle inequalities defined on the complete graph K n. In this paper, we show that one can reduce the number of triangle inequalities to O(nm) and still have extended formulations for MET(G) and METP(G). This is particularly interesting for sparse graphs when m = O(n), since formulations of size O(n 2) variables and constraints are thus obtained. Moreover, the possibility of achieving further reduction in size for special classes of sparse graphs is investigated; it is shown that for the case of series-parallel graphs, for which the max-cut problem can be solved in linear time (Barahona (1986)), one can refine the above reduction to obtain extended formulations for MET(G) and METP(G) fearturing O(n) variables and constraints.

Mots clés: sparse graph; metric polyhedra; triangle inequalities; max-cut problem; extended formulation; series-parallel graph

Domaines: Informatique [cs]

Viet Hung Nguyen, Michel Minoux, Dang Phuong Nguyen. Reduced-size formulations for metric and cut polyhedra in sparse graphs. Networks, 2017, 69 (1), pp.142-150. ⟨10.1002/net.21723⟩. ⟨hal-01405725⟩