English
Related papers

Related papers: Fine-grained reductions from approximate counting …

200 papers

The classical work of (Arora et al., 1999) provides a scheme that gives, for any $\epsilon>0$, a polynomial time $1-\epsilon$ approximation algorithm for dense instances of a family of $\mathcal{NP}$-hard problems, such as Max-CUT and…

Data Structures and Algorithms · Computer Science 2024-05-24 Evripidis Bampis , Bruno Escoffier , Michalis Xefteris

We present a simple deterministic reduction which, assuming the Exponential Time Hypothesis ($\mathsf{ETH}$), yields tight lower bounds for approximating the parameterized Maximum Likelihood Decoding problem ($\mathsf{MLD}$) and the…

Computational Complexity · Computer Science 2026-05-12 Rishav Gupta , Bingkai Lin , Xin Zheng

In the Densest $k$-Subgraph problem, given an undirected graph $G$ and an integer $k$, the goal is to find a subgraph of $G$ on $k$ vertices that contains maximum number of edges. Even though the state-of-the-art algorithm for the problem…

Computational Complexity · Computer Science 2017-04-11 Pasin Manurangsi

In this paper, we begin the exploration of vertex-ordering problems through the lens of exponential-time approximation algorithms. In particular, we ask the following question: Can we simultaneously beat the running times of the fastest…

Data Structures and Algorithms · Computer Science 2025-02-18 Matthias Bentert , Fedor V. Fomin , Tanmay Inamdar , Saket Saurabh

Given an $n*n$ sparse symmetric matrix with $m$ nonzero entries, performing Gaussian elimination may turn some zeroes into nonzero values. To maintain the matrix sparse, we would like to minimize the number $k$ of these changes, hence…

Computational Complexity · Computer Science 2016-06-28 Yixin Cao , R. B. Sandeep

The All-Pairs Max-Flow problem has gained significant popularity in the last two decades, and many results are known regarding its fine-grained complexity. Despite this, wide gaps remain in our understanding of the time complexity for…

Data Structures and Algorithms · Computer Science 2024-11-12 Ohad Trabelsi

The Strong Exponential Time Hypothesis and the OV-conjecture are two popular hardness assumptions used to prove a plethora of lower bounds, especially in the realm of polynomial-time algorithms. The OV-conjecture in moderate dimension…

Computational Complexity · Computer Science 2018-05-23 Amir Abboud , Karl Bringmann , Holger Dell , Jesper Nederlof

In the $k$-Cut problem, we are given an edge-weighted graph $G$ and an integer $k$, and have to remove a set of edges with minimum total weight so that $G$ has at least $k$ connected components. Prior work on this problem gives, for all $h…

Data Structures and Algorithms · Computer Science 2017-10-25 Anupam Gupta , Euiwoong Lee , Jason Li

3-SAT problem is of great importance to many technical and scientific applications. This paper presents a new hybrid evolutionary algorithm for solving this satisfiability problem. 3-SAT problem has the huge search space and hence it is…

Artificial Intelligence · Computer Science 2013-06-24 Nasser Lotfi , Jamshid Tamouk , Mina Farmanbar

We orchestrate a randomized algorithm for #$k$-SAT which counts the exact number of satisfying assignments in $2^{o(n)}$ time. The existence of such algorithm signifies that the #ETH is hereby refuted, and so are $\oplus$ETH, ETH, #SETH,…

Computational Complexity · Computer Science 2021-02-05 Giorgio Camerani

We study polynomial-time approximation algorithms for (edge/vertex) Sparsest Cut and Small Set Expansion in terms of $k$, the number of edges or vertices cut in the optimal solution. Our main results are $\mathcal{O}(\text{polylog}\,…

Data Structures and Algorithms · Computer Science 2024-03-15 Aditya Anand , Euiwoong Lee , Jason Li , Thatchaphol Saranurak

We consider the SUBSET SUM problem and its important variants in this paper. In the SUBSET SUM problem, a (multi-)set $X$ of $n$ positive numbers and a target number $t$ are given, and the task is to find a subset of $X$ with the maximal…

Data Structures and Algorithms · Computer Science 2022-12-07 Xiaoyu Wu , Lin Chen

In this paper we carefully combine Fredman's trick [SICOMP'76] and Matou\v{s}ek's approach for dominance product [IPL'91] to obtain powerful results in fine-grained complexity: - Under the hypothesis that APSP for undirected graphs with…

Data Structures and Algorithms · Computer Science 2023-03-28 Timothy M. Chan , Virginia Vassilevska Williams , Yinzhan Xu

We revisit the classic combinatorial pattern matching problem of finding a longest common subsequence (LCS). For strings $x$ and $y$ of length $n$, a textbook algorithm solves LCS in time $O(n^2)$, but although much effort has been spent,…

Computational Complexity · Computer Science 2018-03-05 Karl Bringmann , Marvin Künnemann

Obtaining lower bounds for NP-hard problems has for a long time been an active area of research. Recent algebraic techniques introduced by Jonsson et al. (SODA 2013) show that the time complexity of the parameterized SAT($\cdot$) problem…

Computational Complexity · Computer Science 2014-06-13 Peter Jonsson , Victor Lagerkvist , Johannes Schmidt , Hannes Uppman

Following recent advances in combining approximation algorithms with fixed-parameter tractability (FPT), we study FPT-time approximation algorithms for minimum-norm $k$-clustering problems, parameterized by the number $k$ of open…

Data Structures and Algorithms · Computer Science 2026-05-07 Han Dai , Shi Li , Sijin Peng

In this paper, we develop new tools and connections for exponential time approximation. In this setting, we are given a problem instance and a parameter $\alpha>1$, and the goal is to design an $\alpha$-approximation algorithm with the…

Data Structures and Algorithms · Computer Science 2017-08-14 Nikhil Bansal , Parinya Chalermsook , Bundit Laekhanukit , Danupon Nanongkai , Jesper Nederlof

We present a simple randomized algorithm that approximates the number of satisfying assignments of Boolean formulas in conjunctive normal form. To the best of our knowledge this is the first algorithm which approximates #k-SAT for any k >=…

Data Structures and Algorithms · Computer Science 2011-07-12 Marc Thurley

The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy…

Data Structures and Algorithms · Computer Science 2015-03-19 Matt Groff

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