English
Related papers

Related papers: Dynamic and Multi-functional Labeling Schemes

200 papers

In the online labeling problem with parameters n and m we are presented with a sequence of n keys from a totally ordered universe U and must assign each arriving key a label from the label set {1,2,...,m} so that the order of labels…

Data Structures and Algorithms · Computer Science 2012-10-12 Martin Babka , Jan Bulánek , Vladimír Čunát , Michal Koucký , Michael Saks

We present proof labeling schemes for graphs with bounded pathwidth that can decide any graph property expressible in monadic second-order (MSO) logic using $O(\log n)$-bit vertex labels. Examples of such properties include planarity,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-04 Dan Alden Baterisna , Yi-Jun Chang

Motivated by the problem of maintaining data structures for a large sets of points that are evolving over the course of time, we consider the problem of maintaining a set of labels assigned to the vertices of a tree, where the locations of…

Data Structures and Algorithms · Computer Science 2022-08-24 Aditya Acharya , David M. Mount

A routing labeling scheme assigns a binary string, called a label, to each node in a network, and chooses a distinct port number from $\{1,\ldots,d\}$ for every edge outgoing from a node of degree $d$. Then, given the labels of $u$ and $w$…

Data Structures and Algorithms · Computer Science 2020-03-17 Paweł Gawrychowski , Wojciech Janczewski , Jakub Łopuszański

We present $O(\log\log n)$ round scalable Massively Parallel Computation algorithms for maximal independent set and maximal matching, in trees and more generally graphs of bounded arboricity, as well as for constant coloring trees.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-11 Mohsen Ghaffari , Christoph Grunau , Ce Jin

It was recently found that there are very close connections between the existence of additive spanners (subgraphs where all distances are preserved up to an additive stretch), distance preservers (subgraphs in which demand pairs have their…

Data Structures and Algorithms · Computer Science 2016-07-21 Eden Chlamtáč , Michael Dinitz , Guy Kortsarz , Bundit Laekhanukit

A graph class admits an implicit representation if, for every positive integer $n$, its $n$-vertex graphs have a $O(\log n)$-bit (adjacency) labeling scheme, i.e., their vertices can be labeled by binary strings of length $O(\log n)$ such…

Combinatorics · Mathematics 2024-09-10 Édouard Bonnet , Julien Duron , John Sylvester , Viktor Zamaraev

The online list labeling problem is an algorithmic primitive with a large literature of upper bounds, lower bounds, and applications. The goal is to store a dynamically-changing set of $n$ items in an array of $m$ slots, while maintaining…

Data Structures and Algorithms · Computer Science 2022-09-13 Michael A. Bender , Alex Conway , Martín Farach-Colton , Hanna Komlós , William Kuszmaul , Nicole Wein

Codes over trees were introduced recently to bridge graph theory and coding theory with diverse applications in computer science and beyond. A central challenge lies in determining the maximum number of labelled trees over $n$ nodes with…

Combinatorics · Mathematics 2025-04-10 Yanzhi Li , Wenjie Zhong , Tingting Chen , Xiande Zhang

Dynamic tree data structures maintain a forest while supporting insertion and deletion of edges and a broad set of queries in $O(\log n)$ time per operation. Such data structures are at the core of many modern algorithms. Recent work has…

Data Structures and Algorithms · Computer Science 2025-06-23 Humza Ikram , Andrew Brady , Daniel Anderson , Guy Blelloch

There are distributed graph algorithms for finding maximal matchings and maximal independent sets in $O(\Delta + \log^* n)$ communication rounds; here $n$ is the number of nodes and $\Delta$ is the maximum degree. The lower bound by Linial…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-13 Alkida Balliu , Sebastian Brandt , Juho Hirvonen , Dennis Olivetti , Mikaël Rabie , Jukka Suomela

Labeling schemes are a prevalent paradigm in various computing settings. In such schemes, an oracle is given an input graph and produces a label for each of its nodes, enabling the labels to be used for various tasks. Fundamental examples…

Data Structures and Algorithms · Computer Science 2024-12-03 Keren Censor-Hillel , Einav Huberman

We present a deterministic algorithm for solving a wide range of dynamic programming problems in trees in $O(\log D)$ rounds in the massively parallel computation model (MPC), with $O(n^\delta)$ words of local memory per machine, for any…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-08 Chetan Gupta , Rustam Latypov , Yannic Maus , Shreyas Pai , Simo Särkkä , Jan Studený , Jukka Suomela , Jara Uitto , Hossein Vahidi

Proof-labeling schemes are known mechanisms providing nodes of networks with certificates that can be verified locally by distributed algorithms. Given a boolean predicate on network states, such schemes enable to check whether the…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-26 Laurent Feuilloley , Pierre Fraigniaud

Multi-label (ML) classification is an actively researched topic currently, which deals with convoluted and overlapping boundaries that arise due to several labels being active for a particular data instance. We propose a classifier capable…

Machine Learning · Computer Science 2021-07-22 Anwesha Law , Ashish Ghosh

An adjacency labeling scheme is a method that assigns labels to the vertices of a graph such that adjacency between vertices can be inferred directly from the assigned label, without using a centralized data structure. We devise adjacency…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-16 Casper Petersen , Noy Rotbart , Jakob Grue Simonsen , Christian Wulff-Nilsen

In this paper, we propose to study a general notion of a down-up Markov chain for multifurcating trees with n labelled leaves. We study in detail down-up chains associated with the $(\alpha, \gamma)$-model of Chen et al. (2009),…

Probability · Mathematics 2020-09-23 Frederik Sørensen

We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such representations can be computed in O(n) time and updated in O(log(n)) time. The framework is of potential…

Logic in Computer Science · Computer Science 2025-10-08 Sarah Kleest-Meißner , Jonas Marasus , Matthias Niewerth

The list-labeling problem captures the basic task of storing a dynamically changing set of up to $n$ elements in sorted order in an array of size $m = (1 + \Theta(1))n$. The goal is to support insertions and deletions while moving around…

Data Structures and Algorithms · Computer Science 2024-05-03 Michael A. Bender , Alex Conway , Martín Farach-Colton , Hanna Komlós , Michal Koucký , William Kuszmaul , Michael Saks

We show that a large fraction of the data-structure lower bounds known today in fact follow by reduction from the communication complexity of lopsided (asymmetric) set disjointness. This includes lower bounds for: * high-dimensional…

Data Structures and Algorithms · Computer Science 2010-10-20 Mihai Patrascu