Online List Labeling with Near-Logarithmic Writes

Martin P. Seybold

2024-05-08

Abstract:In the Online List Labeling problem, a set of $n \leq N$ elements from a totally ordered universe must be stored in sorted order in an array with $m=N+\lceil\varepsilon N \rceil$ slots, where $\varepsilon \in (0,1]$ is constant, while an adversary chooses elements that must be inserted and deleted from the set.

Data Structures and Algorithms

What problem does this paper attempt to address?

Nearly Optimal List Labeling

Michael A. Bender,Alex Conway,Martín Farach-Colton,Hanna Komlós,Michal Koucký,William Kuszmaul,Michael Saks

2024-05-02

Abstract: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 elements within the array as little as possible.

Data Structures and Algorithms
Online List Labeling with Predictions

Samuel McCauley,Benjamin Moseley,Aidin Niaparast,Shikha Singh

2023-06-20

Abstract:A growing line of work shows how learned predictions can be used to break through worst-case barriers to improve the running time of an algorithm. However, incorporating predictions into data structures with strong theoretical guarantees remains underdeveloped. This paper takes a step in this direction by showing that predictions can be leveraged in the fundamental online list labeling problem. In the problem, n items arrive over time and must be stored in sorted order in an array of size Theta(n). The array slot of an element is its label and the goal is to maintain sorted order while minimizing the total number of elements moved (i.e., relabeled). We design a new list labeling data structure and bound its performance in two models. In the worst-case learning-augmented model, we give guarantees in terms of the error in the predictions. Our data structure provides strong guarantees: it is optimal for any prediction error and guarantees the best-known worst-case bound even when the predictions are entirely erroneous. We also consider a stochastic error model and bound the performance in terms of the expectation and variance of the error. Finally, the theoretical results are demonstrated empirically. In particular, we show that our data structure has strong performance on real temporal data sets where predictions are constructed from elements that arrived in the past, as is typically done in a practical use case.

Data Structures and Algorithms,Machine Learning
Optimal on-line algorithms for variable-sized bin covering

Gerhard J. Woeginger,Guochuan Zhang

DOI: https://doi.org/10.1016/S0167-6377(99)00023-1

IF: 1.151

1999-01-01

Operations Research Letters

Abstract:We deal with the variable-sized bin covering problem: Given a list L of items in (0,1] and a finite collection B of feasible bin sizes, the goal is to select a set of bins with sizes in B and to cover them with the items in L such that the total size of the covered bins is maximized. In the on-line version of this problem, the items must be assigned to bins one by one without previewing future items. This note presents a complete solution to the on-line problem: For every collection B of bin sizes, we give an on-line approximation algorithm with a worst-case ratio r(B), and we prove that no on-line algorithm can perform better in the worst case. The value r(B) mainly depends on the largest gap between consecutive bin sizes.
Optimal Online-List Batch Scheduling

Jacob Jan Paulus,Deshi Ye,Guochuan Zhang

DOI: https://doi.org/10.1016/j.ipl.2009.07.006

IF: 0.851

2009-01-01

Information Processing Letters

Abstract:We consider the online-list batch scheduling problem. Jobs arrive one by one and have to be assigned upon arrival to a scheduled batch such that the makespan is minimized. Each batch can accommodate up to B jobs. We give a complete classification of the tractability of this online problem.
Bin Packing with "largest in Bottom" Constraint: Tighter Bounds and Generalizations

Gyorgy Dosa,Zsolt Tuza,Deshi Ye

DOI: https://doi.org/10.1007/s10878-011-9408-0

2011-01-01

Journal of Combinatorial Optimization

Abstract:The (online) bin packing problem with LIB constraint is stated as follows: The items arrive one by one, and must be packed into unit capacity bins, but a bigger item cannot be packed into a bin which already contains a smaller item. The number of used bins has to be minimized as usually. We show that the absolute performance bound of algorithm First Fit is not worse than 2+1/6≈2.1666 for the problem, improving the previous best upper bound 2.5. Moreover, if the item sizes do not exceed 1/d, then we improve the previous best result 2+1/d to 2+1/d(d+2), for any d≥2. (Both previously best results are due to Epstein, Nav. Res. Logist. 56(8):780–786, 2009.) Furthermore, we define a problem with the generalized LIB constraint, where some incoming items cannot be packed into the bins of some already packed items. The (in)compatibility of the incoming item with the items already packed becomes known only at the arrival of the actual item, and is given by an undirected graph (and, as usual in case of online graph problems, we can see only that part of the graph what already arrived). We show that 3 is an upper bound for this general problem if some natural transitivity constraint is satisfied.
Layered List Labeling

Michael A. Bender,Alex Conway,Martin Farach-Colton,Hanna Komlos,William Kuszmaul

2024-04-25

Abstract:The list-labeling problem is one of the most basic and well-studied algorithmic primitives in data structures, with an extensive literature spanning upper bounds, lower bounds, and data management applications. The classical algorithm for this problem, dating back to 1981, has amortized cost $O(\log^2 n)$. Subsequent work has led to improvements in three directions: \emph{low-latency} (worst-case) bounds; \emph{high-throughput} (expected) bounds; and (adaptive) bounds for \emph{important workloads}.

Data Structures and Algorithms
An Asymptotic Competitive Scheme for Online Bin Packing.

Lin Chen,Deshi Ye,Guochuan Zhang

DOI: https://doi.org/10.1016/j.tcs.2015.04.038

IF: 1.002

2015-01-01

Theoretical Computer Science

Abstract:In the online bin packing problem, a list of items with integral sizes between 1 to B arrive one by one. Each item must be irrevocably assigned into a bin of capacity B upon its arrival without any information on the subsequent items, and the goal is to minimize the number of used bins. In this paper, we deal with online bin packing from a new sight. We present an asymptotic competitive scheme, i.e., for any ϵ>0, the asymptotic competitive ratio is at most ρ⁎+ϵ, where ρ⁎ is the smallest possible asymptotic competitive ratio among all online algorithms. Apart from the technical results, the analysis to bridge the online and the off-line approaches might be of particular interests.
A Note on Online Strip Packing

Deshi Ye,Xin Han,Guochuan Zhang

DOI: https://doi.org/10.1007/s10878-007-9125-x

2008-01-01

Journal of Combinatorial Optimization

Abstract:In online strip packing we are asked to pack a list of rectangles one by one into a vertical strip of unit width, without any information about future rectangles. The goal is to minimize the total height of strip used. The best known algorithm is First Fit Shelf algorithm (Baker and Schwarz in SIAM J. Comput. 12(3):508–525, 1983), which has an absolute competitive ratio of 6.99 under the assumption that the height of each rectangle is bounded from above by one. We improve the shelf algorithm and show an absolute competitive ratio of $7/2+\sqrt{10}\approx 6.6623$ without the restriction on rectangle heights. Our algorithm also beats the best known online algorithm for parallel job scheduling.
A Novel Move-To-Front-or-Logarithmic Position (MFLP) Online List Update Algorithm

Baisakh,Rakesh Mohanty

DOI: https://doi.org/10.48550/arXiv.2010.13042

2020-10-25

Abstract:In this paper we propose a novel online deterministic list update algorithm known as Move-To-Front-or-Logarithmic Position (MFLP). Our proposed algorithm MFLP achieves a competitive ratio of 2 for larger list with respect to static optimum offline algorithm, whereas MFLP is not competitive for smaller list. We also show that MFLP is 2 competitive with respect to dynamic optimum offline algorithm. Our results open up a new direction of work towards classifying the online algorithms based on competitive and not competitive.

Data Structures and Algorithms
The List L(2, 1)-Labeling of Planar Graphs

Haiyang Zhu,Lianying Miao,Sheng Chen,Xinzhong Lu,Wenyao Song

DOI: https://doi.org/10.1016/j.disc.2018.04.025

IF: 0.961

2018-01-01

Discrete Mathematics

Abstract:Let N be the set of all positive integers. A list assignment of a graph G is a function L:V(G)⟶2N that assigns each vertex v a list L(v) for all v∈V(G). We say that G is L-(2,1)-choosable if there exists a function ϕ such that ϕ(v)∈L(v) for all v∈V(G), |ϕ(u)−ϕ(v)|≥2 if u and v are adjacent, and |ϕ(u)−ϕ(v)|≥1 if u and v are at distance 2. The list-L(2,1)-labeling number λl(G) of G is the minimum k such that for every list assignment L={L(v):|L(v)|=k,v∈V(G)}, G is L-(2,1)-choosable. We prove that if G is a planar graph with girth g≥8 and its maximum degree Δ is large enough, then λl(G)≤Δ+3. There are graphs with large enough Δ and g≥8 having λl(G)=Δ+3.
On a List Variant of the Multiplicative 1-2-3 Conjecture

Julien Bensmail,Hervé Hocquard,Dimitri Lajou,Éric Sopena

DOI: https://doi.org/10.48550/arXiv.2102.08052

2021-02-16

Abstract:The 1-2-3 Conjecture asks whether almost all graphs can be (edge-)labelled with $1,2,3$ so that no two adjacent vertices are incident to the same sum of labels. In the last decades, several aspects of this problem have been studied in literature, including more general versions and slight variations. Notable such variations include the List 1-2-3 Conjecture variant, in which edges must be assigned labels from dedicated lists of three labels, and the Multiplicative 1-2-3 Conjecture variant, in which labels~$1,2,3$ must be assigned to the edges so that adjacent vertices are incident to different products of labels. Several results obtained towards these two variants led to observe some behaviours that are distant from those of the original conjecture. In this work, we consider the list version of the Multiplicative 1-2-3 Conjecture, proposing the first study dedicated to this very problem. In particular, given any graph $G$, we wonder about the minimum~$k$ such that $G$ can be labelled as desired when its edges must be assigned labels from dedicated lists of size~$k$. Exploiting a relationship between our problem and the List 1-2-3 Conjecture, we provide upper bounds on~$k$ when $G$ belongs to particular classes of graphs. We further improve some of these bounds through dedicated arguments.

Combinatorics
Online Ordinal Problems: Optimality of Comparison-based Algorithms and their Cardinal Complexity

Nick Gravin,Enze Sun,Zhihao Gavin Tang

2023-10-12

Abstract:We consider ordinal online problems, i.e., tasks that only require pairwise comparisons between elements of the input. A classic example is the secretary problem and the game of googol, as well as its multiple combinatorial extensions such as $(J,K)$-secretary, $2$-sided game of googol, ordinal-competitive matroid secretary. A natural approach to these tasks is to use ordinal algorithms that at each step only consider relative ranking among the arrived elements, without looking at the numerical values of the input. We formally study the question of how cardinal algorithms can improve upon ordinal algorithms. We give first a universal construction of the input distribution for any ordinal online problem, such that the advantage of any cardinal algorithm over the ordinal algorithms is at most $1+\varepsilon$ for arbitrary small $\varepsilon> 0$. As an implication, previous lower bounds for the aforementioned variants of secretary problems hold not only against ordinal algorithms, but also against any online algorithm. However, the value range of the input elements in our construction is huge: $N=O\left(\frac{n^3\cdot n!\cdot n!}{\varepsilon}\right)\uparrow\uparrow(n-1)$ (tower of exponents) for an input sequence of length $n$. As a second result, we identify a class of natural ordinal problems and find cardinal algorithm with a matching advantage of $1+ \Omega \left(\frac{1}{\log^{(c)}N}\right),$ where $\log^{(c)}N=\log\ldots\log N$ with $c$ iterative logs and $c$ is an arbitrary constant. Further, we introduce the cardinal complexity for any given ordinal online task: the minimum size $N(\varepsilon)$ of different numerical values in the input such the advantage of cardinal over ordinal algorithms is at most $1+\varepsilon$. As a third result, we show that the game of googol has much lower cardinal complexity of $N=O\left(\left(\frac{n}{\varepsilon}\right)^n\right)$.

Data Structures and Algorithms
Selection and Sorting in the “Restore” Model

Timothy M. Chan,J. Ian Munro,Venkatesh Raman

DOI: https://doi.org/10.1145/3168005

IF: 1.113

2018-06-04

ACM Transactions on Algorithms

Abstract:We consider the classical selection and sorting problems in a model where the initial permutation of the input has to be restored after completing thecomputation. Such algorithms are useful for designing space-efficient algorithms, when one encounters subproblems that have to be solved by subroutines. It is important that these subroutines leave the array in its original state after they finish so that the computation can be properly resumed. Algorithms in this model can also be relevant for saving communication time, in case the data is distributed among several machines and would need to be copied to further machines for execution of the subroutine. Although the requirement of the restoration is stringent compared to the classicalversions of the problems, this model is more relaxed than a read-only memory where the input elements are not allowed to be moved within the input array. We first show that for a sequence of n integers, selection (finding the median or more generally the k -th smallest element for a given k ) can be done in O ( n ) time using O (lg n ) words 1 of extra space in this model. In contrast, no linear-time selection algorithm is known that uses polylogarithmic space in the read-only memory model. For sorting n integers in this model, we first present an O ( n lg n )-time algorithm using O (lg n ) words of extra space that outputs (in a write only tape) the given sequence in sorted order while restoring the order of the original input in the input tape. When the universe size U is polynomial in n , we give a faster O ( n )-time algorithm (analogous to radix sort) that uses O ( n ε ) words of extra space for an arbitrarily small constant ε > 0. More generally, we show how to match the time bound of any word-RAM integer sorting algorithms using O ( n ε ) words of extra space. In sharp contrast, there is an Ω ( n 2 / S )-time lower bound for integer sorting using O ( S ) bits of space in the read-only memory model. Extension of our results to arbitrary input types beyond integers is not possible: for “indivisible” input elements, we can prove the same Ω ( n 2 / S ) lower bound for sorting in our model. We also describe space-efficient algorithms to count the number of inversions in a given sequence in this model. En route, we develop linear-time in-place algorithms to extract leading bits of the input array and to compress and decompress strings with low entropy; these techniques may be of independent interest.

computer science, theory & methods,mathematics, applied
Near-Optimal Resilient Labeling Schemes

Keren Censor-Hillel,Einav Huberman

2024-12-02

Abstract: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 in distributed settings include distance labeling schemes, proof labeling schemes, advice schemes, and more. This paper addresses the question of what happens in a labeling scheme if some labels are erased, e.g., due to communication loss with the oracle or hardware errors. We adapt the notion of resilient proof-labeling schemes of Fischer, Oshman, Shamir [OPODIS 2021] and consider resiliency in general labeling schemes. A resilient labeling scheme consists of two parts -- a transformation of any given labeling to a new one, executed by the oracle, and a distributed algorithm in which the nodes can restore their original labels given the new ones, despite some label erasures. Our contribution is a resilient labeling scheme that can handle $F$ such erasures. Given a labeling of $\ell$ bits per node, it produces new labels with multiplicative and additive overheads of $O(1)$ and $O(\log(F))$, respectively. The running time of the distributed reconstruction algorithm is $O(F+(\ell\cdot F)/\log{n})$ in the \textsf{Congest} model. This improves upon what can be deduced from the work of Bick, Kol, and Oshman [SODA 2022], for non-constant values of $F$. It is not hard to show that the running time of our distributed algorithm is optimal, making our construction near-optimal, up to the additive overhead in the label size.

Data Structures and Algorithms,Distributed, Parallel, and Cluster Computing
Optimal Distance Labeling for Permutation Graphs

Paweł Gawrychowski,Wojciech Janczewski

2024-07-17

Abstract:A permutation graph is the intersection graph of a set of segments between two parallel lines. In other words, they are defined by a permutation $\pi$ on $n$ elements, such that $u$ and $v$ are adjacent if an only if $u<v$ but $\pi(u)>\pi(v)$. We consider the problem of computing the distances in such a graph in the setting of informative labeling schemes. The goal of such a scheme is to assign a short bitstring $\ell(u)$ to every vertex $u$, such that the distance between $u$ and $v$ can be computed using only $\ell(u)$ and $\ell(v)$, and no further knowledge about the whole graph (other than that it is a permutation graph). This elegantly captures the intuition that we would like our data structure to be distributed, and often leads to interesting combinatorial challenges while trying to obtain lower and upper bounds that match up to the lower-order terms. For distance labeling of permutation graphs on $n$ vertices, Katz, Katz, and Peleg [STACS 2000] showed how to construct labels consisting of $\mathcal{O}(\log^{2} n)$ bits. Later, Bazzaro and Gavoille [Discret. Math. 309(11)] obtained an asymptotically optimal bounds by showing how to construct labels consisting of $9\log{n}+\mathcal{O}(1)$ bits, and proving that $3\log{n}-\mathcal{O}(\log{\log{n}})$ bits are necessary. This however leaves a quite large gap between the known lower and upper bounds. We close this gap by showing how to construct labels consisting of $3\log{n}+\mathcal{O}(\log\log n)$ bits.

Data Structures and Algorithms
Distance Labeling: on Parallelism, Compression, and Ordering

Li Wentao,Qiao Miao,Qin Lu,Zhang Ying,Chang Lijun,Lin Xuemin

DOI: https://doi.org/10.1007/s00778-021-00694-1

2021-01-01

The VLDB Journal

Abstract:Distance labeling approaches are widely adopted to speed up the online performance of shortest-distance queries. The construction of the distance labeling, however, can be exhaustive, especially on big graphs. For a major category of large graphs, small-world networks, the state-of-the-art approach is pruned landmark labeling (PLL). PLL prunes distance labels based on a node order and directly constructs the pruned labels by performing breadth-first searches in the node order. The pruning technique, as well as the index construction, has a strong sequential nature which hinders PLL from being parallelized. It becomes an urgent issue on massive small-world networks whose index can hardly be constructed by a single thread within a reasonable time. This paper first scales distance labeling on small-world networks by proposing a parallel shortest-distance labeling (PSL) scheme. PSL insightfully converts the PLL's node-order dependency to a shortest-distance dependence, which leads to a propagation-based parallel labeling in D rounds where D denotes the diameter of the graph. To further scale up PSL, it is critical to reduce the index size. This paper proposes effective index compression techniques based on graph properties as well as label properties; it also explores best practices in using betweenness-based node order to reduce the index size. The efficient betweenness estimation of the graph nodes proposed may be of independent interest to graph practitioners. Extensive experimental results verify our efficiency on billion-scale graphs, near-linear speedup in a multi-core environment, and up to 94% reduction in the index size.
An Optimal Offline Algorithm for List Update

Srikrishnan Divakaran

DOI: https://doi.org/10.48550/arXiv.1404.7638

2014-04-30

Abstract:For the static list update problem, given an ordered list $\rho_0$ (an ordering of the list $L$ = \{ $a_a, a_2, ..., a_l$ \}), and a sequence $\sigma = (\sigma_1, \sigma_2, ..., \sigma_m)$ of requests for items in $L$, we characterize the list reorganizations in an optimal offline solution in terms of an initial permutation of the list followed by a sequence of $m$ {\em element transfers}, where an element transfer is a type of list reorganization where only the requested item can be moved. Then we make use of this characterization to design an $O(l^{2} (l-1)!m)$ time optimal offline algorithm.

Data Structures and Algorithms
Achieving DNA Labeling Capacity with Minimum Labels through Extremal de Bruijn Subgraphs

Christoph Hofmeister,Anina Gruica,Dganit Hanania,Rawad Bitar,Eitan Yaakobi

2024-01-29

Abstract:DNA labeling is a tool in molecular biology and biotechnology to visualize, detect, and study DNA at the molecular level. In this process, a DNA molecule is labeled by a set of specific patterns, referred to as labels, and is then imaged. The resulting image is modeled as an $(\ell+1)$-ary sequence, where $\ell$ is the number of labels, in which any non-zero symbol indicates the appearance of the corresponding label in the DNA molecule. The labeling capacity refers to the maximum information rate that can be achieved by the labeling process for any given set of labels. The main goal of this paper is to study the minimum number of labels of the same length required to achieve the maximum labeling capacity of 2 for DNA sequences or $\log_2q$ for an arbitrary alphabet of size $q$. The solution to this problem requires the study of path unique subgraphs of the de Bruijn graph with the largest number of edges and we provide upper and lower bounds on this value.

Information Theory
Online sorting and online TSP: randomized, stochastic, and high-dimensional

Mikkel Abrahamsen,Ioana O. Bercea,Lorenzo Beretta,Jonas Klausen,László Kozma

2024-06-27

Abstract:In the online sorting problem, $n$ items are revealed one by one and have to be placed (immediately and irrevocably) into empty cells of a size-$n$ array. The goal is to minimize the sum of absolute differences between items in consecutive cells. This natural problem was recently introduced by Aamand, Abrahamsen, Beretta, and Kleist (SODA 2023) as a tool in their study of online geometric packing problems. They showed that when the items are reals from the interval $[0,1]$ a competitive ratio of $O(\sqrt{n})$ is achievable, and no deterministic algorithm can improve this ratio asymptotically. In this paper, we extend and generalize the study of online sorting in three directions: - randomized: we settle the open question of Aamand et al. by showing that the $O(\sqrt{n})$ competitive ratio for the online sorting of reals cannot be improved even with the use of randomness; - stochastic: we consider inputs consisting of $n$ samples drawn uniformly at random from an interval, and give an algorithm with an improved competitive ratio of $\widetilde{O}(n^{1/4})$. The result reveals connections between online sorting and the design of efficient hash tables; - high-dimensional: we show that $\widetilde{O}(\sqrt{n})$-competitive online sorting is possible even for items from $\mathbb{R}^d$, for arbitrary fixed $d$, in an adversarial model. This can be viewed as an online variant of the classical TSP problem where tasks (cities to visit) are revealed one by one and the salesperson assigns each task (immediately and irrevocably) to its timeslot. Along the way, we also show a tight $O(\log{n})$-competitiveness result for uniform metrics, i.e., where items are of different types and the goal is to order them so as to minimize the number of switches between consecutive items of different types.

Data Structures and Algorithms,Computational Geometry
Online Consistency of the Nearest Neighbor Rule

Sanjoy Dasgupta,Geelon So

2024-10-31

Abstract:In the realizable online setting, a learner is tasked with making predictions for a stream of instances, where the correct answer is revealed after each prediction. A learning rule is online consistent if its mistake rate eventually vanishes. The nearest neighbor rule (Fix and Hodges, 1951) is a fundamental prediction strategy, but it is only known to be consistent under strong statistical or geometric assumptions: the instances come i.i.d. or the label classes are well-separated. We prove online consistency for all measurable functions in doubling metric spaces under the mild assumption that the instances are generated by a process that is uniformly absolutely continuous with respect to a finite, upper doubling measure.

Machine Learning

Online List Labeling with Near-Logarithmic Writes

Nearly Optimal List Labeling

Online List Labeling with Predictions

Optimal on-line algorithms for variable-sized bin covering

Optimal Online-List Batch Scheduling

Bin Packing with "largest in Bottom" Constraint: Tighter Bounds and Generalizations

Layered List Labeling

An Asymptotic Competitive Scheme for Online Bin Packing.

A Note on Online Strip Packing

A Novel Move-To-Front-or-Logarithmic Position (MFLP) Online List Update Algorithm

The List L(2, 1)-Labeling of Planar Graphs

On a List Variant of the Multiplicative 1-2-3 Conjecture

Online Ordinal Problems: Optimality of Comparison-based Algorithms and their Cardinal Complexity

Selection and Sorting in the “Restore” Model

Near-Optimal Resilient Labeling Schemes

Optimal Distance Labeling for Permutation Graphs

Distance Labeling: on Parallelism, Compression, and Ordering

An Optimal Offline Algorithm for List Update

Achieving DNA Labeling Capacity with Minimum Labels through Extremal de Bruijn Subgraphs

Online sorting and online TSP: randomized, stochastic, and high-dimensional

Online Consistency of the Nearest Neighbor Rule