×
维克托·勒科姆;欧姆里·温斯坦

解决动态最优性的Wilber界之间的关系。 （英语） Zbl 07651207号

Grandoni，Fabrizio（编辑）等人，第28届欧洲算法年会。欧空局2020，2020年9月7日至9日，意大利比萨，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173，第68条，第21页（2020年）。
总结：R.威尔伯[SIAM J.Compute.18，No.1，56-67（1989；Zbl 0674.68014号)]针对给定的访问序列（X in[n]^m），提出了任意二叉搜索树（BST）的运算代价的两个组合下界。这两个边界在不断追求动态最优性猜想中起着核心作用[D.D.滑雪者和R.E.Tarjan先生，J.协会计算。机器。32, 652–686 (1985;Zbl 0631.68060号)]但三十多年来，他们的关系一直不为人知。我们证明了Wilber的漏斗界支配着所有（X）的Alternation界，并对某些（X）给出了紧（Theta（lg\lgn））分离，回答了Wilber's猜想和Iacono，Demaine等人提出的一个开放问题。[？？？]证明的主要成分是Wilber's漏斗界的一个新的对称特征，证明了它在\（X\）的旋转下是不变的。我们使用此特征来提供漏斗边界与独立矩形边界匹配的初始指示[E.D.德曼等，摘自：第20届ACM-SIAM离散算法年度研讨会论文集，SODA 2009，纽约，美国纽约州，2009年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。496–505 (2009;Zbl 1409.68305号)]通过证明当漏斗边界为常数时，IRB（_\box斜线）是线性的。据我们所知，我们的结果为威尔伯关于漏斗边界是动态最优的猜想提供了第一个进展（1986年）。
关于整个系列，请参见[Zbl 1445.68017号].

MSC公司：

68瓦xx 计算机科学中的算法

关键词：

数据结构;二进制搜索树;动态最优性;下限

引文：

Zbl 0674.68014号;Zbl 0631.68060号;Zbl 1409.68305号
PDF格式BibTeX公司 XML格式引用
\textit{V.Lecomte}和\textit{O.Weinstein}，LIPIcs——莱布尼茨国际程序。通知。173，第68条，第21页（2020；Zbl 07651207）
全文： 内政部 arXiv公司

参考文献：

[1] 布莱恩·艾伦和伊恩·蒙罗。自组织二进制搜索树。J.ACM，25（4）：526-5351978年10月。doi:10.1145/322092.32204·Zbl 0388.68060号 ·数字对象标识代码：10.1145/322092.322094
[2] Prosenjit Bose、Karim Douíeb、Vida Dujmovic和Rolf Fagerberg。具有最佳最坏情况访问时间的O（log log n）竞争二进制搜索树。2010年6月21日至23日，挪威卑尔根，第十二届斯堪的纳维亚算法理论研讨会和算法理论研讨会，算法理论-SWAT 2010。会议记录，第38-49页，2010年。doi:10.1007/978-3642-13731-05·Zbl 1285.68041号 ·doi:10.1007/978-3642-13731-05
[3] Parinya Chalermsook、Julia Chuzhoy和Thatchaphol Saranurak。确定二进制搜索树的强wilber 1界限。CoRR，abs/1912.029002019年。arXiv:1912.02900。
[4] 帕里尼亚·查勒姆索克（Parinya Chalermsook）、马扬克·戈斯瓦米（Mayank Goswami）、拉兹洛·科兹马（LászlóKozma）、库尔特·梅霍恩（Kurt Mehlhorn）和撒拉努拉克（Thatchaphol Saranurak）。模式-在二进制搜索树中避免访问。在Venkatesan Guruswami，编辑，IEEE第56届计算机科学基础年度研讨会，FOCS 2015，美国加利福尼亚州伯克利，2015年10月17日至20日，第410-423页。IEEE计算机学会，2015年。doi:10.1109/FOCS.2015.32·doi:10.1009/FOCS.2015.32
[5] 埃里克·D·德曼（Erik D.Demaine）、迪翁·哈蒙（Dion Harmon）、约翰·伊阿科诺（John Iacono）、丹尼尔·凯恩（Daniel M.Kane）和米哈伊·帕特拉斯库（Mihai Patrascu）。二叉搜索树的几何结构。《第二十届ACM-SIAM离散算法年度研讨会论文集》，SODA 2009，纽约，纽约，美国，2009年1月4-6日，第496-505页，2009年。网址：http://dl.acm.org/citation.cfm？id=1496770.1496825。 ·Zbl 1409.68305号
[6] 埃里克·D·德曼（Erik D.Demaine）、迪翁·哈蒙（Dion Harmon）、约翰·伊阿科诺（John Iacono）和米哈伊·帕特拉斯库（Mihai Patrascu）。动态优化-几乎。SIAM J.计算。，37(1):240-251, 2007. doi:10.1137/S0097539705447347·兹比尔1142.68025 ·网址：10.1137/S0097539705447347
[7] 约翰·伊阿科诺。关键依赖优化。算法，42（1）：3-102005。doi:10.1007/s00453-004-1136-8·Zbl 1065.68041号 ·doi:10.1007/s00453-004-1136-8
[8] 约翰·伊阿科诺。在追求动态最优性猜想的过程中。《空间效率数据结构、流和算法——纪念J.Ian Munro 66岁生日的论文》，第236-250页，2013年。doi:10.1007/978-3642-40273-916·Zbl 1395.68101号 ·doi:10.1007/978-3-642-40273-916
[9] LászlóKozma和Thatchaphol Saranurak。平滑的堆和自调整数据结构的双重视图。2018年6月25日至29日，美国加利福尼亚州洛杉矶市，STOC 2018，第50届ACM SIGACT计算机理论年会会议记录，第801-814页。doi:10.1145/3188745.3188864·Zbl 1428.68131号 ·doi:10.1145/3188745.3188864
[10] 维克托·勒科姆（Victor Lecomte）和奥姆里·温斯坦（Omri Weinstein）。解决动态最优性的wilber界之间的关系。CoRR，abs/1912.028582019年。arXiv:1912.02858。
[11] Caleb C.Levy和Robert E.Tarjan。从散索到动态优化的新路径。Timothy M.Chan，编辑，《第三十届ACM-SIAM离散算法年度研讨会论文集》，2019年SODA，美国加利福尼亚州圣地亚哥，2019月6日至9日，第1311-1330页。SIAM，2019年。doi:10.137/1.9781611975482.80·Zbl 1431.68023号 ·doi:10.1137/1.9781611975482.80
[12] 琼·玛丽·卢卡斯。竞争二进制搜索树算法的规范形式。罗格斯大学计算机科学系，计算机科学研究实验室，1988年。
[13] J.伊恩·蒙罗。关于线性搜索的竞争力。2000年9月5日至8日，德国萨尔布吕肯，第八届欧洲年会，算法-ESA 2000编辑迈克·帕特森，《计算机科学讲稿》第1879卷，第338-345页。斯普林格，2000年。doi:10.1007/3-540-45253-231·兹伯利0974.68536 ·doi:10.1007/3-540-45253-231
[14] Daniel Dominic Sleator和Robert Endre Tarjan。自我调整的二进制搜索树。J.ACM，32（3）：652-6861985年7月。doi:10.1145/3828.3835·Zbl 0631.68060号 ·数字对象标识代码：10.1145/3828.3835
[15] Chengwen Chris Wang、Jonathan Derryberry和Daniel Dominic Sleator。O（log-log-n）-竞争动态二叉搜索树。《第十七届ACM-SIAM离散算法年度研讨会论文集》，SODA'06，第374-383页，美国宾夕法尼亚州费城，2006年。工业和应用数学学会。网址：http://dl.acm.org/citation.cfm？id=1109557.1109600·Zbl 1192.68206号
[16] R.威尔伯。使用旋转访问二进制搜索树的下限。SIAM J.计算。，18（1）:56-671989年2月。doi:10.1137/0218004·Zbl 0674.68014号 ·数字对象标识代码：10.1137/0218004
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。