English
Related papers

Related papers: Lift & Project Systems Performing on the Partial-V…

200 papers

We give the first approximation algorithm for mixed packing and covering semidefinite programs (SDPs) with polylogarithmic dependence on width. Mixed packing and covering SDPs constitute a fundamental algorithmic primitive with recent…

Data Structures and Algorithms · Computer Science 2021-07-13 Arun Jambulapati , Yin Tat Lee , Jerry Li , Swati Padmanabhan , Kevin Tian

We present an accelerated relax-and-round algorithm for concave coverage problems, which generalize the classic maximum coverage problem. Building on the relax-and-round framework of Barman et al. [STACS 2021], we propose two significant…

Data Structures and Algorithms · Computer Science 2026-05-11 Matthew Fahrbach , Mehraneh Liaee , Morteza Zadimoghaddam

We design a $1.49993$-approximation algorithm for the metric traveling salesperson problem (TSP) for instances in which an optimal solution to the subtour linear programming relaxation is half-integral. These instances received significant…

Data Structures and Algorithms · Computer Science 2019-08-02 Anna Karlin , Nathan Klein , Shayan Oveis Gharan

Topology optimization of frame structures under free-vibration eigenvalue constraints constitutes a challenging nonconvex polynomial optimization problem with disconnected feasible sets. In this article, we first formulate it as a…

Optimization and Control · Mathematics 2025-09-08 Marek Tyburec , Michal Kočvara , Marouan Handa , Jan Zeman

We study the lift-and-project relaxations of the stable set polytope of graphs generated by $\text{LS}_+$, the SDP lift-and-project operator devised by Lov\'{a}sz and Schrijver. Our focus is on $\ell$-minimal graphs: graphs on $3\ell$…

Combinatorics · Mathematics 2026-04-16 Yu Hin Au , Levent Tunçel

We generalize the reduction mechanism for linear programming problems and semidefinite programming problems from [arXiv:1410.8816] in two ways 1) relaxing the requirement of affineness and 2) extending to fractional optimization problems.…

Computational Complexity · Computer Science 2018-10-23 Gábor Braun , Sebastian Pokutta , Aurko Roy

We study various SDP formulations for {\sc Vertex Cover} by adding different constraints to the standard formulation. We show that {\sc Vertex Cover} cannot be approximated better than $2-o(1)$ even when we add the so called pentagonal…

Data Structures and Algorithms · Computer Science 2007-05-23 Hamed Hatami , Avner Magen , Vangelis Markakis

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

This paper studies a class of so-called linear semi-infinite polynomial programming (LSIPP) problems. It is a subclass of linear semi-infinite programming problems whose constraint functions are polynomials in parameters and index sets are…

Optimization and Control · Mathematics 2019-10-25 Feng Guo , Xiaoxia Sun

We develop a unified framework to characterize the power of higher-level algorithms for the constraint satisfaction problem (CSP), such as $k$-consistency, the Sherali-Adams LP hierarchy, and the affine IP hierarchy. As a result,…

Logic in Computer Science · Computer Science 2026-04-09 Libor Barto , Maximilian Hadek , Dmitriy Zhuk

The Weighted Tree Augmentation Problem (WTAP) is a fundamental network design problem where the goal is to find a minimum-cost set of additional edges (links) to make an input tree 2-edge-connected. While a 2-approximation is standard and…

Data Structures and Algorithms · Computer Science 2026-04-01 Vincent Cohen-Addad , Marina Drygala , Nathan Klein , Ola Svensson

Set packing is a fundamental problem that generalises some well-known combinatorial optimization problems and knows a lot of applications. It is equivalent to hypergraph matching and it is strongly related to the maximum independent set…

Combinatorics · Mathematics 2015-07-28 Tim Oosterwijk

The Lasserre hierarchy of semidefinite programming (SDP) relaxations is an effective scheme for finding computationally feasible SDP approximations of polynomial optimization over compact semi-algebraic sets. In this paper, we show that,…

Optimization and Control · Mathematics 2013-06-28 V. Jeyakumar , T. S. Pham , G. Li

In this paper we give a f-approximation algorithm for the minimum unweighted Vertex Cover problem with Hard Capacity constraints (VCHC) on f-hypergraphs. This problem generalizes standard vertex cover for which the best known approximation…

Data Structures and Algorithms · Computer Science 2017-01-24 Sam Chiu-wai Wong

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

The current bottleneck of globally solving mixed-integer (non-convex) quadratically constrained problem (MIQCP) is still to construct strong but computationally cheap convex relaxations, especially when dense quadratic functions are…

Optimization and Control · Mathematics 2014-03-24 Hongbo Dong

Weighted geometric set-cover problems arise naturally in several geometric and non-geometric settings (e.g. the breakthrough of Bansal-Pruhs (FOCS 2010) reduces a wide class of machine scheduling problems to weighted geometric set-cover).…

Computational Geometry · Computer Science 2014-04-08 Nabil H. Mustafa , Rajiv Raman , Saurabh Ray

We consider the problem of approximating nonconvex quadratic optimization with ellipsoid constraints (ECQP). We show some SDP-based approximation bounds for special cases of (ECQP) can be improved by trivially applying the extened Pataki's…

Optimization and Control · Mathematics 2016-02-08 Yong Xia , Shu Wang , Zi Xu

This paper presents a fast and simple new 2-approximation algorithm for minimum weighted vertex cover. The unweighted version of this algorithm is equivalent to a well-known greedy maximal independent set algorithm. We prove that this…

Data Structures and Algorithms · Computer Science 2022-09-13 Nate Veldt

The technique of semidefinite programming (SDP) relaxation can be used to obtain a nontrivial bound on the optimal value of a nonconvex quadratically constrained quadratic program (QCQP). We explore concave quadratic inequalities that hold…

Optimization and Control · Mathematics 2016-09-30 Jaehyun Park , Stephen Boyd