English
Related papers

Related papers: SOS lower bounds with hard constraints: think glob…

200 papers

For many constraint satisfaction problems, the algorithm which chooses a random assignment achieves the best possible approximation ratio. For instance, a simple random assignment for {\sc Max-E3-Sat} allows 7/8-approximation and for every…

Data Structures and Algorithms · Computer Science 2011-10-17 Eun Jung Kim , Ryan Williams

Raghavendra (STOC 2008) gave an elegant and surprising result: if Khot's Unique Games Conjecture (STOC 2002) is true, then for every constraint satisfaction problem (CSP), the best approximation ratio is attained by a certain simple…

Data Structures and Algorithms · Computer Science 2010-11-01 Yuichi Yoshida

In this paper, we introduce a new class of nonsmooth convex functions called SOS-convex semialgebraic functions extending the recently proposed notion of SOS-convex polynomials. This class of nonsmooth convex functions covers many common…

Optimization and Control · Mathematics 2017-02-09 N. H. Chieu , J. W. Feng , W. Gao , G. Li , D. Wu

We prove that for every $\epsilon>0$ and predicate $P:\{0,1\}^k\rightarrow \{0,1\}$ that supports a pairwise independent distribution, there exists an instance $\mathcal{I}$ of the $\mathsf{Max}P$ constraint satisfaction problem on $n$…

Computational Complexity · Computer Science 2015-03-30 Boaz Barak , Siu On Chan , Pravesh Kothari

Cardinality-constrained optimization (CCO) is a popular topic in sparse learning and signal recovery, yet remains challenging due to the inherent nonconvexity and discontinuity of cardinality constraints. This paper investigates the exact…

Optimization and Control · Mathematics 2026-05-19 Lili Pan , Huilin Xie , Xianchao Xiu , Jiyuan Tao

A constraint satisfaction problem (CSP), $\textsf{Max-CSP}(\mathcal{F})$, is specified by a finite set of constraints $\mathcal{F} \subseteq \{[q]^k \to \{0,1\}\}$ for positive integers $q$ and $k$. An instance of the problem on $n$…

Computational Complexity · Computer Science 2024-02-27 Chi-Ning Chou , Alexander Golovnev , Madhu Sudan , Santhoshini Velusamy

Sensitivity measures how much the output of an algorithm changes, in terms of Hamming distance, when part of the input is modified. While approximation algorithms with low sensitivity have been developed for many problems, no sensitivity…

Data Structures and Algorithms · Computer Science 2025-10-17 Noah Fleming , Yuichi Yoshida

We consider the problem of computing the Lebesgue volume of compact basic semi-algebraic sets. In full generality, it can be approximated as closely as desired by a converging hierarchy of upper bounds obtained by applying the Moment-SOS…

Optimization and Control · Mathematics 2022-07-05 Matteo Tacchi , Jean B Lasserre , Didier Henrion

The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs with bounded-degree instances, for constraint languages…

Computational Complexity · Computer Science 2010-02-03 Martin E. Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

We study data-driven least squares (LS) problems with semidefinite (SD) constraints and derive finite-sample guarantees on the spectrum of their optimal solutions when these constraints are relaxed. In particular, we provide a high…

Systems and Control · Electrical Eng. & Systems 2026-02-11 Filippo Fabiani , Andrea Simonetto

In this paper, we develop and analyze sub-sampled trust-region methods for solving finite-sum optimization problems. These methods employ subsampling strategies to approximate the gradient and Hessian of the objective function,…

Optimization and Control · Mathematics 2025-07-24 Max L. N. Goncalves , Geovani N. Grapiglia

Sequential pattern mining (SPM) under gap constraint is a challenging task. Many efficient specialized methods have been developed but they are all suffering from a lack of genericity. The Constraint Programming (CP) approaches are not so…

Artificial Intelligence · Computer Science 2015-11-30 Amina Kemmar , Samir Loudni , Yahia Lebbah , Patrice Boizumault , Thierry Charnois

Coordinate descent methods have considerable impact in global optimization because global (or, at least, almost global) minimization is affordable for low-dimensional problems. Coordinate descent methods with high-order regularized models…

Optimization and Control · Mathematics 2023-04-28 V. S. Amaral , R. Andreani , E. G. Birgin , D. S. Marcondes , J. M. Martínez

The classic lower bound of Kuhn, Moscibroda and Wattenhofer [JACM 2016] states that approximate maximum matching and approximate vertex cover (among other problems) in the LOCAL model require $\Omega(\min\{\sqrt{\frac{\log n}{\log\log n}},…

Data Structures and Algorithms · Computer Science 2026-05-14 Peter Davies-Peck

We exhibit a convex polynomial optimization problem for which the diagonally-dominant sum-of-squares (DSOS) and the scaled diagonally-dominant sum-of-squares (SDSOS) hierarchies, based on linear programming and second-order conic…

Optimization and Control · Mathematics 2018-06-26 Cédric Josz

We show a new way to round vector solutions of semidefinite programming (SDP) hierarchies into integral solutions, based on a connection between these hierarchies and the spectrum of the input graph. We demonstrate the utility of our method…

Data Structures and Algorithms · Computer Science 2011-04-26 Boaz Barak , Prasad Raghavendra , David Steurer

We investigate the polynomial-time approximability of the multistage version of Min-Sum Set Cover ($\mathrm{DSSC}$), a natural and intriguing generalization of the classical List Update problem. In $\mathrm{DSSC}$, we maintain a sequence of…

Data Structures and Algorithms · Computer Science 2021-07-29 Dimitris Fotakis , Panagiotis Kostopanagiotis , Vasileios Nakos , Georgios Piliouras , Stratis Skoulakis

Many recent problems in signal processing and machine learning such as compressed sensing, image restoration, matrix/tensor recovery, and non-negative matrix factorization can be cast as constrained optimization. Projected gradient descent…

Optimization and Control · Mathematics 2022-09-07 Trung Vu , Raviv Raich

The moment-sum of squares hierarchy by Lasserre has become an established technique for solving polynomial optimization problems. It provides a monotonically increasing series of tight bounds, but has well-known scalability limitations. For…

Optimization and Control · Mathematics 2024-02-09 Daria Shaydurova , Volker Kaibel , Sebastian Sager

Scaling Bayesian optimisation (BO) to high-dimensional search spaces is a active and open research problems particularly when no assumptions are made on function structure. The main reason is that at each iteration, BO requires to find…

Machine Learning · Statistics 2026-04-28 Hung Tran-The , Sunil Gupta , Santu Rana , Svetha Venkatesh