Skip to main content

2024 | OriginalPaper | Buchkapitel

A Tight Threshold Bound for Search Trees with 2-Way Comparisons

verfasst von : Sunny Atalig, Marek Chrobak

Erschienen in: Theory and Applications of Models of Computation

Verlag: Springer Nature Singapore

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We study search trees with 2-way comparisons (2wcst ’s), which involve separate less-than and equal-to tests in their nodes, each test having two possible outcomes, yes and no. These trees have a much subtler structure than standard search trees with 3-way comparisons (3wcst ’s) and are still not well understood, hampering progress towards designing an efficient algorithm for computing minimum-cost trees. One question that attracted attention in the past is whether there is an easy way to determine which type of comparison should be applied at any step of the search. Anderson, Kannan, Karloff and Ladner studied this in terms of the ratio between the maximum and total key weight, and defined two threshold values: \(\lambda ^-\) is the largest ratio that forces the less-than test, and \(\lambda ^+\) is the smallest ratio that forces the equal-to test. They determined that \(\lambda ^-= \tfrac{1}{4}\), but for the higher threshold they only showed that \(\lambda ^+\in [\tfrac{3}{7},\tfrac{4}{9}]\). We give the tight bound for the higher threshold, by proving that in fact \(\lambda ^+= \tfrac{3}{7}\).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Here we assume the scenario when the query is in \(\mathcal {K} \), often called the successful-query model. If arbitrary queries are allowed, the tree also needs to have leaves representing inter-key intervals. Algorithms for the successful-query model typically extend naturally to this general mode without increasing their running time.
 
2
There is of course vast amount of research on the dynamic case, when the goal is to have the tree to adapt to the input sequence, but it is not relevant to this paper.
 
3
Anderson et al.  [1] reference an earlier \(O(n^5)\)-time algorithm by Spuler [8, 9]. However, as shown in [5], Spuler’s proof is not correct.
 
4
In [1] the notation for the threshold values \(\lambda ^-\) and \(\lambda ^+\) was, respectively, \(\lambda \) and \(\mu \). We changed the notation to make it more intuitive and consistent with [2].
 
Literatur
1.
Zurück zum Zitat Anderson, R., Kannan, S., Karloff, H., Ladner, R.E.: Thresholds and optimal binary comparison search trees. J. Algorithms 44, 338–358 (2002)MathSciNetCrossRef Anderson, R., Kannan, S., Karloff, H., Ladner, R.E.: Thresholds and optimal binary comparison search trees. J. Algorithms 44, 338–358 (2002)MathSciNetCrossRef
2.
Zurück zum Zitat Atalig, S., Chrobak, M., Mousavian, E., Sgall, J., Vesely, P.: Structural properties of search trees with 2-way comparisons. CoRR, abs/2311.02224 (2023) Atalig, S., Chrobak, M., Mousavian, E., Sgall, J., Vesely, P.: Structural properties of search trees with 2-way comparisons. CoRR, abs/2311.02224 (2023)
3.
Zurück zum Zitat Bein, W., Golin, M.J., Larmore, L.L., Zhang, Y.: The Knuth-Yao quadrangle-inequality speedup is a consequence of total monotonicity. ACM Trans. Algorithms 6(1), 1–17 (2009)MathSciNetCrossRef Bein, W., Golin, M.J., Larmore, L.L., Zhang, Y.: The Knuth-Yao quadrangle-inequality speedup is a consequence of total monotonicity. ACM Trans. Algorithms 6(1), 1–17 (2009)MathSciNetCrossRef
4.
Zurück zum Zitat Chrobak, M., Golin, M., Munro, J.I., Young, N.E.: A simple algorithm for optimal search trees with two-way comparisons. ACM Trans. Algorithms 18(1), 1–11 (2021)MathSciNetCrossRef Chrobak, M., Golin, M., Munro, J.I., Young, N.E.: A simple algorithm for optimal search trees with two-way comparisons. ACM Trans. Algorithms 18(1), 1–11 (2021)MathSciNetCrossRef
5.
Zurück zum Zitat Chrobak, M., Golin, M., Munro, J.I., Young, N.E.: On Huang and Wong’s algorithm for generalized binary split trees. Acta Informatica 59(6), 687–708 (2022)MathSciNetCrossRef Chrobak, M., Golin, M., Munro, J.I., Young, N.E.: On Huang and Wong’s algorithm for generalized binary split trees. Acta Informatica 59(6), 687–708 (2022)MathSciNetCrossRef
6.
Zurück zum Zitat Knuth, D.E.: Optimum binary search trees. Acta Informatica 1, 14–25 (1971)CrossRef Knuth, D.E.: Optimum binary search trees. Acta Informatica 1, 14–25 (1971)CrossRef
7.
Zurück zum Zitat Knuth, D.E.: The Art of Computer Programming, Volume 3: Sorting and Searching, 2nd edn. Addison-Wesley Publishing Company, Redwood City (1998) Knuth, D.E.: The Art of Computer Programming, Volume 3: Sorting and Searching, 2nd edn. Addison-Wesley Publishing Company, Redwood City (1998)
8.
Zurück zum Zitat Spuler, D.: Optimal search trees using two-way key comparisons. Acta Informatica 31(8), 729–740 (1994)CrossRef Spuler, D.: Optimal search trees using two-way key comparisons. Acta Informatica 31(8), 729–740 (1994)CrossRef
9.
Zurück zum Zitat Spuler, D.A.: Optimal search trees using two-way key comparisons. PhD thesis, James Cook University (994) Spuler, D.A.: Optimal search trees using two-way key comparisons. PhD thesis, James Cook University (994)
10.
Zurück zum Zitat Yao, F.F.: Efficient dynamic programming using quadrangle inequalities. In: Miller, R.E., Ginsburg, S., Burkhard, W.A., Lipton, R.J. (eds.) Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 28–30 April 1980, Los Angeles, California, USA, pp. 429–435. ACM (1980) Yao, F.F.: Efficient dynamic programming using quadrangle inequalities. In: Miller, R.E., Ginsburg, S., Burkhard, W.A., Lipton, R.J. (eds.) Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 28–30 April 1980, Los Angeles, California, USA, pp. 429–435. ACM (1980)
Metadaten
Titel
A Tight Threshold Bound for Search Trees with 2-Way Comparisons
verfasst von
Sunny Atalig
Marek Chrobak
Copyright-Jahr
2024
Verlag
Springer Nature Singapore
DOI
https://doi.org/10.1007/978-981-97-2340-9_9

Premium Partner