English
Related papers

Related papers: Integrality Gaps for Colorful Matchings

200 papers

We consider Sherali-Adams linear programming relaxations for solving valued constraint satisfaction problems to optimality. The utility of linear programming relaxations in this context have previously been demonstrated using the lowest…

Computational Complexity · Computer Science 2015-11-24 Johan Thapper , Stanislav Zivny

We prove super-polynomial lower bounds on the size of linear programming relaxations for approximation versions of constraint satisfaction problems. We show that for these problems, polynomial-sized linear programs are exactly as powerful…

Computational Complexity · Computer Science 2016-02-09 Siu On Chan , James R. Lee , Prasad Raghavendra , David Steurer

In this paper we study the interactions between so-called fractional relaxations of the integer programs (IPs) which encode homomorphism and isomorphism of relational structures. We give a combinatorial characterization of a certain natural…

Data Structures and Algorithms · Computer Science 2024-01-31 Libor Barto , Silvia Butti , Víctor Dalmau

Given a pair of graphs $\textbf{A}$ and $\textbf{B}$, the problems of deciding whether there exists either a homomorphism or an isomorphism from $\textbf{A}$ to $\textbf{B}$ have received a lot of attention. While graph homomorphism is…

Data Structures and Algorithms · Computer Science 2021-07-08 Silvia Butti , Victor Dalmau

We consider the MAP-inference problem for graphical models, which is a valued constraint satisfaction problem defined on real numbers with a natural summation operation. We propose a family of relaxations (different from the famous…

Computer Vision and Pattern Recognition · Computer Science 2020-04-15 Stefan Haller , Paul Swoboda , Bogdan Savchynskyy

Exploring the power of linear programming for combinatorial optimization problems has been recently receiving renewed attention after a series of breakthrough impossibility results. From an algorithmic perspective, the related questions…

Discrete Mathematics · Computer Science 2014-12-31 Stavros G. Kolliopoulos , Yannis Moysoglou

The presence of symmetries is one of the central structural features that make some integer programs challenging for state-of-the-art solvers. In this work, we study the efficacy of Linear Programming (LP) hierarchies in the presence of…

Optimization and Control · Mathematics 2025-11-12 Yuri Faenza , Víctor Verdugo , José Verschae , Matías Villagra

We study the Sherali-Adams linear programming hierarchy in the context of promise constraint satisfaction problems (PCSPs). We characterise when a level of the hierarchy accepts an instance in terms of a homomorphism problem for an…

Computational Complexity · Computer Science 2022-11-11 Lorenzo Ciardo , Stanislav Živný

The log-density method is a powerful algorithmic framework which in recent years has given rise to the best-known approximations for a variety of problems, including Densest-$k$-Subgraph and Bipartite Small Set Vertex Expansion. These…

Data Structures and Algorithms · Computer Science 2018-04-24 Eden Chlamtáč , Pasin Manurangsi

In this paper, we study the integrality gap of the Knapsack linear program in the Sherali- Adams and Lasserre hierarchies. First, we show that an integrality gap of 2 - {\epsilon} persists up to a linear number of rounds of Sherali-Adams,…

Computational Complexity · Computer Science 2010-07-09 Anna R. Karlin , Claire Mathieu , C. Thach Nguyen

Metric facility location is a well-studied problem for which linear programming methods have been used with great success in deriving approximation algorithms. The capacity-constrained generalizations, such as capacitated facility location…

Data Structures and Algorithms · Computer Science 2014-06-17 Stavros G. Kolliopoulos , Yannis Moysoglou

We study integrality gap (IG) lower bounds on strong LP and SDP relaxations derived by the Sherali-Adams (SA), Lovasz-Schrijver-SDP (LS+), and Sherali-Adams-SDP (SA+) lift-and-project (L&P) systems for the t-Partial-Vertex-Cover (t-PVC)…

Data Structures and Algorithms · Computer Science 2023-11-14 Konstantinos Georgiou , Andy Jiang , Edward Lee , Astrid A. Olave , Ian Seong , Twesh Upadhyaya

Maximum a posteriori (MAP) inference is a fundamental computational paradigm for statistical inference. In the setting of graphical models, MAP inference entails solving a combinatorial optimization problem to find the most likely…

Machine Learning · Computer Science 2020-03-03 Jonathan N. Lee , Aldo Pacchiano , Michael I. Jordan

Chromatic Correlation Clustering (CCC) extends Correlation Clustering by assigning semantic colors to edges and requiring each cluster to receive a single color label. Unlike standard CC, whose LP relaxation has integrality gap 2 on…

Machine Learning · Computer Science 2026-04-20 Ibne Farabi Shihab , Sanjeda Akter , Anuj Sharma

We investigate the Sherali-Adams lift & project hierarchy applied to a graph isomorphism polytope whose integer points encode the isomorphisms between two graphs. In particular, the Sherali-Adams relaxations characterize a new vertex…

Combinatorics · Mathematics 2011-07-26 Peter N. Malkin

We study the approximability of constraint satisfaction problems (CSPs) by linear programming (LP) relaxations. We show that for every CSP, the approximation obtained by a basic LP relaxation, is no weaker than the approximation obtained…

Computational Complexity · Computer Science 2016-08-02 Mrinalkanti Ghosh , Madhur Tulsiani

We introduce a relaxation for homomorphism problems that combines semidefinite programming with linear Diophantine equations, and propose a framework for the analysis of its power based on the spectral theory of association schemes. We use…

Computational Complexity · Computer Science 2025-05-08 Lorenzo Ciardo , Stanislav Živný

We show that for constraint satisfaction problems (CSPs), sub-exponential size linear programming relaxations are as powerful as $n^{\Omega(1)}$-rounds of the Sherali-Adams linear programming hierarchy. As a corollary, we obtain…

Computational Complexity · Computer Science 2018-01-03 Pravesh K. Kothari , Raghu Meka , Prasad Raghavendra

In this work we study approximation algorithms for the \textit{Bounded Color Matching} problem (a.k.a. Restricted Matching problem) which is defined as follows: given a graph in which each edge $e$ has a color $c_e$ and a profit $p_e \in…

Data Structures and Algorithms · Computer Science 2013-11-22 Monaldo Mastrolilli , Georgios Stamoulis

We study the ATSP (Asymmetric Traveling Salesman Problem), and our focus is on negative results in the framework of the Sherali-Adams (SA) Lift and Project method. Our main result pertains to the standard LP (linear programming) relaxation…

Data Structures and Algorithms · Computer Science 2014-05-06 Joseph Cheriyan , Zhihan Gao , Konstantinos Georgiou , Sahil Singla
‹ Prev 1 2 3 10 Next ›