English
Related papers

Related papers: ETH-Hardness of Approximating 2-CSPs and Directed …

200 papers

An instance of the Constraint Satisfaction Problem (CSP) is given by a family of constraints on overlapping sets of variables, and the goal is to assign values from a fixed domain to the variables so that all constraints are satisfied. In…

Data Structures and Algorithms · Computer Science 2018-12-06 Víctor Dalmau , Marcin Kozik , Andrei Krokhin , Konstantin Makarychev , Yury Makarychev , Jakub Opršal

We initiate the theoretical study of Ext-TSP, a problem that originates in the area of profile-guided binary optimization. Given a graph $G=(V, E)$ with positive edge weights $w: E \rightarrow R^+$, and a non-increasing discount function…

Data Structures and Algorithms · Computer Science 2021-07-19 Julián Mestre , Sergey Pupyrev , Seeun William Umboh

Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…

Data Structures and Algorithms · Computer Science 2014-07-30 Amey Bhangale , Swastik Kopparty , Sushant Sachdeva

A $\mu$-biased Max-CSP instance with predicate $\psi:\{0,1\}^r \to \{0,1\}$ is an instance of Constraint Satisfaction Problem (CSP) where the objective is to find a labeling of relative weight at most $\mu$ which satisfies the maximum…

Data Structures and Algorithms · Computer Science 2022-01-13 Suprovat Ghoshal , Euiwoong Lee

We prove several tight results on the fine-grained complexity of approximating the diameter of a graph. First, we prove that, for any $\varepsilon>0$, assuming the Strong Exponential Time Hypothesis (SETH), there are no near-linear time…

Data Structures and Algorithms · Computer Science 2021-04-05 Ray Li

We settle the pseudo-polynomial complexity of the Demand Strip Packing (DSP) problem: Given a strip of fixed width and a set of items with widths and heights, the items must be placed inside the strip with the objective of minimizing the…

Data Structures and Algorithms · Computer Science 2025-07-02 Klaus Jansen , Malin Rau , Malte Tutas

In the Priority Steiner Tree (PST) problem, we are given an undirected graph $G=(V,E)$ with a source $s \in V$ and terminals $T \subseteq V \setminus \{s\}$, where each terminal $v \in T$ requires a nonnegative priority $P(v)$. The goal is…

Data Structures and Algorithms · Computer Science 2021-09-01 Faryad Darabi Sahneh , Stephen Kobourov , Richard Spence

Directed Steiner Tree (DST) is a central problem in combinatorial optimization and theoretical computer science: Given a directed graph $G=(V, E)$ with edge costs $c \in \mathbb{R}_{\geq 0}^E$, a root $r \in V$ and $k$ terminals $K\subseteq…

Data Structures and Algorithms · Computer Science 2020-04-28 Xiangyu Guo , Guy Kortsarz , Bundit Laekhanukit , Shi Li , Daniel Vaz , Jiayi Xian

The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$…

Discrete Mathematics · Computer Science 2025-10-13 Manuel Bodirsky , Santiago Guzmán-Pro

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

A constraint satisfaction problem (CSP), $\textsf{Max-CSP}(\mathcal{F})$, is specified by a finite set of constraints $\mathcal{F} \subseteq \{[q]^k \to \{0,1\}\}$ for positive integers $q$ and $k$. An instance of the problem on $n$…

Computational Complexity · Computer Science 2024-02-27 Chi-Ning Chou , Alexander Golovnev , Madhu Sudan , Santhoshini Velusamy

Given a fixed arity $k \geq 2$, Min-$k$-CSP on complete instances involves a set of $n$ variables $V$ and one nontrivial constraint for every $k$-subset of variables (so there are $\binom{n}{k}$ constraints). The goal is to find an…

Data Structures and Algorithms · Computer Science 2024-10-28 Aditya Anand , Euiwoong Lee , Amatya Sharma

We consider the following general network design problem on directed graphs. The input is an asymmetric metric $(V,c)$, root $r^{*}\in V$, monotone submodular function $f:2^V\rightarrow \mathbb{R}_+$ and budget $B$. The goal is to find an…

Data Structures and Algorithms · Computer Science 2019-04-03 Rohan Ghuge , Viswanath Nagarajan

We study the complexity of the Distributed Constraint Satisfaction Problem (DCSP) on a synchronous, anonymous network from a theoretical standpoint. In this setting, variables and constraints are controlled by agents which communicate with…

Data Structures and Algorithms · Computer Science 2021-01-25 Silvia Butti , Victor Dalmau

Constraint satisfaction problems (CSPs) consist of a set of variables taking values from some finite domain and a set of local constraints on these variables. The objective is to find an assignment to the variables that maximizes the…

Computational Complexity · Computer Science 2026-05-12 Amey Bhangale , Yezhou Zhang

The VC-dimension is a well-studied and fundamental complexity measure of a set system (or hypergraph) that is central to many areas of machine learning. We establish several new results on the complexity of computing the VC-dimension. In…

Computational Complexity · Computer Science 2025-10-24 Florent Foucaud , Harmender Gahlawat , Fionn Mc Inerney , Prafullkumar Tale

Many graph mining applications rely on detecting subgraphs which are near-cliques. There exists a dichotomy between the results in the existing work related to this problem: on the one hand the densest subgraph problem (DSP) which maximizes…

Data Structures and Algorithms · Computer Science 2014-05-22 Charalampos E. Tsourakakis

We design new algorithms for approximating 2CSPs on graphs with bounded threshold rank, that is, whose normalized adjacency matrix has few eigenvalues larger than $\varepsilon$, smaller than $-\varepsilon$, or both. Unlike on worst-case…

Data Structures and Algorithms · Computer Science 2025-11-17 Prashanti Anderson , Samuel B. Hopkins , Amit Rajaraman , David Steurer

The Directed Steiner Tree (DST) problem is defined on a directed graph $G=(V,E)$, where we are given a designated root vertex $r$ and a set of $k$ terminals $K \subseteq V \setminus {r}$. The goal is to find a minimum-cost subgraph that…

Data Structures and Algorithms · Computer Science 2025-10-13 Bundit Laekhanukit

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