Abstract:An ordering constraint satisfaction problem (OCSP) is defined by a family of predicates mapping permutations on to . An instance of Max-OCSP ( ) on n variables consists of a list of constraints, each consisting of a predicate from applied on k distinct variables. The goal is to find an ordering of the n variables that maximizes the number of constraints for which the induced ordering on the k variables satisfies the predicate. OCSPs capture well-studied problems including 'maximum acyclic subgraph' ( MAS ) and "maximum betweenness". In this work, we consider the task of approximating the maximum number of satisfiable constraints in the (single-pass) streaming setting, when an instance is presented as a stream of constraints. We show that for every , Max-OCSP ( ) is approximation-resistant to o( n )-space streaming algorithms, i.e., algorithms using o( n ) space cannot distinguish streams where almost every constraint is satisfiable from streams where no ordering beats the random ordering by a noticeable amount. This space bound is tight up to polylogarithmic factors. In the case of MAS , our result shows that for every , MAS is not -approximable in o( n ) space. The previous best inapproximability result, due to Guruswami & Tao (2019), only ruled out 3/4-approximations in space. Our results build on recent works of Chou et al. (2022b, 2024) who provide a tight, linear-space inapproximability theorem for a broad class of "standard" (i.e., non-ordering) constraint satisfaction problems (CSPs) over arbitrary (finite) alphabets. Our results are obtained by building a family of appropriate standard CSPs (one for every alphabet size q ) from any given OCSP and applying their theorem to this family of CSPs. To convert the resulting hardness results for standard CSPs back to our OCSP, we show that the hard instances from this earlier theorem have the following "partition expansion" property with high probability: For every partition of the n variables into small blocks, for most of the constraints, all variables are in distinct blocks.

Streaming and Sketching Complexity of CSPs: A survey

Sketching approximability of all finite CSPs

Streaming approximation resistance of every ordering CSP

The Sketching Complexity of Graph and Hypergraph Counting

Sketching Approximability of (Weak) Monarchy Predicates

Efficient Algorithms and New Characterizations for CSP Sparsification

Constraint Satisfaction Problems around Skolem Arithmetic

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures

Complexity and polymorphisms for digraph constraint problems under some basic constructions

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability

On Approximability of Satisfiable k-CSPs: V

Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP

Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters

Min-CSPs on Complete Instances

Proof complexity of universal algebra in a CSP dichotomy proof

Local algorithms and the failure of log-depth quantum advantage on sparse random CSPs

Constraint satisfaction problem and universal algebra

Fine-Grained Time Complexity of Constraint Satisfaction Problems

An order out of nowhere: a new algorithm for infinite-domain CSPs