A polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs

A Del Pia, A Khajavirad - Mathematical Programming, 2024 - Springer
We consider the multilinear polytope defined as the convex hull of the set of binary points z,
satisfying a collection of equations of the form ze=∏ v∈ ezv for all e∈ E. The complexity of …

Simple odd -cycle inequalities for binary polynomial optimization

A Del Pia, M Walter - Mathematical programming, 2024 - Springer
We consider the multilinear polytope which arises naturally in binary polynomial
optimization. Del Pia and Di Gregorio introduced the class of odd β-cycle inequalities valid …

On the complexity of binary polynomial optimization over acyclic hypergraphs

A Del Pia, S Di Gregorio - Algorithmica, 2023 - Springer
In this work, we advance the understanding of the fundamental limits of computation for
binary polynomial optimization (BPO), which is the problem of maximizing a given …

Efficient linear reformulations for binary polynomial optimization problems

S Elloumi, Z Verchère - Computers & Operations Research, 2023 - Elsevier
We consider unconstrained polynomial minimization problems with binary variables (BPO).
These problems can be easily linearized, ie, reformulated into a MILP in a higher …

Beyond hypergraph acyclicity: limits of tractability for pseudo-Boolean optimization

A Del Pia, A Khajavirad - arxiv preprint arxiv:2410.23045, 2024 - arxiv.org
In this paper, we study the problem of minimizing a polynomial function with literals over all
binary points, often referred to as pseudo-Boolean optimization. We investigate the …

The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization

A Del Pia, A Khajavirad - Mathematical Programming, 2024 - Springer
With the goal of obtaining strong relaxations for binary polynomial optimization problems, we
introduce the pseudo-Boolean polytope defined as the set of binary points z∈{0, 1} V∪ S …

Inference in higher-order undirected graphical models and binary polynomial optimization

A Khajavirad, Y Wang - arxiv preprint arxiv:2405.09727, 2024 - arxiv.org
We consider the problem of inference in higher-order undirected graphical models with
binary labels. We formulate this problem as a binary polynomial optimization problem and …

[HTML][HTML] A polyhedral study of lifted multicuts

B Andres, S Di Gregorio, J Irmai, JH Lange - Discrete Optimization, 2023 - Elsevier
Fundamental to many applications in data analysis are the decompositions of a graph, ie
partitions of the node set into component-inducing subsets. One way of encoding …

Convexification of bilinear terms over network polytopes

E Khademnia, D Davarnia - Mathematics of Operations …, 2024 - pubsonline.informs.org
It is well-known that the McCormick relaxation for the bilinear constraint z= xy gives the
convex hull over the box domains for x and y. In network applications where the domain of …

An extension of an RLT-based solver to MINLP polynomial problems

J González-Díaz, B González-Rodríguez… - arxiv preprint arxiv …, 2024 - arxiv.org
In this paper we extend the core branch-and-bound algorithm of an RLT-based solver for
continuous polynomial optimization, RAPOSa, to handle mixed-integer problems. We do so …