English
Related papers

Related papers: Simple and Efficient Fully-Functional Succinct Tre…

200 papers

Most of the attention in statistical compression is given to the space used by the compressed sequence, a problem completely solved with optimal prefix codes. However, in many applications, the storage space used to represent the prefix…

Data Structures and Algorithms · Computer Science 2015-06-30 Travis Gagie , Gonzalo Navarro , Yakov Nekrich , Alberto Ordóñez

A dynamic forest data structure maintains a forest (and associated data like edge weights) under edge insertions and deletions. Dynamic forests are widely used to solve online and offline graph problems. Well-known examples of dynamic…

Data Structures and Algorithms · Computer Science 2024-01-09 Benjamin Aram Berendsohn

A permutation $\pi: [n] \rightarrow [n]$ is a Baxter permutation if and only if it does not contain either of the patterns $2-41-3$ and $3-14-2$. Baxter permutations are one of the most widely studied subclasses of general permutation due…

Data Structures and Algorithms · Computer Science 2024-09-26 Sankardeep Chakraborty , Seungbum Jo , Geunho Kim , Kunihiko Sadakane

We consider a classical k-center problem in trees. Let T be a tree of n vertices and every vertex has a nonnegative weight. The problem is to find k centers on the edges of T such that the maximum weighted distance from all vertices to…

Data Structures and Algorithms · Computer Science 2018-03-07 Haitao Wang , Jingru Zhang

We provide a new algorithm to determine stuttering equivalence with time complexity $O(m \log n)$, where $n$ is the number of states and $m$ is the number of transitions of a Kripke structure. This algorithm can also be used to determine…

Logic in Computer Science · Computer Science 2016-01-08 Jan Friso Groote , Anton Wijs

We show an asymptotic 2/3-competitive strategy for the bin covering problem using O(b+log n) bits of advice, where b is the number of bits used to encode a rational value and n is the length of the input sequence.

Data Structures and Algorithms · Computer Science 2023-09-26 Andrej Brodnik , Bengt J. Nilsson , Gordana Vujovic

We propose a novel technique, termed compact shape trees, for computing correspondences of single-boundary 2-D shapes in O(n2) time. Together with zero or more features defined at each of n sample points on the shape's boundary, the compact…

Computer Vision and Pattern Recognition · Computer Science 2015-06-10 Abdulrahman Oladipupo Ibraheem

The Erd\H{o}s-Ginzburg-Ziv theorem states that for any sequence of $2n-1$ integers, there exists a subsequence of $n$ elements whose sum is divisible by $n$. In this article, we provide a simple, practical $O(n\log\log n)$ algorithm and a…

Combinatorics · Mathematics 2025-07-14 Yui Hin Arvin Leung

The {\em edit distance} between two ordered trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations consisting of deleting and relabeling existing nodes, as well as…

Data Structures and Algorithms · Computer Science 2010-12-01 Erik D. Demaine , Shay Mozes , Benjamin Rossman , Oren Weimann

The sorting operation is one of the most commonly used building blocks in computer programming. In machine learning, it is often used for robust statistics. However, seen as a function, it is piecewise linear and as a result includes many…

Machine Learning · Statistics 2020-07-01 Mathieu Blondel , Olivier Teboul , Quentin Berthet , Josip Djolonga

This paper presents a detailed comparison of a recently proposed algorithm for optimizing decision trees, tree alternating optimization (TAO), with other popular, established algorithms. We compare their performance on a number of…

Machine Learning · Computer Science 2020-03-23 Arman Zharmagambetov , Suryabhan Singh Hada , Miguel Á. Carreira-Perpiñán , Magzhan Gabidolla

We study the expressive power and succinctness of order-invariant sentences of first-order (FO) and monadic second-order (MSO) logic on structures of bounded tree-depth. Order- invariance is undecidable in general and, thus, one strives for…

Logic in Computer Science · Computer Science 2016-03-31 Kord Eickmeyer , Michael Elberfeld , Frederik Harwath

Dynamic trees, originally described by Sleator and Tarjan, have been studied deeply for non persistent structures providing $\mathcal{O}(\log n)$ time for update and lookup operations as shown in theory and practice by Werneck. However,…

Data Structures and Algorithms · Computer Science 2019-08-30 Juan Carlos Saenz-Carrasco

Tree embedding has been a fundamental method in algorithm design with wide applications. We focus on the efficiency of building tree embedding in various computational settings under high-dimensional Euclidean $\mathbb{R}^d$. We devise a…

Data Structures and Algorithms · Computer Science 2026-01-13 Gramoz Goranci , Shaofeng H. -C. Jiang , Peter Kiss , Qihao Kong , Yi Qian , Eva Szilagyi

A lattice is a partially-ordered set in which every pair of elements has a unique meet (greatest lower bound) and join (least upper bound). We present new data structures for lattices that are simple, efficient, and nearly optimal in terms…

Data Structures and Algorithms · Computer Science 2020-06-17 J. Ian Munro , Bryce Sandlund , Corwin Sinnamon

The tango tree is the first proven $O(\lg \lg n)$-competitive binary search tree (BST). We present the first ever experimental implementation of tango trees and compare the running time of the tango tree with the multi-splay tree and the…

Data Structures and Algorithms · Computer Science 2024-05-30 Khaleel Al-Adhami , Dev Chheda

This paper describes the most efficient way to manage operations on ranges of elements within an ordered set. The goal is to improve existing solutions, by optimizing the average-case time complexity and getting rid of heavy multiplicative…

Data Structures and Algorithms · Computer Science 2021-10-18 Alberto Boffi

In this paper we study the fundamental problem of maintaining a dynamic collection of strings under the following operations: concat - concatenates two strings, split - splits a string into two at a given position, compare - finds the…

Data Structures and Algorithms · Computer Science 2016-04-11 Paweł Gawrychowski , Adam Karczmarz , Tomasz Kociumaka , Jakub Łącki , Piotr Sankowski

We give an algorithm that computes a $(1+\epsilon)$-approximate Steiner forest in near-linear time $n \cdot 2^{(1/\epsilon)^{O(ddim^2)} (\log \log n)^2}$. This is a dramatic improvement upon the best previous result due to Chan et al., who…

Computational Geometry · Computer Science 2019-04-09 Lee-Ad Gottlieb , Yair Bartal

We present a comprehensive classical and parameterized complexity analysis of decision tree pruning operations, extending recent research on the complexity of learning small decision trees. Thereby, we offer new insights into the…

Machine Learning · Computer Science 2025-03-06 Juha Harviainen , Frank Sommer , Manuel Sorge , Stefan Szeider