中文
相关论文

相关论文: SOS lower bounds with hard constraints: think glob…

200 篇论文

A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed…

人工智能 · 计算机科学 2015-02-10 Evgenij Thorstensen

Many canonical machine learning problems boil down to a convex optimization problem with a finite sum structure. However, whereas much progress has been made in developing faster algorithms for this setting, the inherent limitations of…

最优化与控制 · 数学 2016-07-01 Yossi Arjevani , Ohad Shamir

We introduce several generalizations of classical computer science problems obtained by replacing simpler objective functions with general submodular functions. The new problems include submodular load balancing, which generalizes load…

数据结构与算法 · 计算机科学 2010-06-02 Zoya Svitkina , Lisa Fleischer

We study the min-max optimization problem where each function contributing to the max operation is strongly-convex and smooth with bounded gradient in the search domain. By smoothing the max operator, we show the ability to achieve an…

最优化与控制 · 数学 2019-05-31 Hakan Gokcesu , Kaan Gokcesu , Suleyman Serdar Kozat

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

计算复杂性 · 计算机科学 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

In the last two decades the study of random instances of constraint satisfaction problems (CSPs) has flourished across several disciplines, including computer science, mathematics and physics. The diversity of the developed methods, on the…

组合数学 · 数学 2025-07-02 Konstantinos Panagiotou , Matija Pasch

$ \newcommand{\eps}{\epsilon} \newcommand{\NP}{\mathsf{NP}} \newcommand{\YES}{\mathsf{YES}} \newcommand{\NO}{\mathsf{NO}} \newcommand{\myminus}{\text{-}}\newcommand{\Bsat}{{\mathsf{B}}} \newcommand{\threesat}{\rm{3}\myminus\mathsf{SAT}}…

计算复杂性 · 计算机科学 2018-06-12 Ishay Haviv , Oded Regev , Amnon Ta-Shma

Submodular function minimization (SFM) is a fundamental and efficiently solvable problem class in combinatorial optimization with a multitude of applications in various fields. Surprisingly, there is only very little known about constraint…

数据结构与算法 · 计算机科学 2018-11-27 Martin Nägele , Benny Sudakov , Rico Zenklusen

We study the subgradient method for factorized robust signal recovery problems, including robust PCA, robust phase retrieval, and robust matrix sensing. The resulting objectives are nonsmooth and nonconvex, and can have unbounded sublevel…

最优化与控制 · 数学 2026-01-22 Zesheng Cai , Lexiao Lai , Tiansheng Li

In this work, we propose a trajectory optimization approach for robot navigation in cluttered 3D environments. We represent the robot's geometry as a semialgebraic set defined by polynomial inequalities such that robots with general shapes…

机器人学 · 计算机科学 2024-08-27 Yulin Li , Chunxin Zheng , Kai Chen , Yusen Xie , Xindong Tang , Michael Yu Wang , Jun Ma

Semidefinite programs (SDPs) are standard convex problems that are frequently found in control and optimization applications. Interior-point methods can solve SDPs in polynomial time up to arbitrary accuracy, but scale poorly as the size of…

最优化与控制 · 数学 2022-01-10 Jared Miller , Yang Zheng , Mario Sznaier , Antonis Papachristodoulou

The local minimum degree of a graph is the minimum degree that can be reached by means of local complementation. For any n, there exist graphs of order n which have a local minimum degree at least 0.189n, or at least 0.110n when restricted…

离散数学 · 计算机科学 2016-08-18 David Cattanéo , Simon Perdrix

This paper introduces a Moment-Quaternion-Sum-of-Squares (QSOS) hierarchy for solving a class of quaternion polynomial optimization problems. This hierarchy is formulated directly in the quaternion domain and consists of a sequence of…

最优化与控制 · 数学 2026-05-13 Yanqing Liu , Jie Wang

We address the fundamental network design problem of constructing approximate minimum spanners. Our contributions are for the distributed setting, providing both algorithmic and hardness results. Our main hardness result shows that an…

数据结构与算法 · 计算机科学 2018-02-12 Keren Censor-Hillel , Michal Dory

The moment-sum-of-squares (moment-SOS) hierarchy is one of the most celebrated and widely applied methods for approximating the minimum of an n-variate polynomial over a feasible region defined by polynomial (in)equalities. A key feature of…

最优化与控制 · 数学 2023-05-25 Sander Gribling , Sven Polak , Lucas Slot

Given a fixed arity $k \geq 2$, Min-$k$-CSP on complete instances involves a set of $n$ variables $V$ and one nontrivial constraint for every $k$-subset of variables (so there are $\binom{n}{k}$ constraints). The goal is to find an…

数据结构与算法 · 计算机科学 2024-10-28 Aditya Anand , Euiwoong Lee , Amatya Sharma

We consider clustering problems with {\em non-uniform lower bounds and outliers}, and obtain the {\em first approximation guarantees} for these problems. We have a set $\F$ of facilities with lower bounds $\{L_i\}_{i\in\F}$ and a set $\D$…

数据结构与算法 · 计算机科学 2016-11-04 Sara Ahmadian , Chaitanya Swamy

Constraint Optimization Problems (COP) are often considered without sufficient knowledge on the boundaries of the objective variable to optimize. When available, tight boundaries are helpful to prune the search space or estimate problem…

人工智能 · 计算机科学 2022-03-23 Helge Spieker , Arnaud Gotlieb

In this thesis, we explore streaming algorithms for approximating constraint satisfaction problems (CSPs). The setup is roughly the following: A computer has limited memory space, sees a long "stream" of local constraints on a set of…

数据结构与算法 · 计算机科学 2023-04-14 Noah G. Singer

Motivated by the extensive application of approximate gradients in machine learning and optimization, we investigate inexact subgradient methods subject to persistent additive errors. Within a nonconvex semialgebraic framework, assuming…

最优化与控制 · 数学 2025-05-14 Jérôme Bolte , Tam Le , Éric Moulines , Edouard Pauwels
‹ 上一页 1 8 9 10 下一页 ›