English
Related papers

Related papers: Huffman-Bucket Sketch: A Simple $O(m)$ Algorithm f…

200 papers

We present a distributed-memory library for computations with dense structured matrices. A matrix is considered structured if its off-diagonal blocks can be approximated by a rank-deficient matrix with low numerical rank. Here, we use…

Mathematical Software · Computer Science 2015-06-29 François-Henry Rouet , Xiaoye S. Li , Pieter Ghysels , Artem Napov

We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for…

Logic in Computer Science · Computer Science 2023-06-22 Kshitij Bansal , Clark Barrett , Andrew Reynolds , Cesare Tinelli

A new extremely simple ensemble-based model with the uniformly generated axis-parallel hyper-rectangles as base models (HRBM) is proposed. Two types of HRBMs are studied: closed rectangles and corners. The main idea behind HRBM is to…

Machine Learning · Computer Science 2023-03-16 Andrei V. Konstantinov , Lev V. Utkin

We introduce a new concept of a subgraph class called a superbubble for analyzing assembly graphs, and propose an efficient algorithm for detecting it. Most assembly algorithms utilize assembly graphs like the de Bruijn graph or the overlap…

Data Structures and Algorithms · Computer Science 2013-08-02 Taku Onodera , Kunihiko Sadakane , Tetsuo Shibuya

We introduce Density sketches (DS): a succinct online summary of the data distribution. DS can accurately estimate point wise probability density. Interestingly, DS also provides a capability to sample unseen novel data from the underlying…

Data Structures and Algorithms · Computer Science 2021-02-25 Aditya Desai , Benjamin Coleman , Anshumali Shrivastava

Data structures that allow efficient distance estimation (distance oracles, distance sketches, etc.) have been extensively studied, and are particularly well studied in centralized models and classical distributed models such as CONGEST. We…

Data Structures and Algorithms · Computer Science 2019-09-13 Michael Dinitz , Yasamin Nazari

Data sketching has emerged as a key infrastructure for large-scale data analysis on streaming and distributed data. Merging sketches enables efficient estimation of cardinalities and frequency histograms over distributed data. However,…

Data Structures and Algorithms · Computer Science 2023-12-15 Charlie Dickens , Eric Bax

We propose a new succinct representation of labeled trees which represents a tree T using |T|H_k(T) number of bits (plus some smaller order terms), where |T|H_k(T) denotes the k-th order (tree label) entropy, as defined by Ferragina at al.…

Data Structures and Algorithms · Computer Science 2018-07-18 Michał Gańczorz

We propose a new randomized algorithm for solving L2-regularized least-squares problems based on sketching. We consider two of the most popular random embeddings, namely, Gaussian embeddings and the Subsampled Randomized Hadamard Transform…

Machine Learning · Computer Science 2020-10-26 Jonathan Lacotte , Mert Pilanci

The explosive growth of complex datasets across various modalities necessitates advanced analytical tools that not only group data effectively but also provide human-understandable insights into the discovered structures. We introduce…

Machine Learning · Computer Science 2025-09-04 Gabor Petnehazi , Bernadett Aradi

The Fibonacci heap is a classic data structure that supports deletions in logarithmic amortized time and all other heap operations in O(1) amortized time. We explore the design space of this data structure. We propose a version with the…

Data Structures and Algorithms · Computer Science 2014-07-23 Haim Kaplan , Robert E. Tarjan , Uri Zwick

Conservative Count-Min, an improved version of Count-Min sketch [Cormode, Muthukrishnan 2005], is an online-maintained hashing-based data structure summarizing element frequency information without storing elements themselves. Although…

Data Structures and Algorithms · Computer Science 2023-09-08 Éric Fusy , Gregory Kucherov

Counting small cohesive subgraphs in a graph is a fundamental operation with numerous applications in graph analysis. Previous studies on cohesive subgraph counting are mainly based on the clique model, which aim to count the number of…

Data Structures and Algorithms · Computer Science 2024-05-09 Rong-Hua Li , Xiaowei Ye , Fusheng Jin , Yu-Ping Wang , Ye Yuan , Guoren Wang

A filtration over a simplicial complex $K$ is an ordering of the simplices of $K$ such that all prefixes in the ordering are subcomplexes of $K$. Filtrations are at the core of Persistent Homology, a major tool in Topological Data Analysis.…

Computational Geometry · Computer Science 2018-02-06 Jean-Daniel Boissonnat , Karthik C. S.

Hypergraphs are a natural modeling paradigm for a wide range of complex relational systems. A standard analysis task is to identify clusters of closely related or densely interconnected nodes. Many graph algorithms for this task are based…

Social and Information Networks · Computer Science 2021-08-20 Philip S. Chodrow , Nate Veldt , Austin R. Benson

A single-commodity congestion approximator for a graph is a compact data structure that approximately predicts the edge congestion required to route any set of single-commodity flow demands in a network. A hierarchical congestion…

Data Structures and Algorithms · Computer Science 2025-12-22 Monika Henzinger , Robin Münk , Harald Räcke

Existing deep learning approaches for image super-resolution, particularly those based on CNNs and attention mechanisms, often suffer from structural inflexibility. Although graph-based methods offer greater representational adaptability,…

Computer Vision and Pattern Recognition · Computer Science 2025-10-09 Qiongyang Hu , Wenyang Liu , Wenbin Zou , Yuejiao Su , Lap-Pui Chau , Yi Wang

Motivated by recent developments in serverless systems for large-scale computation as well as improvements in scalable randomized matrix algorithms, we develop OverSketched Newton, a randomized Hessian-based optimization algorithm to solve…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-28 Vipul Gupta , Swanand Kadhe , Thomas Courtade , Michael W. Mahoney , Kannan Ramchandran

In this work we study Invertible Bloom Lookup Tables (IBLTs) with small failure probabilities. IBLTs are highly versatile data structures that have found applications in set reconciliation protocols, error-correcting codes, and even the…

Data Structures and Algorithms · Computer Science 2024-11-27 Nils Fleischhacker , Kasper Green Larsen , Maciej Obremski , Mark Simkin

The unsupervised learning of community structure, in particular the partitioning vertices into clusters or communities, is a canonical and well-studied problem in exploratory graph analysis. However, like most graph analyses the…

Machine Learning · Computer Science 2020-07-27 Benjamin W. Priest , Alec Dunton , Geoffrey Sanders