Cut-Generating Functions and S-Free Sets

• 成果类型: Article
• 署名作者: Conforti, Michele; Cornuejols, Gerard; Daniilidis, Aris; Lemarechal, Claude; Malick, Jerome
• 署名单位: University of Padua; Carnegie Mellon University; Universidad de Chile; Centre National de la Recherche Scientifique (CNRS)
• 刊物名称: MATHEMATICS OF OPERATIONS RESEARCH
• ISSN/ISSBN: 0364-765X
• DOI: 10.1287/moor.2014.0670
• 发表日期: 2015
• 页码: 276-301
• 关键词: INEQUALITIES

摘要

We consider the separation problem for sets X that are pre-images of a given set S by a linear mapping. Classical examples occur in integer programming, as well as in other optimization problems such as complementarity. One would like to generate valid inequalities that cut off some point not lying in X, without reference to the linear mapping. To this aim, we introduce a concept: cut-generating functions (CGF) and we develop a formal theory for them, largely based on convex analysis. They are intimately related to S-free sets and we study this relation, disclosing several definitions for minimal CGF's and maximal S-free sets. Our work unifies and puts into perspective a number of existing works on S-free sets; in particular, we show how CGF's recover the celebrated Gomory cuts.