English
Related papers

Related papers: Approximation Algorithm for Non-Boolean MAX k-CSP

200 papers

We show that for every $k\in\mathbb{N}$ and $\varepsilon>0$, for large enough alphabet $R$, given a $k$-CSP with alphabet size $R$, it is NP-hard to distinguish between the case that there is an assignment satisfying at least…

Computational Complexity · Computer Science 2025-10-29 Dor Minzer , Kai Zhe Zheng

We consider the problem of approximately solving constraint satisfaction problems with arity $k > 2$ ($k$-CSPs) on instances satisfying certain expansion properties, when viewed as hypergraphs. Random instances of $k$-CSPs, which are also…

Data Structures and Algorithms · Computer Science 2019-07-19 Vedat Levi Alev , Fernando Granha Jeronimo , Madhur Tulsiani

In the Boolean maximum constraint satisfaction problem - Max CSP$(\Gamma)$ - one is given a collection of weighted applications of constraints from a finite constraint language $\Gamma$, over a common set of variables, and the goal is to…

Computational Complexity · Computer Science 2020-02-11 Bart M. P. Jansen , Michał Włodarczyk

In this work we develop theoretical techniques for analysing the performance of the quantum approximate optimization algorithm (QAOA) when applied to random boolean constraint satisfaction problems (CSPs), and use these techniques to…

Quantum Physics · Physics 2024-11-27 Sami Boulebnane , Maria Ciudad-Alañón , Lana Mineh , Ashley Montanaro , Niam Vaishnav

This paper studies complete $k$-Constraint Satisfaction Problems (CSPs), where an $n$-variable instance has exactly one nontrivial constraint for each subset of $k$ variables, i.e., it has $\binom{n}{k}$ constraints. A recent work started a…

Data Structures and Algorithms · Computer Science 2025-04-29 Aditya Anand , Euiwoong Lee , Davide Mazzali , Amatya Sharma

We consider the problem of finding patrol schedules for $k$ robots to visit a given set of $n$ sites in a metric space. Each robot has the same maximum speed and the goal is to minimize the weighted maximum latency of any site, where the…

Data Structures and Algorithms · Computer Science 2020-07-15 Peyman Afshani , Mark De Berg , Kevin Buchin , Jie Gao , Maarten Loffler , Amir Nayyeri , Benjamin Raichel , Rik Sarkar , Haotian Wang , Hao-Tsung Yang

We are interested in computing $k$ most preferred models of a given d-DNNF circuit $C$, where the preference relation is based on an algebraic structure called a monotone, totally ordered, semigroup $(K, \otimes, <)$. In our setting, every…

Artificial Intelligence · Computer Science 2022-05-09 Pierre Bourhis , Laurence Duchien , Jérémie Dusart , Emmanuel Lonca , Pierre Marquis , Clément Quinton

We consider the Low Rank Approximation problem, where the input consists of a matrix $A \in \mathbb{R}^{n_R \times n_C}$ and an integer $k$, and the goal is to find a matrix $B$ of rank at most $k$ that minimizes $\| A - B \|_0$, which is…

Data Structures and Algorithms · Computer Science 2023-11-03 Vincent Cohen-Addad , Chenglin Fan , Suprovat Ghoshal , Euiwoong Lee , Arnaud de Mesmay , Alantha Newman , Tony Chang Wang

An instance of the Constraint Satisfaction Problem (CSP) is given by a family of constraints on overlapping sets of variables, and the goal is to assign values from a fixed domain to the variables so that all constraints are satisfied. In…

Data Structures and Algorithms · Computer Science 2018-12-06 Víctor Dalmau , Marcin Kozik , Andrei Krokhin , Konstantin Makarychev , Yury Makarychev , Jakub Opršal

We present a family of algorithms to solve random planted instances of any $k$-ary Boolean constraint satisfaction problem (CSP). A randomly planted instance of a Boolean CSP is generated by (1) choosing an arbitrary planted assignment…

Data Structures and Algorithms · Computer Science 2025-07-16 Arpon Basu , Jun-Ting Hsieh , Andrew D. Lin , Peter Manohar

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

The subspace approximation problem Subspace($k$,$p$) asks for a $k$-dimensional linear subspace that fits a given set of points optimally, where the error for fitting is a generalization of the least squares fit and uses the $\ell_{p}$ norm…

Data Structures and Algorithms · Computer Science 2011-01-04 Amit Deshpande , Kasturi Varadarajan , Madhur Tulsiani , Nisheeth K. Vishnoi

We provide an approximation algorithm for k-means clustering in the one-round (aka non-interactive) local model of differential privacy (DP). This algorithm achieves an approximation ratio arbitrarily close to the best non private…

Data Structures and Algorithms · Computer Science 2021-05-18 Alisa Chang , Badih Ghazi , Ravi Kumar , Pasin Manurangsi

For any $\varepsilon > 0$, we prove that $k$-Dimensional Matching is hard to approximate within a factor of $k/(12 + \varepsilon)$ for large $k$ unless $\textsf{NP} \subseteq \textsf{BPP}$. Listed in Karp's 21 $\textsf{NP}$-complete…

Computational Complexity · Computer Science 2024-09-27 Euiwoong Lee , Ola Svensson , Theophile Thiery

In the simultaneous Max-Cut problem, we are given $k$ weighted graphs on the same set of $n$ vertices, and the goal is to find a cut of the vertex set so that the minimum, over the $k$ graphs, of the cut value is as large as possible.…

Computational Complexity · Computer Science 2018-01-16 Amey Bhangale , Subhash Khot , Swastik Kopparty , Sushant Sachdeva , Devanathan Thiruvenkatachari

This thesis investigates the extent to which the optimal value of a constraint satisfaction problem (CSP) can be approximated by some sentence of fixed point logic with counting (FPC). It is known that, assuming $\mathsf{P} \neq…

Logic in Computer Science · Computer Science 2020-08-10 Jamie Tucker-Foltz

We study approximability of regular constraint satisfaction problems, i.e., CSPs where each variable in an instance has the same number of occurrences. In particular, we show that for any CSP $\Lambda$, existence of an $\alpha$…

Computational Complexity · Computer Science 2020-04-20 Aleksa Stankovic

We give new sublinear and parallel algorithms for the extensively studied problem of approximating n-variable r-CSPs (constraint satisfaction problems with constraints of arity r up to an additive error. The running time of our algorithms…

Data Structures and Algorithms · Computer Science 2014-07-31 Grigory Yaroslavtsev

In this paper, we establish hardness and approximation results for various $L_p$-ball constrained homogeneous polynomial optimization problems, where $p \in [2,\infty]$. Specifically, we prove that for any given $d \ge 3$ and $p \in…

Optimization and Control · Mathematics 2012-11-01 Ke Hou , Anthony Man-Cho So

A $k$-submodular function is an extension of a submodular function in that its input is given by $k$ disjoint subsets instead of a single subset. For unconstrained nonnegative $k$-submodular maximization, Ward and \v{Z}ivn\'y proposed a…

Data Structures and Algorithms · Computer Science 2016-08-23 Shinsaku Sakaue