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.

Approximation Algorithms for the MAXSPACE Advertisement Problem

Local-Search Based Heuristics for Advertisement Scheduling

A (32+Ε)-Approximation Algorithm for Scheduling on Two Parallel Machines with Job Delivery Coordination.

Scheduling with a minimum number of machines

Approximation Algorithms for Parallel Machine Scheduling with Speed-up Resources.

Approximation algorithms for scheduling parallel machines with capacity constraints ∗

Approximating the Optimal Competitive Ratio for an Ancient Online Scheduling Problem

Parameterized and Approximation Results for Scheduling with a Low Rank Processing Time Matrix.

Approximation Algorithms for Interdiction Problem with Packing Constraints

Scheduling on a Graph with Release Times

Scheduling Stochastic Jobs - Complexity and Approximation Algorithms.

On the optimality of approximation schemes for the classical scheduling problem

Approximating Vector Scheduling: Almost Matching Upper and Lower Bounds

Linear Time Algorithms for Multiple Cluster Scheduling and Multiple Strip Packing

Approximation algorithms for the joint replenishment problem with deadlines

Heuristic Algorithms for Simultaneously Accepting and Scheduling Advertisements on Broadcast Television

Approximations for Throughput Maximization

Approximation Algorithms for Two-stage Flexible Flow Shop Scheduling Subject to Release Dates

Approximation Algorithms for Some Position-Dependent Scheduling Problems.

Approximation Algorithms In Batch Processing

Streaming approximation resistance of every ordering CSP