• Cite Icon16
  • https://doi.org/10.1017/s0956796811000104Copy DOI Icon

Balancing weight-balanced trees

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Abstract A weight-balanced tree (WBT) is a binary search tree, whose balance is based on the sizes of the subtrees in each node. Although purely functional implementations on a variant WBT algorithm are widely used in functional programming languages, many existing implementations do not maintain balance after deletion in some cases. The difficulty lies in choosing a valid pair of rotation parameters: one for standard balance and the other for choosing single or double rotation. This paper identifies the exact valid range of the rotation parameters for insertion and deletion in the original WBT algorithm where one and only one integer solution exists. Soundness of the range is proved using a proof assistant Coq. Completeness is proved using effective algorithms generating counterexample trees. For two specific parameter pairs, we also proved in Coq that set operations also maintain balance. Since the difference between the original WBT and the variant WBT is small, it is easy to change the existing buggy implementations based on the variant WBT to the certified original WBT with a rational solution.

Similar Papers
  • Conference Article
  • Citations2

Balancing methods for binary search trees

  • Jan 01, 1978
  • James Michael Cannady
  • Research Article
  • Citations72

On the average number of rebalancing operations in weight-balanced trees

  • Jul 01, 1980
  • Theoretical Computer Science
  • Norbert Blum +1
  • Book Chapter
  • Citations10

Efficient Construction of Near-Optimal Binary and Multiway Search Trees

  • Jan 01, 2009
  • Prosenjit Bose +1
  • Conference Article
  • Citations62

Just Join for Parallel Ordered Sets

  • Jul 11, 2016
  • Guy E Blelloch +2
  • Conference Article
  • Citations12

Deletion without Rebalancing in Non-Blocking Binary Search Trees

  • Jan 01, 2017
  • DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
  • Meng He +1
  • Conference Article
  • Citations3

Multi-Finger Binary Search Trees

  • Jan 01, 2019
  • DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
  • Parinya Chalermsook +4
  • Conference Article
  • Citations3

Creating a Forest of Binary Search Trees for a Multiprocessor System

  • Sep 13, 2006
  • Suri Pushpa +2
  • PDF
  • Research Article
  • Citations6

A Fast Framework for Abrupt Change Detection Based on Binary Search Trees and Kolmogorov Statistic.

  • Jan 01, 2016
  • Computational intelligence and neuroscience
  • Jin-Peng Qi +2
  • Conference Article

Improving efficacy of concurrent internal binary search trees using local recovery

  • Jan 04, 2019
  • Arunmoezhi Ramachandran +1
  • Research Article

Postorder trees and Eulerian numbers

  • Jul 01, 1991
  • Acta Informatica
  • Thomas P Whaley
  • Book Chapter
  • Citations1

Introduction to Binary Trees

  • Dec 31, 2013
  • Noel Kalicharan
  • Conference Article
  • Citations2

Kakkot Tree — A Binary Search Tree with caching

  • Dec 01, 2012
  • Rajesh Ramachandran
  • Conference Article
  • Citations1

A fast method for change point detection from large-scale time series based on Haar Wavelet and Binary Search Tree (HWBST)

  • Jul 01, 2014
  • Jin-Peng Qi +3
  • Research Article
  • Citations1

An efficient compression scheme for data communication which uses a new family of self‐organizing binary search trees

  • Jun 04, 2008
  • International Journal of Communication Systems
  • Luis Rueda +1
  • Book Chapter
  • Citations6

On a sublinear time parallel construction of optimal binary search trees

  • Jan 01, 1994
  • Marek Karpinski +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.