English
Related papers

Related papers: Gap Amplification for Reconfiguration Problems

200 papers

Random constraint satisfaction problems (CSPs) such as random $3$-SAT are conjectured to be computationally intractable. The average case hardness of random $3$-SAT and other CSPs has broad and far-reaching implications on problems in…

Computational Complexity · Computer Science 2019-11-11 Jonah Brown-Cohen , Prasad Raghavendra

This note concerns the trade-off between the degree of the constraint graph and the gap in hardness of approximating the Min-Rep variant of Label Cover (aka Projection Game). We make a very simple observation that, for NP-hardness with gap…

Computational Complexity · Computer Science 2018-07-04 Pasin Manurangsi

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 present a $\frac53$-approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected spanning…

Data Structures and Algorithms · Computer Science 2020-12-14 J. Cheriyan , R. Cummings , J. Dippel , J. Zhu

Given a graph $G$ with a vertex threshold function $\tau$, consider a dynamic process in which any inactive vertex $v$ becomes activated whenever at least $\tau(v)$ of its neighbors are activated. A vertex set $S$ is called a target set if…

Data Structures and Algorithms · Computer Science 2024-02-26 Naoto Ohsaka

One of the most important open problems in machine scheduling is the problem of scheduling a set of jobs on unrelated machines to minimize the makespan. The best known approximation algorithm for this problem guarantees an approximation…

Discrete Mathematics · Computer Science 2015-03-17 José Verschae , Andreas Wiese

We consider the Connectivity Augmentation Problem (CAP), a classical problem in the area of Survivable Network Design. It is about increasing the edge-connectivity of a graph by one unit in the cheapest possible way. More precisely, given a…

Data Structures and Algorithms · Computer Science 2022-11-24 Federica Cecchetto , Vera Traub , Rico Zenklusen

In this paper, we consider approximability issues of the following four problems: triangle packing, full sibling reconstruction, maximum profit coverage and 2-coverage. All of them are generalized or specialized versions of set-cover and…

Computational Complexity · Computer Science 2011-02-07 Mary Ashley , Tanya Berger-Wolf , Piotr Berman , Wanpracha Chaovalitwongse , Bhaskar DasGupta , Ming-Yang Kao

We present a $\frac74$ approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected spanning…

Data Structures and Algorithms · Computer Science 2019-04-24 Joe Cheriyan , Jack Dippel , Fabrizio Grandoni , Arindam Khan , Vishnu V. Narayan

We construct 2-query, quasi-linear size probabilistically checkable proofs (PCPs) with arbitrarily small constant soundness, improving upon Dinur's 2-query quasi-linear size PCPs with soundness $1-\Omega(1)$. As an immediate corollary, we…

Computational Complexity · Computer Science 2024-11-08 Mitali Bafna , Dor Minzer , Nikhil Vyas

We study the well-known Label Cover problem under the additional requirement that problem instances have large girth. We show that if the girth is some $k$, the problem is roughly $2^{\log^{1-\epsilon} n/k}$ hard to approximate for all…

Data Structures and Algorithms · Computer Science 2012-03-06 Michael Dinitz , Guy Kortsarz , Ran Raz

In the Max-2Lin(2) problem you are given a system of equations on the form $x_i + x_j \equiv b \pmod{2}$, and your objective is to find an assignment that satisfies as many equations as possible. Let $c \in [0.5, 1]$ denote the maximum…

Computational Complexity · Computer Science 2024-08-13 Björn Martinsson

$k$-Coloring Reconfiguration is one of the most well-studied reconfiguration problems, which asks to transform a given proper $k$-coloring of a graph to another by repeatedly recoloring a single vertex. Its approximate version, Maxmin…

Computational Complexity · Computer Science 2025-04-01 Shuichi Hirahara , Naoto Ohsaka

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

In the Maxmin E$k$-SAT Reconfiguration problem, we are given a satisfiable $k$-CNF formula $\varphi$ where each clause contains exactly $k$ literals, along with a pair of its satisfying assignments. The objective is transform one satisfying…

Computational Complexity · Computer Science 2025-08-04 Shuichi Hirahara , Naoto Ohsaka

In this paper we study the fine-grained complexity of finding exact and approximate solutions to problems in P. Our main contribution is showing reductions from exact to approximate solution for a host of such problems. As one (notable)…

Computational Complexity · Computer Science 2022-12-12 Lijie Chen , Shafi Goldwasser , Kaifeng Lyu , Guy N. Rothblum , Aviad Rubinstein

This thesis explores algorithmic applications and limitations of convex relaxation hierarchies for approximating some discrete and continuous optimization problems. - We show a dichotomy of approximability of constraint satisfaction…

Computational Complexity · Computer Science 2025-09-01 Mrinalkanti Ghosh

We define a reduction mechanism for LP and SDP formulations that degrades approximation factors in a controlled fashion. Our reduction mechanism is a minor restriction of classical reductions establishing inapproximability in the context of…

Computational Complexity · Computer Science 2016-01-20 Gábor Braun , Sebastian Pokutta , Daniel Zink

We show that several reconfiguration problems known to be PSPACE-complete remain so even when limited to graphs of bounded bandwidth. The essential step is noticing the similarity to very limited string rewriting systems, whose ability to…

Computational Complexity · Computer Science 2014-05-06 Marcin Wrochna

We consider the classical problem of Scheduling on Unrelated Machines. In this problem a set of jobs is to be distributed among a set of machines and the maximum load (makespan) is to be minimized. The processing time $p_{ij}$ of a job $j$…

Data Structures and Algorithms · Computer Science 2017-01-16 Klaus Jansen , Lars Rohwedder