×

就地可初始化数组。 (英语) Zbl 07533871号

摘要:可初始化数组是支持任何元素的读写操作和整个数组初始化的数组。本文提出了一种简单的就地算法,用于在字RAM模型上实现一个长度为N的可初始化数组,该数组包含0(w)个位中的位条目,字长为N(w),即该数组只需要在包含位条目的长度为N(N)的普通数组上额外增加1个位。我们的算法支持在恒定的最坏情况时间内执行所有三种操作,也就是说,它在每次操作期间使用最多恒定数量的字(O(w))位就地运行。时间和空间复杂性是最佳的,因为已经证明,在恒定的最坏情况时间内,不存在没有额外比特支持所有操作的可初始化数组的实现(Hagerup和Kammer,2017年[12])。我们的算法大大改进了早期研究中提出的最佳算法(Navarro,2014[5]),该算法使用\(N+o(N)\)额外比特来支持恒定最坏情况下的所有操作。

MSC公司:

68季度xx 计算理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aho,A.V。;霍普克罗夫特,J.E。;Ullman,J.D.,《计算机算法的设计与分析》(1974),Addison Wesley·Zbl 0326.68005号
[2] Mehlhorn,K.,《数据结构和算法1:排序和搜索》,EATCS理论计算机科学专著,第1卷(1984),Springer·Zbl 0556.68001号
[3] Bentley,J.L.,《编程珍珠》(1986),Addison-Wesley
[4] G.Navarro,小空间中的常数时间数组初始化,手稿,2012,网址:http://www.dcc.uchile.cl/gnavarro/ps/scc12.pdf。
[5] Navarro,G.,《空间、树和颜色:基于序列的文档检索算法景观》,ACM Compute。调查。,46,4,第52条pp.(2014)·Zbl 1305.68078号
[6] Fredriksson,K。;Kilpeläinen,P.,《实际高效的阵列初始化》,Softw。实际。有效期:46、4、435-467(2016年)
[7] Minato,S.,用于组合问题中集合操作的零抑制bdds,(第30届设计自动化会议论文集(1993)),272-277
[8] Sasao,T。;Butler,J.T.,《零抑制决策图的应用》,《数字电路与系统综合讲座》(2014),Morgan&Claypool出版社
[9] Minato,S.,《枚举的力量——基于bdd/zdd的离散结构操纵技术的最新主题》,IEICE Trans。,100-D,81556-1562(2017)
[10] Knuth,D.E.,Simpath(2008)
[11] Knuth,D.E.,《计算机编程的艺术:比特技巧与技术》;二进制决策图(2009),Addison-Wesley
[12] Hagerup,T。;Kammer,F.,《更小空间中的空中阵列初始化》,(第28届国际算法与计算研讨会论文集(ISAAC 2017)(2017)),第44条,pp·Zbl 1457.68074号
[13] 龙,J.T.P。;Nelson,J。;Yu,H.,具有恒定时间操作和单个冗余位的可填充阵列(2017),CoRR
[14] Kammer,F。;Sajenko,A.,简洁数据结构和动态可初始化数组初始化期间的额外空间,(第43届计算机科学数学基础国际研讨会论文集(MFCS 2018)。第43届计算机科学数学基础国际研讨会论文集(MFCS 2018),LIPIcs,第117卷(2018),Dagstuhl-Leibniz-Zentrum für Informatik),第65条pp·Zbl 1512.68071号
[15] Hagerup,T.,《具有几乎稳健迭代的恒定时间彩色选择词典》,(第44届计算机科学数学基础国际研讨会论文集(MFCS 2019)。第44届计算机科学数学基础国际研讨会论文集(MFCS 2019),LIPIcs,第138卷(2019)。
[16] Hagerup,T.,《在更少的空间中快速宽度首次搜索》,(第45届计算机科学图形理论概念国际研讨会论文集(WG 2019)。第45届计算机科学图论概念国际研讨会论文集(WG 2019),《计算机科学讲义》,第11789卷(2019年),施普林格出版社,93-105·Zbl 07173293号
[17] Hagerup,T.,《高度简洁的动态数据结构》,(第22届计算理论基础国际研讨会论文集(FCT 2019)。第22届计算理论基础国际研讨会论文集(FCT 2019),《计算机科学讲义》,第11651卷(2019年),施普林格出版社,29-45·Zbl 07160825号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。