English
Related papers

Related papers: Linear Discrepancy is $\Pi_2$-Hard to Approximate

200 papers

In this experimental study we consider Steiner tree approximations that guarantee a constant approximation of ratio smaller than $2$. The considered greedy algorithms and approaches based on linear programming involve the incorporation of…

Data Structures and Algorithms · Computer Science 2015-12-10 Stephan Beyer , Markus Chimani

The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function…

Analysis of PDEs · Mathematics 2020-12-30 Darya E. Apushkinskaya , Sergey I. Repin

We study a map matching problem, the task of finding in an embedded graph a path that has low distance to a given curve in R^2. The Fr\'echet distance is a common measure for this problem. Efficient methods exist to compute the best path…

Computational Geometry · Computer Science 2013-06-13 Wouter Meulemans

This paper proves the NP-completeness of the reachability problem for the class of flat counter machines with difference bounds and, more generally, octagonal relations, labeling the transitions on the loops. The proof is based on the fact…

Computational Complexity · Computer Science 2016-02-16 Marius Bozga , Radu Iosif , Filip Konecny

We consider the problem of robust matrix completion, which aims to recover a low rank matrix $L_*$ and a sparse matrix $S_*$ from incomplete observations of their sum $M=L_*+S_*\in\mathbb{R}^{m\times n}$. Algorithmically, the robust matrix…

Machine Learning · Statistics 2020-03-25 Yunfeng Cai , Ping Li

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

We consider the problem of approximating certain combinatorial polynomials. First, we consider the problem of approximating the Tutte polynomial of a binary matroid with parameters q>= 2 and gamma. (Relative to the classical (x,y)…

Computational Complexity · Computer Science 2013-08-01 Leslie Ann Goldberg , Mark Jerrum

The $L_{\infty}$ star discrepancy is a measure for the regularity of a finite set of points taken from $[0,1)^d$. Low discrepancy point sets are highly relevant for Quasi-Monte Carlo methods in numerical integration and several other…

Neural and Evolutionary Computing · Computer Science 2023-06-30 François Clément , Diederick Vermetten , Jacob de Nobel , Alexandre D. Jesus , Luís Paquete , Carola Doerr

The task of approximating points with circular arcs is performed in many applications, such as polyline compression, noise filtering, and feature recognition. However, the development of algorithms that perform a significant amount of…

Computational Geometry · Computer Science 2018-10-12 Alexander Gribov

MAP is the problem of finding a most probable instantiation of a set of variables given evidence. MAP has always been perceived to be significantly harder than the related problems of computing the probability of a variable instantiation…

Artificial Intelligence · Computer Science 2011-07-04 A. Darwiche , J. D. Park

The $\gamma_2$ norm of a real $m\times n$ matrix $A$ is the minimum number $t$ such that the column vectors of $A$ are contained in a $0$-centered ellipsoid $E\subseteq\mathbb{R}^m$ which in turn is contained in the hypercube $[-t, t]^m$.…

Combinatorics · Mathematics 2015-04-13 Jiri Matousek , Aleksandar Nikolov , Kunal Talwar

We study the computational complexity of finding a solution for the straight-cut and square-cut pizza sharing problems. We show that computing an $\varepsilon$-approximate solution is PPA-complete for both problems, while finding an exact…

Computational Complexity · Computer Science 2026-03-13 Argyrios Deligkas , John Fearnley , Themistoklis Melissourgos

In this paper we study the MAX-CUT problem on power law graphs (PLGs) with power law exponent $\beta$. We prove some new approximability results on that problem. In particular we show that there exist polynomial time approximation schemes…

Data Structures and Algorithms · Computer Science 2016-02-29 Mikael Gast , Mathias Hauptmann , Marek Karpinski

Rounding linear programs using techniques from discrepancy is a recent approach that has been very successful in certain settings. However this method also has some limitations when compared to approaches such as randomized and iterative…

Data Structures and Algorithms · Computer Science 2016-12-05 Nikhil Bansal , Viswanath Nagarajan

We study the problem of computing minimal distinguishing formulas for non-bisimilar states in finite LTSs. We show that this is NP-hard if the size of the formula must be minimal. Similarly, the existence of a short distinguishing trace is…

Logic in Computer Science · Computer Science 2023-07-12 Jan Martens , Jan Friso Groote

We give a precise mathematical formulation for the notions of a parametric patch and linear precision, and establish their elementary properties. We relate linear precision to the geometry of a particular linear projection, giving necessary…

Algebraic Geometry · Mathematics 2009-02-04 Luis Garcia-Puente , Frank Sottile

The Erd\H{o}s similarity conjecture asserted that an infinite set of real numbers cannot be affinely embedded into every measurable set of positive Lebesgue measure. The problem is still open, in particular for all fast decaying sequences.…

Classical Analysis and ODEs · Mathematics 2023-12-05 De-jun Feng , Chun-Kit Lai , Ying Xiong

The problem of approximating a dense matrix by a product of sparse factors is a fundamental problem for many signal processing and machine learning tasks. It can be decomposed into two subproblems: finding the position of the non-zero…

Computational Complexity · Computer Science 2022-11-23 Quoc-Tung Le , Elisa Riccietti , Rémi Gribonval

We consider the computational complexity of training depth-2 neural networks composed of rectified linear units (ReLUs). We show that, even for the case of a single ReLU, finding a set of weights that minimizes the squared error (even…

Computational Complexity · Computer Science 2018-10-17 Pasin Manurangsi , Daniel Reichman

In the recent literature on machine learning and decision making, calibration has emerged as a desirable and widely-studied statistical property of the outputs of binary prediction models. However, the algorithmic aspects of measuring model…

Machine Learning · Computer Science 2024-06-24 Lunjia Hu , Arun Jambulapati , Kevin Tian , Chutong Yang