English
Related papers

Related papers: PTAS for Sparse General-Valued CSPs

200 papers

We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint…

Discrete Mathematics · Computer Science 2024-01-04 Miguel Romero , Marcin Wrochna , Stanislav Živný

The theoretical models providing mathematical abstractions for several significant optimization problems in machine learning, combinatorial optimization, computer vision and statistical physics have intrinsic similarities. We propose a…

Data Structures and Algorithms · Computer Science 2018-04-18 Yi-Kai Wang

It has long been known, since the classical work of (Arora, Karger, Karpinski, JCSS~99), that \MC\ admits a PTAS on dense graphs, and more generally, \kCSP\ admits a PTAS on "dense" instances with $\Omega(n^k)$ constraints. In this paper we…

Computational Complexity · Computer Science 2015-07-17 Dimitris Fotakis , Michael Lampis , Vangelis Th. Paschos

We consider Sherali-Adams linear programming relaxations for solving valued constraint satisfaction problems to optimality. The utility of linear programming relaxations in this context have previously been demonstrated using the lowest…

Computational Complexity · Computer Science 2015-11-24 Johan Thapper , Stanislav Zivny

We give the first constant-factor approximation algorithm for Sparsest Cut with general demands in bounded treewidth graphs. In contrast to previous algorithms, which rely on the flow-cut gap and/or metric embeddings, our approach exploits…

Data Structures and Algorithms · Computer Science 2010-06-24 Eden Chlamtac , Robert Krauthgamer , Prasad Raghavendra

We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…

Computational Complexity · Computer Science 2018-04-24 Holger Dell , Eun Jung Kim , Michael Lampis , Valia Mitsou , Tobias Mömke

In the non-uniform sparsest cut problem, we are given a supply graph G and a demand graph D, both with the same set of nodes V. The goal is to find a cut of V that minimizes the ratio of the total capacity on the edges of G crossing the cut…

Data Structures and Algorithms · Computer Science 2021-11-12 Vincent Cohen-Addad , Tobias Mömke , Victor Verdugo

We give a precise algebraic characterisation of the power of Sherali-Adams relaxations for solvability of valued constraint satisfaction problems to optimality. The condition is that of bounded width which has already been shown to capture…

Computational Complexity · Computer Science 2017-07-25 Johan Thapper , Stanislav Zivny

The problem of minimizing a polynomial over the standard simplex is one of the basic NP-hard nonlinear optimization problems --- it contains the maximum clique problem in graphs as a special case. It is known that the problem allows a…

Optimization and Control · Mathematics 2014-10-29 Etienne de Klerk , Monique Laurent , Zhao Sun

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

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

CSP sparsification, introduced by Kogan and Krauthgamer (ITCS 2015), considers the following question: how much can an instance of a constraint satisfaction problem be sparsified (by retaining a reweighted subset of the constraints) while…

Data Structures and Algorithms · Computer Science 2024-11-07 Sanjeev Khanna , Aaron L. Putterman , Madhu Sudan

We consider two optimization problems in planar graphs. In Maximum Weight Independent Set of Objects we are given a graph $G$ and a family $\mathcal{D}$ of objects, each being a connected subgraph of $G$ with a prescribed weight, and the…

Data Structures and Algorithms · Computer Science 2018-07-23 Michał Pilipczuk , Erik Jan van Leeuwen , Andreas Wiese

Maximum surjective constraint satisfaction problems (Max-Sur-CSPs) are computational problems where we are given a set of variables denoting values from a finite domain B and a set of constraints on the variables. A solution to such a…

Computational Complexity · Computer Science 2011-10-14 Walter Bach , Hang Zhou

We present the first polynomial-time approximation schemes (PTASes) for the following subset-connectivity problems in edge-weighted graphs of bounded genus: Steiner tree, low-connectivity survivable-network design, and subset TSP. The…

Discrete Mathematics · Computer Science 2011-03-02 Glencora Borradaile , Erik D. Demaine , Siamak Tazari

We study the Sherali-Adams linear programming hierarchy in the context of promise constraint satisfaction problems (PCSPs). We characterise when a level of the hierarchy accepts an instance in terms of a homomorphism problem for an…

Computational Complexity · Computer Science 2022-11-11 Lorenzo Ciardo , Stanislav Živný

Everywhere-$\delta$-dense graphs are defined as graphs on $n$ vertices in which every vertex has degree at least $\delta n$ for some constant $\delta > 0$. Approximation schemes are vital for handling NP-hard optimization problems, but for…

Data Structures and Algorithms · Computer Science 2026-05-11 Kaisei Deguchi , Ken-ichi Kawarabayashi , Hiroaki Mori

In this paper, we present a polynomial-time algorithm that approximates sufficiently high-value Max 2-CSPs on sufficiently dense graphs to within $O(N^{\varepsilon})$ approximation ratio for any constant $\varepsilon > 0$. Using this…

Data Structures and Algorithms · Computer Science 2015-07-31 Pasin Manurangsi , Dana Moshkovitz

Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor…

Discrete Mathematics · Computer Science 2019-01-08 Zdeněk Dvořák

We initiate a systematic study of approximation schemes for fundamental optimization problems on disk graphs, a common generalization of both planar graphs and unit-disk graphs. Our main contribution is a general framework for designing…

Computational Geometry · Computer Science 2022-11-08 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi
‹ Prev 1 2 3 10 Next ›