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.

Models for CSP with availability information

Model enumeration in propositional circumscription via unsatisfiable core analysis

Disjoint Partial Enumeration without Blocking Clauses

Streaming approximation resistance of every ordering CSP

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

On Enumerating Short Projected Models

Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?"

Urgency Annotations for Alternating Choices

Coarse Descriptions and Cautious Preferences

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

RE-completeness of entangled constraint satisfaction problems

Satisfiability of commutative vs. non-commutative CSPs

Composing Models.

Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models

Extending and Implementing the Stable Model Semantics

On the Expressivity and Applicability of Model Representation Formalisms

Imperative process algebra and models of computation

On Approximability of Satisfiable k-CSPs: V

Making Agents' Abilities Explicit

Constraint Satisfaction Problems around Skolem Arithmetic