English
Related papers

Related papers: Global Cardinality Constraints Make Approximating …

200 papers

This work is concerned with approximating constraint satisfaction problems (CSPs) with an additional global cardinality constraints. For example, \maxcut is a boolean CSP where the input is a graph $G = (V,E)$ and the goal is to find a cut…

Data Structures and Algorithms · Computer Science 2011-10-06 Prasad Raghavendra , Ning Tan

Recently Raghavendra and Tan (SODA 2012) gave a 0.85-approximation algorithm for the Max Bisection problem. We improve their algorithm to a 0.8776-approximation. As Max Bisection is hard to approximate within $\alpha_{GW} + \epsilon \approx…

Data Structures and Algorithms · Computer Science 2012-07-09 Per Austrin , Siavosh Benabbas , Konstantinos Georgiou

We study the classic Max-Cut problem under multiple cardinality constraints, which we refer to as the Constrained Max-Cut problem. Given a graph $G=(V, E)$, a partition of the vertices into $c$ disjoint parts $V_1, \ldots, V_c$, and…

Data Structures and Algorithms · Computer Science 2025-07-18 Yury Makarychev , Madhusudhan Reddy Pittu , Ali Vakilian

We consider the question of approximating Max 2-CSP where each variable appears in at most $d$ constraints (but with possibly arbitrarily large alphabet). There is a simple $(\frac{d+1}{2})$-approximation algorithm for the problem. We prove…

Data Structures and Algorithms · Computer Science 2023-09-11 Euiwoong Lee , Pasin Manurangsi

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

Austrin showed that the approximation ratio $\beta\approx 0.94016567$ obtained by the MAX 2-SAT approximation algorithm of Lewin, Livnat and Zwick (LLZ) is optimal modulo the Unique Games Conjecture (UGC) and modulo a Simplicity Conjecture…

Computational Complexity · Computer Science 2023-11-02 Joshua Brakensiek , Neng Huang , Uri Zwick

MAX NAE-SAT is a natural optimization problem, closely related to its better-known relative MAX SAT. The approximability status of MAX NAE-SAT is almost completely understood if all clauses have the same size $k$, for some $k\ge 2$. We…

Computational Complexity · Computer Science 2024-09-27 Joshua Brakensiek , Neng Huang , Aaron Potechin , Uri Zwick

We prove tight upper and lower bounds on approximation ratios of all Boolean Max-2CSP problems in the streaming model. Specifically, for every type of Max-2CSP problem, we give an explicit constant $\alpha$, s.t. for any $\epsilon>0$ (i)…

Computational Complexity · Computer Science 2021-01-13 Chi-Ning Chou , Alexander Golovnev , Santhoshini Velusamy

Assuming the Unique Games Conjecture (UGC), the best approximation ratio that can be obtained in polynomial time for the MAX CUT problem is $\alpha_{\text{CUT}}\simeq 0.87856$, obtained by the celebrated SDP-based approximation algorithm of…

Computational Complexity · Computer Science 2023-04-13 Joshua Brakensiek , Neng Huang , Aaron Potechin , Uri Zwick

Maximum Satisfiability (MaxSAT) is an optimization variant of the Boolean Satisfiability (SAT) problem. In general, MaxSAT algorithms perform a succession of SAT solver calls to reach an optimum solution making extensive use of cardinality…

Logic in Computer Science · Computer Science 2014-08-21 Ruben Martins , Saurabh Joshi , Vasco Manquinho , Ines Lynce

We propose a new conjecture on hardness of low-degree $2$-CSP's, and show that new hardness of approximation results for Densest $k$-Subgraph and several other problems, including a graph partitioning problem, and a variation of the Graph…

Data Structures and Algorithms · Computer Science 2022-11-14 Julia Chuzhoy , Mina Dalirrooyfard , Vadim Grinberg , Zihan Tan

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

The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev (2003) proved that the problem is NP-hard to approximate within a factor $2 - \epsilon$, assuming the Unique…

Computational Complexity · Computer Science 2015-11-30 Abbas Bazzi , Samuel Fiorini , Sebastian Pokutta , Ola Svensson

In the maximum constraint satisfaction problem (Max CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given domain to the variables so as to…

Computational Complexity · Computer Science 2007-05-23 Peter Jonsson , Mikael Klasson , Andrei Krokhin

We study variants of the classic $s$-$t$ cut problem and prove the following improved hardness results assuming the Unique Games Conjecture (UGC). - For any constant $k \geq 2$ and $\epsilon > 0$, we show that Directed Multicut with $k$…

Computational Complexity · Computer Science 2016-07-19 Euiwoong Lee

We consider two classic problems: maximum coverage and monotone submodular maximization subject to a cardinality constraint. [Nemhauser--Wolsey--Fisher '78] proved that the greedy algorithm provides an approximation of $1-1/e$ for both…

Data Structures and Algorithms · Computer Science 2025-03-26 Yuval Filmus , Roy Schwartz , Alexander V. Smal

Non-monotone constrained submodular maximization plays a crucial role in various machine learning applications. However, existing algorithms often struggle with a trade-off between approximation guarantees and practical efficiency. The…

Machine Learning · Computer Science 2024-05-24 Murad Tukan , Loay Mualem , Moran Feldman

In this paper, we consider the problem of finding a maximum cardinality subset of vectors, given a constraint on the normalized squared length of vectors sum. This problem is closely related to Problem 1 from (Eremeev, Kel'manov, Pyatkin,…

Data Structures and Algorithms · Computer Science 2017-07-20 Anton V. Eremeev , Alexander V. Kelmanov , Artem V. Pyatkin , Igor A. Ziegler

The stable matching problem is one of the central problems of algorithmic game theory. If participants are allowed to have ties, the problem of finding a stable matching of maximum cardinality is an NP-hard problem, even when the ties are…

Computer Science and Game Theory · Computer Science 2019-02-19 Robert Chiang , Kanstantsin Pashkovich

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
‹ Prev 1 2 3 10 Next ›