English
Related papers

Related papers: Additive Sparsification of CSPs

200 papers

This work presents inGRASS, a novel algorithm designed for incremental spectral sparsification of large undirected graphs. The proposed inGRASS algorithm is highly scalable and parallel-friendly, having a nearly-linear time complexity for…

Data Structures and Algorithms · Computer Science 2024-09-09 Ali Aghdaei , Zhuo Feng

We describe a simple algorithm for spectral graph sparsification, based on iterative computations of weighted spanners and uniform sampling. Leveraging the algorithms of Baswana and Sen for computing spanners, we obtain the first…

Data Structures and Algorithms · Computer Science 2014-04-21 Ioannis Koutis

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ý

We present an algorithm that on input of an $n$-vertex $m$-edge weighted graph $G$ and a value $k$, produces an {\em incremental sparsifier} $\hat{G}$ with $n-1 + m/k$ edges, such that the condition number of $G$ with $\hat{G}$ is bounded…

Data Structures and Algorithms · Computer Science 2015-03-13 Ioannis Koutis , Gary L. Miller , Richard Peng

Discrepancy theory provides powerful tools for producing higher-quality objects which "beat the union bound" in fundamental settings throughout combinatorics and computer science. However, this quality has often come at the price of more…

Data Structures and Algorithms · Computer Science 2023-05-16 Arun Jambulapati , Victor Reis , Kevin Tian

Recently, Chalermsook et al. [SODA'21(arXiv:2007.07862)] introduces a notion of vertex sparsifiers for $c$-edge connectivity, which has found applications in parameterized algorithms for network design and also led to exciting dynamic…

Data Structures and Algorithms · Computer Science 2022-07-13 Han Jiang , Shang-En Huang , Thatchaphol Saranurak , Tian Zhang

The binary Constraint Satisfaction Problem (CSP) is to decide whether there exists an assignment to a set of variables which satisfies specified constraints between pairs of variables. A binary CSP instance can be presented as a labelled…

Computational Complexity · Computer Science 2019-06-28 David A. Cohen , Martin C. Cooper , Peter G. Jeavons , Stanislav Zivny

Graph sketching is a powerful paradigm for analyzing graph structure via linear measurements introduced by Ahn, Guha, and McGregor (SODA'12) that has since found numerous applications in streaming, distributed computing, and massively…

Data Structures and Algorithms · Computer Science 2022-09-30 Sepehr Assadi , Michael Kapralov , Huacheng Yu

Regularization has become a primary tool for developing reliable estimators of the covariance matrix in high-dimensional settings. To curb the curse of dimensionality, numerous methods assume that the population covariance (or inverse…

Methodology · Statistics 2018-02-19 Jacob Bien

Graph clustering is a fundamental computational problem with a number of applications in algorithm design, machine learning, data mining, and analysis of social networks. Over the past decades, researchers have proposed a number of…

Data Structures and Algorithms · Computer Science 2017-11-06 He Sun , Luca Zanetti

We consider the problem of sparse variable selection in nonparametric additive models, with the prior knowledge of the structure among the covariates to encourage those variables within a group to be selected jointly. Previous works either…

Machine Learning · Computer Science 2012-06-22 Junming Yin , Xi Chen , Eric Xing

Image classification is a challenging problem for computer in reality. Large numbers of methods can achieve satisfying performances with sufficient labeled images. However, labeled images are still highly limited for certain image…

Computer Vision and Pattern Recognition · Computer Science 2020-11-12 Hongfeng Li

The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$…

Discrete Mathematics · Computer Science 2025-10-13 Manuel Bodirsky , Santiago Guzmán-Pro

We establish that in the large degree limit, the value of certain optimization problems on sparse random hypergraphs is determined by an appropriate Gaussian optimization problem. This approach was initiated in Dembo et. al.(2016) for…

Probability · Mathematics 2017-09-26 Subhabrata Sen

We study generalised additive models, with shape restrictions (e.g. monotonicity, convexity, concavity) imposed on each component of the additive prediction function. We show that this framework facilitates a nonparametric estimator of each…

Statistics Theory · Mathematics 2014-04-14 Yining Chen , Richard J. Samworth

The chain length of a set family $\mathcal{S} \subseteq 2^{[m]}$ is the largest ascending sequence of sets in containment order in the union-closure of $\mathcal S$. In this work, we provide a significantly simpler and more optimal…

Combinatorics · Mathematics 2026-05-05 Joshua Brakensiek , Venkatesan Guruswami , Aaron Putterman

Motivated by the problem of routing reliably and scalably in a graph, we introduce the notion of a splicer, the union of spanning trees of a graph. We prove that for any bounded-degree n-vertex graph, the union of two random spanning trees…

Discrete Mathematics · Computer Science 2008-07-10 Navin Goyal , Luis Rademacher , Santosh Vempala

Spectral algorithms, such as principal component analysis and spectral clustering, typically require careful data transformations to be effective: upon observing a matrix $A$, one may look at the spectrum of $\psi(A)$ for a properly chosen…

Data Structures and Algorithms · Computer Science 2020-10-15 Emmanuel Abbe , Enric Boix , Peter Ralli , Colin Sandon

We present the first single pass algorithm for computing spectral sparsifiers of graphs in the dynamic semi-streaming model. Given a single pass over a stream containing insertions and deletions of edges to a graph G, our algorithm…

Data Structures and Algorithms · Computer Science 2015-04-17 Michael Kapralov , Yin Tat Lee , Cameron Musco , Christopher Musco , Aaron Sidford

The prototypical high-dimensional statistics problem entails finding a structured signal in noise. Many of these problems exhibit an intriguing phenomenon: the amount of data needed by all known computationally efficient algorithms far…

Computational Complexity · Computer Science 2019-11-19 Matthew Brennan , Guy Bresler , Wasim Huleihel