Linear space streaming lower bounds for approximating CSPs

CN Chou, A Golovnev, M Sudan, A Velingker… - Proceedings of the 54th …, 2022 - dl.acm.org
We consider the approximability of constraint satisfaction problems in the streaming setting.
For every constraint satisfaction problem (CSP) on n variables taking values in {0,…, q− 1} …

Oblivious algorithms for the Max-AND Problem

NG Singer - arXiv preprint arXiv:2305.04438, 2023 - arxiv.org
Motivated by recent works on streaming algorithms for constraint satisfaction problems
(CSPs), we define and analyze oblivious algorithms for the Max-$ k $ AND problem. This …

Streaming complexity of CSPs with randomly ordered constraints

RR Saxena, N Singer, M Sudan, S Velusamy - … of the 2023 Annual ACM-SIAM …, 2023 - SIAM
We initiate a study of the streaming complexity of constraint satisfaction problems (CSPs)
when the constraints arrive in a random order. We show that there exists a CSP, namely Max …

Approximability of all finite CSPs with linear sketches

CN Chou, A Golovnev, M Sudan… - 2021 IEEE 62nd …, 2022 - ieeexplore.ieee.org
A constraint satisfaction problem (CSP), Max-CSP(F), is specified by a finite set of
constraints F⊆{q^k→{0,1\}\} for positive integers q and k. An instance of the problem on n …

Streaming approximation resistance of every ordering CSP

NG Singer, M Sudan, S Velusamy - arXiv preprint arXiv:2105.01782, 2021 - arxiv.org
An ordering constraint satisfaction problem (OCSP) is defined by a family $\mathcal {F} $ of
predicates mapping permutations on $\{1,\ldots, k\} $ to $\{0, 1\} $. An instance of Max-OCSP …

Streaming and Sketching Complexity of CSPs: A Survey

M Sudan - arXiv preprint arXiv:2205.02744, 2022 - arxiv.org
In this survey we describe progress over the last decade or so in understanding the
complexity of solving constraint satisfaction problems (CSPs) approximately in the streaming …

Sketching approximability of all finite CSPs

CN Chou, A Golovnev, M Sudan, S Velusamy - Journal of the ACM, 2024 - dl.acm.org
A constraint satisfaction problem (CSP),, is specified by a finite set of constraints for positive
integers q and k. An instance of the problem on n variables is given by m applications of …

Approximability of all Boolean CSPs with linear sketches

CN Chou, A Golovnev, M Sudan… - arXiv preprint arXiv …, 2021 - arxiv.org
In this work we consider the approximability of $\textsf {Max-CSP}(f) $ in the context of
sketching algorithms and completely characterize the approximability of all Boolean CSPs …

On sketching approximations for symmetric Boolean CSPs

J Boyland, M Hwang, T Prasad, N Singer… - arXiv preprint arXiv …, 2021 - arxiv.org
A Boolean maximum constraint satisfaction problem, Max-CSP ($ f $), is specified by a
predicate $ f:\{-1, 1\}^ k\to\{0, 1\} $. An $ n $-variable instance of Max-CSP ($ f $) consists of a …

Noisy boolean hidden matching with applications

M Kapralov, A Musipatla, J Tardos, DP Woodruff… - arXiv preprint arXiv …, 2021 - arxiv.org
The Boolean Hidden Matching (BHM) problem, introduced in a seminal paper of Gavinsky
et. al.[STOC'07], has played an important role in the streaming lower bounds for graph …