English
Related papers

Related papers: Fine-grained Complexity Meets IP = PSPACE

200 papers

Consensus problems for strings and sequences appear in numerous application contexts, ranging from bioinformatics over data mining to machine learning. Closing some gaps in the literature, we show that several fundamental problems in this…

Discrete Mathematics · Computer Science 2019-04-12 Laurent Bulteau , Vincent Froese , Rolf Niedermeier

We initiate the study of fine-grained completeness theorems for exact and approximate optimization in the polynomial-time regime. Inspired by the first completeness results for decision problems in P (Gao, Impagliazzo, Kolokolova, Williams,…

Data Structures and Algorithms · Computer Science 2021-07-06 Karl Bringmann , Alejandro Cassis , Nick Fischer , Marvin Künnemann

This paper deals with the computational complexity of conditions which guarantee that the NP-hard problem of finding the sparsest solution to an underdetermined linear system can be solved by efficient algorithms. In the literature, several…

Optimization and Control · Mathematics 2013-11-05 Andreas M. Tillmann , Marc E. Pfetsch

Parameterized complexity enables the practical solution of generally intractable NP-hard problems when certain parameters are small, making it particularly useful in real-world applications. The study of string problems in this framework…

Quantum Physics · Physics 2025-10-20 Josh Cudby , Sergii Strelchuk

We study the computational complexity of (deterministic or randomized) algorithms based on point samples for approximating or integrating functions that can be well approximated by neural networks. Such algorithms (most prominently…

Machine Learning · Computer Science 2021-04-08 Philipp Grohs , Felix Voigtlaender

In multistage perfect matching problems we are given a sequence of graphs on the same vertex set and asked to find a sequence of perfect matchings, corresponding to the sequence of graphs, such that consecutive matchings are as similar as…

Data Structures and Algorithms · Computer Science 2021-05-11 Markus Chimani , Niklas Troost , Tilo Wiedera

The efficient sparse coding and reconstruction of signal vectors via linear observations has received a tremendous amount of attention over the last decade. In this context, the automated learning of a suitable basis or overcomplete…

Information Theory · Computer Science 2015-06-19 Andreas M. Tillmann

We study the efficient approximability of basic graph and logic problems in the literature when instances are specified hierarchically as in \cite{Le89} or are specified by 1-dimensional finite narrow periodic specifications as in…

Computational Complexity · Computer Science 2007-05-23 Madhav V. Marathe , Harry B. Hunt , Richard E. Stearns , Venkatesh Radhakrishnan

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

An instance of Max CSP is a finite collection of constraints on a set of variables, and the goal is to assign values to the variables that maximises the number of satisfied constraints. Max CSP captures many well-known problems (such as Max…

Computational Complexity · Computer Science 2007-12-11 Peter Jonsson , Andrei Krokhin , Fredrik Kuivinen

Many problems in machine learning can be solved by rounding the solution of an appropriate linear program (LP). This paper shows that we can recover solutions of comparable quality by rounding an approximate LP solution instead of the ex-…

Numerical Analysis · Computer Science 2013-11-19 Srikrishna Sridhar , Victor Bittorf , Ji Liu , Ce Zhang , Christopher Ré , Stephen J. Wright

We show a number of fine-grained hardness results for the Closest Vector Problem in the $\ell_p$ norm ($\mathrm{CVP}_p$), and its approximate and non-uniform variants. First, we show that $\mathrm{CVP}_p$ cannot be solved in…

Computational Complexity · Computer Science 2021-08-10 Divesh Aggarwal , Huck Bennett , Alexander Golovnev , Noah Stephens-Davidowitz

Approximating a definite integral of product of cosines to within an accuracy of n binary digits where the integrand depends on input integers x[k] given in binary radix, is equivalent to counting the number of equal-sum partitions of the…

Numerical Analysis · Computer Science 2016-01-06 Ohad Asor , Avishy Carmi

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

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

Combinatorial reconfiguration is a growing research field studying problems on the transformability between a pair of solutions of a search problem. We consider the approximability of optimization variants of reconfiguration problems; e.g.,…

Discrete Mathematics · Computer Science 2025-01-07 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

This paper presents an efficient parallel approximation scheme for a new class of min-max problems. The algorithm is derived from the matrix multiplicative weights update method and can be used to find near-optimal strategies for…

Quantum Physics · Physics 2015-03-17 Gus Gutoski , Xiaodi Wu

Constraint satisfaction problems (CSPs) are ubiquitous in theoretical computer science. We study the problem of StrongCSPs, i.e. instances where a large induced sub-instance has a satisfying assignment. More formally, given a CSP instance…

Data Structures and Algorithms · Computer Science 2022-05-24 Suprovat Ghoshal , Anand Louis

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