A Polytope for a Product of Real Linear Functions in 0/1 Variables
نویسندگان
چکیده
Abstract. In the context of integer programming, we develop a polyhedral method for linearizing a product of a pair of real linear functions in 0/1 variables. As an example, by writing a pair of integer variables in binary expansion, we have a technique for linearizing their product. We give a complete linear description for the resulting polytope, and we provide an efficient algorithm for the separation problem. Along the way to establishing the complete description, we also give a complete description for an extended-variable formulation, and we point out a generalization.
منابع مشابه
/ On Facets of Knapsack Equality Polytopes
The 0/1 knapsack equality polytope is, by deenition, the convex hull of 0/1 solutions of a single linear equation. A special form of this polytope | where the deening linear equation has nonnegative integer coeecients and the number of variables having co-eecient one exceeds the right-hand-side | is considered. Equality constraints of this form arose in a real-world application of integer progr...
متن کاملVariational inference in graphical models: The view from the marginal polytope
Underlying a variety of techniques for approximate inference—among them mean field, sum-product, and cluster variational methods—is a classical variational principle from statistical physics, which involves a “free energy” optimization problem over the set of all distributions. Working within the framework of exponential families, we describe an alternative view, in which the optimization takes...
متن کاملOn convolution properties for some classes of meromorphic functions associated with linear operator
In this paper, we defined two classes $S_{p}^{ast }(n,lambda ,A,B)$ and\ $ K_{p}(n,lambda ,A,B)$ of meromorphic $p-$valent functions associated with a new linear operator. We obtained convolution properties for functions in these classes.
متن کاملExponential membership function and duality gaps for I-fuzzy linear programming problems
Fuzziness is ever presented in real life decision making problems. In this paper, we adapt the pessimistic approach tostudy a pair of linear primal-dual problem under intuitionistic fuzzy (I-fuzzy) environment and prove certain dualityresults. We generate the duality results using exponential membership and non-membership functions to represent thedecision maker’s satisfaction and dissatisfacti...
متن کاملSome Characteristics of the Simple Boolean Quadric Polytope Extension
Following the seminal work of Padberg on the Boolean quadric polytope BQP and its LP relaxation BQPLP , we consider a natural extension: SATP and SATPLP polytopes, with BQPLP being projection of the SATPLP face (and BQP projection of the SATP face). We consider the problem of integer recognition: determine whether the maximum of a linear objective function is achieved at an integral vertex of a...
متن کامل