Perspective reformulations of mixed integer nonlinear programs with indicator variables

• 成果类型: Article
• 署名作者: Guenluek, Oktay; Linderoth, Jeff
• 署名单位: International Business Machines (IBM); IBM USA; University of Wisconsin System; University of Wisconsin Madison
• 刊物名称: MATHEMATICAL PROGRAMMING
• ISSN/ISSBN: 0025-5610
• DOI: 10.1007/s10107-010-0360-z
• 发表日期: 2010
• 页码: 183-205
• 关键词: bound algorithm; cuts; optimization; branch

摘要

We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision variables. An indicator variable, when it is turned off, forces some of the decision variables to assume fixed values, and, when it is turned on, forces them to belong to a convex set. Many practical MINLPs contain integer variables of this type. We first study a mixed integer set defined by a single separable quadratic constraint and a collection of variable upper and lower bound constraints, and a convex hull description of this set is derived. We then extend this result to produce an explicit characterization of the convex hull of the union of a point and a bounded convex set defined by analytic functions. Further, we show that for many classes of problems, the convex hull can be expressed via conic quadratic constraints, and thus relaxations can be solved via second-order cone programming. Our work is closely related with the earlier work of Ceria and Soares (Math Program 86:595-614, 1999) as well as recent work by Frangioni and Gentile (Math Program 106:225-236, 2006) and, Akturk et al. (Oper Res Lett 37:187-191, 2009). Finally, we apply our results to develop tight formulations of mixed integer nonlinear programs in which the nonlinear functions are separable and convex and in which indicator variables play an important role. In particular, we present computational results for three applications quadratic facility location, network design with congestion, and portfolio optimization with buy-in thresholds that show the power of the reformulation technique.