English
Related papers

Related papers: Approximating Constraint Satisfaction Problems on …

200 papers

The Promise Constraint Satisfaction Problem (PCSP) is a recently introduced vast generalization of the Constraint Satisfaction Problem (CSP). We investigate the computational complexity of a class of PCSPs beyond the most studied cases -…

Computational Complexity · Computer Science 2020-10-12 Libor Barto , Diego Battistelli , Kevin M. Berg

In this article we consider the graph alignment problem from the perspective of high-dimensional statistics: we aim to estimate an unknown permutation $\pi^*$ from the observation of two correlated random adjacency matrices $A_1$, $A_2$. We…

Probability · Mathematics 2025-10-30 Laurent Massoulié

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

Local search is a widely-employed strategy for finding good solutions to Traveling Salesman Problem. We analyze the problem of determining whether the weight of a given cycle can be decreased by a popular $k$-opt move. Earlier work has…

Data Structures and Algorithms · Computer Science 2019-09-04 Édouard Bonnet , Yoichi Iwata , Bart M. P. Jansen , Łukasz Kowalik

The $k$-means problem is a classic objective for modeling clustering in a metric space. Given a set of points in a metric space, the goal is to find $k$ representative points so as to minimize the sum of the squared distances from each…

Computational Geometry · Computer Science 2026-03-31 Vincent Cohen-Addad , Karthik C. S. , David Saulpic , Chris Schwiegelshohn

The Parameterized Inapproximability Hypothesis (PIH), which is an analog of the PCP theorem in parameterized complexity, asserts that, there is a constant $\varepsilon> 0$ such that for any computable function $f:\mathbb{N}\to\mathbb{N}$,…

Computational Complexity · Computer Science 2024-06-13 Venkatesan Guruswami , Bingkai Lin , Xuandi Ren , Yican Sun , Kewen Wu

We study approximability of regular constraint satisfaction problems, i.e., CSPs where each variable in an instance has the same number of occurrences. In particular, we show that for any CSP $\Lambda$, existence of an $\alpha$…

Computational Complexity · Computer Science 2020-04-20 Aleksa Stankovic

The Graph Pricing problem is among the fundamental problems whose approximability is not well-understood. While there is a simple combinatorial 1/4-approximation algorithm, the best hardness result remains at 1/2 assuming the Unique Games…

Data Structures and Algorithms · Computer Science 2014-11-06 Euiwoong Lee

We continue the study of the covering complexity of constraint satisfaction problems (CSPs) initiated by Guruswami, H{\aa}stad and Sudan [SIAM J. Comp. 2002] and Dinur and Kol [CCC'13]. The covering number of a CSP instance $\Phi$ is the…

Computational Complexity · Computer Science 2021-01-05 Amey Bhangale , Prahladh Harsha , Girish Varma

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

We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the…

Computational Complexity · Computer Science 2011-05-24 Sushant Sachdeva , Rishi Saket

We introduce the problem of finding a satisfying assignment to a CNF formula that must further belong to a prescribed input subspace. Equivalent formulations of the problem include finding a point outside a union of subspaces (the…

Data Structures and Algorithms · Computer Science 2021-08-16 Vikraman Arvind , Venkatesan Guruswami

In this paper, we demonstrate gap amplification for reconfiguration problems. In particular, we prove an explicit factor of PSPACE-hardness of approximation for three popular reconfiguration problems only assuming the Reconfiguration…

Discrete Mathematics · Computer Science 2024-03-19 Naoto Ohsaka

Many NP-complete constraint satisfaction problems appear to undergo a "phase transition'' from solubility to insolubility when the constraint density passes through a critical threshold. In all such cases it is easy to derive upper bounds…

Statistical Mechanics · Physics 2007-05-23 Dimitris Achlioptas , Cristopher Moore

In this thesis, we explore streaming algorithms for approximating constraint satisfaction problems (CSPs). The setup is roughly the following: A computer has limited memory space, sees a long "stream" of local constraints on a set of…

Data Structures and Algorithms · Computer Science 2023-04-14 Noah G. Singer

We study the complexity of approximate counting Constraint Satisfaction Problems (#CSPs) in a bounded degree setting. Specifically, given a Boolean constraint language $\Gamma$ and a degree bound $\Delta$, we study the complexity of…

Data Structures and Algorithms · Computer Science 2020-08-21 Andreas Galanis , Leslie Ann Goldberg , Kuan Yang

We study polynomial-time approximation schemes (PTASes) for constraint satisfaction problems (CSPs) such as Maximum Independent Set or Minimum Vertex Cover on sparse graph classes. Baker's approach gives a PTAS on planar graphs,…

Discrete Mathematics · Computer Science 2023-03-10 Balázs F. Mezei , Marcin Wrochna , Stanislav Živný

A central problem in graph mining is finding dense subgraphs, with several applications in different fields, a notable example being identifying communities. While a lot of effort has been put on the problem of finding a single dense…

Data Structures and Algorithms · Computer Science 2019-01-31 Riccardo Dondi , Mohammad Mehdi Hosseinzadeh , Giancarlo Mauri , Italo Zoppis

Let $G$ be a graph on $n$ vertices and $\mathrm{STAB}_k(G)$ be the convex hull of characteristic vectors of its independent sets of size at most $k$. We study extension complexity of $\mathrm{STAB}_k(G)$ with respect to a fixed parameter…

Computational Complexity · Computer Science 2017-03-08 Jakub Gajarský , Petr Hliněný , Hans Raj Tiwary

Given a family of subsets $\mathcal S$ over a set of elements~$X$ and two integers~$p$ and~$k$, Max k-Set Cover consists of finding a subfamily~$\mathcal T \subseteq \mathcal S$ of cardinality at most~$k$, covering at least~$p$ elements…

Computational Complexity · Computer Science 2016-09-28 Edouard Bonnet , Vangelis Th. Paschos , Florian Sikora
‹ Prev 1 3 4 5 6 7 10 Next ›