English
Related papers

Related papers: A Characterization of Approximability for Biased C…

200 papers

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

We study the approximability of two related problems on graphs with $n$ nodes and $m$ edges: $n$-Pairs Shortest Paths ($n$-PSP), where the goal is to find a shortest path between $O(n)$ prespecified pairs, and All Node Shortest Cycles…

Data Structures and Algorithms · Computer Science 2022-09-21 Mina Dalirrooyfard , Ce Jin , Virginia Vassilevska Williams , Nicole Wein

In a Subgraph Problem we are given some graph and want to find a feasible subgraph that optimizes some measure. We consider Multistage Subgraph Problems (MSPs), where we are given a sequence of graph instances (stages) and are asked to find…

Data Structures and Algorithms · Computer Science 2023-06-16 Markus Chimani , Niklas Troost , Tilo Wiedera

The problem of CSP sparsification asks: for a given CSP instance, what is the sparsest possible reweighting such that for every possible assignment to the instance, the number of satisfied constraints is preserved up to a factor of $1 \pm…

Data Structures and Algorithms · Computer Science 2026-02-12 Joshua Brakensiek , Venkatesan Guruswami , Aaron Putterman

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($\mathcal{F}$) on $n$ variables consists of a list of…

Data Structures and Algorithms · Computer Science 2024-08-05 Noah G. Singer , Madhu Sudan , Santhoshini Velusamy

In this paper, we prove an almost-optimal hardness for Max $k$-CSP$_R$ based on Khot's Unique Games Conjecture (UGC). In Max $k$-CSP$_R$, we are given a set of predicates each of which depends on exactly $k$ variables. Each variable can…

Computational Complexity · Computer Science 2015-11-23 Pasin Manurangsi , Preetum Nakkiran , Luca Trevisan

We consider the Demand Strip Packing problem (DSP), in which we are given a set of jobs, each specified by a processing time and a demand. The task is to schedule all jobs such that they are finished before some deadline $D$ while…

Data Structures and Algorithms · Computer Science 2024-08-19 Franziska Eberle , Felix Hommelsheim , Malin Rau , Stefan Walzer

We present a series of almost settled inapproximability results for three fundamental problems. The first in our series is the subexponential-time inapproximability of the maximum independent set problem, a question studied in the area of…

Computational Complexity · Computer Science 2013-08-20 Parinya Chalermsook , Bundit Laekhanukit , Danupon Nanongkai

We consider approximation algorithms for covering integer programs of the form min $\langle c, x \rangle $ over $x \in \mathbb{N}^n $ subject to $A x \geq b $ and $x \leq d$; where $A \in \mathbb{R}_{\geq 0}^{m \times n}$, $b \in…

Data Structures and Algorithms · Computer Science 2018-11-20 Chandra Chekuri , Kent Quanrud

Constraint satisfaction problems have been studied in numerous fields with practical and theoretical interests. In recent years, major breakthroughs have been made in a study of counting constraint satisfaction problems (or #CSPs). In…

Computational Complexity · Computer Science 2012-10-23 Tomoyuki Yamakami

Some of the most fundamental and well-studied graph parameters are the Diameter (the largest shortest paths distance) and Radius (the smallest distance for which a "center" node can reach all other nodes). The natural and important…

Data Structures and Algorithms · Computer Science 2019-04-29 Mina Dalirrooyfard , Virginia Vassilevska Williams , Nikhil Vyas , Nicole Wein

We continue the investigation of polynomial-time sparsification for NP-complete Boolean Constraint Satisfaction Problems (CSPs). The goal in sparsification is to reduce the number of constraints in a problem instance without changing the…

Computational Complexity · Computer Science 2018-09-18 Hubie Chen , Bart M. P. Jansen , Astrid Pieterse

For a constraint satisfaction problem (CSP), a robust satisfaction algorithm is one that outputs an assignment satisfying most of the constraints on instances that are near-satisfiable. It is known that the CSPs that admit efficient robust…

Data Structures and Algorithms · Computer Science 2025-09-09 Joshua Brakensiek , Venkatesan Guruswami , Sai Sandeep

We study random constraint satisfaction problems (CSPs) in the unsatisfiable regime. We relate the structure of near-optimal solutions for any Max-CSP to that for an associated spin glass on the hypercube, using the Guerra-Toninelli…

Discrete Mathematics · Computer Science 2023-03-30 Chris Jones , Kunal Marwaha , Juspreet Singh Sandhu , Jonathan Shi

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

Constraint Satisfaction Problem (CSP) is a framework for modeling and solving a variety of real-world problems. Once the problem is expressed as a finite set of constraints, the goal is to find the variables' values satisfying them. Even…

Discrete Mathematics · Computer Science 2019-05-23 Rachid Oucheikh , Ismail Berrada , Outman El Hichami

In this paper we study the approximability of (Finite-)Valued Constraint Satisfaction Problems (VCSPs) with a fixed finite constraint language {\Gamma} consisting of finitary functions on a fixed finite domain. An instance of VCSP is given…

Computational Complexity · Computer Science 2018-03-22 Victor Dalmau , Andrei Krokhin , Rajsekar Manokaran

In the Demand Strip Packing problem (DSP), we are given a time interval and a collection of tasks, each characterized by a processing time and a demand for a given resource (such as electricity, computational power, etc.). A feasible…

Data Structures and Algorithms · Computer Science 2021-05-20 Waldo Gálvez , Fabrizio Grandoni , Afrouz Jabal Ameli , Kamyar Khodamoradi

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

Computational Complexity · Computer Science 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

Given an undirected graph on a node set $V$ and positive integers $k$ and $m$, a $k$-connected $m$-dominating set ($(k,m)$-CDS) is defined as a subset $S$ of $V$ such that each node in $V \setminus S$ has at least $m$ neighbors in $S$, and…

Data Structures and Algorithms · Computer Science 2018-08-08 Takuro Fukunaga