<p>We define simple variants of zip trees, called <i>zip-zip trees</i>, which provide several advantages over zip trees, including overcoming a bias that favors smaller keys over larger ones. We analyze zip-zip trees theoretically and empirically, showing, e.g., that the expected depth of a node in an <i>n</i>-node zip-zip tree is at most <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(1.3863\log n-1+o(1)\)</EquationSource> </InlineEquation>, which matches the expected depth of treaps and binary search trees built by uniformly random insertions. Unlike these other data structures, however, zip-zip trees achieve their bounds using only <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(O(\log \log n)\)</EquationSource> </InlineEquation> bits of metadata per node, w.h.p., as compared to the <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Theta (\log n)\)</EquationSource> </InlineEquation> bits per node required by treaps. In addition, we describe a “just-in-time” zip-zip tree variant, which needs just an expected <i>O</i>(1) number of bits of metadata per node. Moreover, we can define zip-zip trees to be strongly history independent, whereas treaps are generally only weakly history independent. We also introduce <i>biased zip-zip trees</i>, which have an explicit bias based on key weights, so the expected depth of a key, <i>k</i>, with weight, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(w_k\)</EquationSource> </InlineEquation>, is <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(O(\log (W/w_k))\)</EquationSource> </InlineEquation>, where <i>W</i> is the weight of all keys in the weighted zip-zip tree. Finally, we show that one can easily make zip-zip trees partially persistent with only <i>O</i>(<i>n</i>) space overhead w.h.p.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Zip-zip Trees: Making Zip Trees More Balanced, Biased, Compact, or Persistent

  • Ofek Gila,
  • Michael T. Goodrich,
  • Robert E. Tarjan

摘要

We define simple variants of zip trees, called zip-zip trees, which provide several advantages over zip trees, including overcoming a bias that favors smaller keys over larger ones. We analyze zip-zip trees theoretically and empirically, showing, e.g., that the expected depth of a node in an n-node zip-zip tree is at most \(1.3863\log n-1+o(1)\) , which matches the expected depth of treaps and binary search trees built by uniformly random insertions. Unlike these other data structures, however, zip-zip trees achieve their bounds using only \(O(\log \log n)\) bits of metadata per node, w.h.p., as compared to the \(\Theta (\log n)\) bits per node required by treaps. In addition, we describe a “just-in-time” zip-zip tree variant, which needs just an expected O(1) number of bits of metadata per node. Moreover, we can define zip-zip trees to be strongly history independent, whereas treaps are generally only weakly history independent. We also introduce biased zip-zip trees, which have an explicit bias based on key weights, so the expected depth of a key, k, with weight, \(w_k\) , is \(O(\log (W/w_k))\) , where W is the weight of all keys in the weighted zip-zip tree. Finally, we show that one can easily make zip-zip trees partially persistent with only O(n) space overhead w.h.p.