The triangle closure is a polyhedron

• 成果类型: Article
• 署名作者: Basu, Amitabh; Hildebrand, Robert; Koeppe, Matthias
• 署名单位: University of California System; University of California Davis
• 刊物名称: MATHEMATICAL PROGRAMMING
• ISSN/ISSBN: 0025-5610
• DOI: 10.1007/s10107-013-0639-y
• 发表日期: 2014
• 页码: 19-58
• 关键词: free convex-sets; cutting planes; inequalities

摘要

Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively by the integer programming community. An important question in this research area has been to decide whether the closures associated with certain families of lattice-free sets are polyhedra. For a long time, the only result known was the celebrated theorem of Cook, Kannan and Schrijver who showed that the split closure is a polyhedron. Although some fairly general results were obtained by Andersen et al. (Math Oper Res 35(1):233-256, 2010) and Averkov (Discret Optimiz 9(4):209-215, 2012), some basic questions have remained unresolved. For example, maximal lattice-free triangles are the natural family to study beyond the family of splits and it has been a standing open problem to decide whether the triangle closure is a polyhedron. In this paper, we show that when the number of integer variables the triangle closure is indeed a polyhedron and its number of facets can be bounded by a polynomial in the size of the input data. The techniques of this proof are also used to give a refinement of necessary conditions for valid inequalities being facet-defining due to Cornu,jols and Margot (Math Program 120:429-456, 2009) and obtain polynomial complexity results about the mixed integer hull.