7 papers
Slack matrices, -products, and -level polytopes
Manuel Aprile, Michele Conforti, Yuri Faenza +3
In this paper, we study algorithmic questions concerning products of matrices and their consequences for recognition algorithms for polyhedra. The 1-product of matrices , $S_2…
Extended formulations for matroid polytopes through randomized protocols
Manuel Aprile
Let be a polytope. The hitting number of is the smallest size of a hitting set of the facets of , i.e., a subset of vertices of such that every facet of has a ve…
Binary extended formulations and sequential convexification
Manuel Aprile, Michele Conforti, Marco Di Summa
A binarization of a bounded variable is a linear formulation with variables and additional binary variables , so that integrality of is implied by the i…
A simple 7/3-approximation algorithm for feedback vertex set in tournaments
Manuel Aprile, Matthew Drescher, Samuel Fiorini +1
We show that performing just one round of the Sherali-Adams hierarchy gives an easy 7/3-approximation algorithm for the Feedback Vertex Set (FVST) problem in tournaments. This matc…
Recognizing Cartesian products of matrices and polytopes
Manuel Aprile, Michele Conforti, Yuri Faenza +3
The 1-product of matrices and is the matrix in whose columns ar…
Regular matroids have polynomial extension complexity
Manuel Aprile, Samuel Fiorini
We prove that the extension complexity of the independence polytope of every regular matroid on elements is . Past results of Wong and Martin on extended formulations o…