Characterizations of Total Dual Integrality

  • Authors:
  • Edwin O'Shea;András Sebő

  • Affiliations:
  • Department of Mathematics, University of Kentucky, Lexington, KY 40506-0027, USA;CNRS, Laboratoire G-SCOP, 46, Avenue Félix Viallet, 38000 Grenoble 38031 Grenoble, Cedex 1, France

  • Venue:
  • IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we provide new characterizing properties of TDI systems. A corollary is Sturmfels' theorem relating toric initial ideals generated by square-free monomials to unimodular triangulations. A reformulation of these test-sets to polynomial ideals actually generalizes the existence of square-free monomials to arbitrary TDI systems, providing new relations between integer programming and Gröbner bases of toric ideals. We finally show that stable set polytopes of perfect graphs are characterized by a refined fan that is a triangulation consisting only of unimodular cones, a fact that endows the Weak Perfect Graph Theorem with a computationally advantageous geometric feature. Three ways of implementing the results are described and some experience about one of these is reported.