×

双向和单向量子和经典自动机,为在线最小化问题提供建议。 (英语) Zbl 07527766号

总结:我们考虑在线算法。通常,该模型是根据竞争比率进行研究的。在本文中,我们探索了双向自动机和单向自动机作为在线算法的模型。我们专注于量子和经典在线算法。我们表明,在次对数存储器(次线性大小)的情况下,即使经典自动机获得建议位,具有量子和经典状态的双向自动机也比经典双向自动机能更有效地解决一些问题。此外,我们还表明,在次对数内存(响应,次线性大小)和对数内存(对应,线性大小)的情况下,即使经典自动机获得通知位,单向量子自动机也比经典单向自动机更有效地解决了一些问题。

MSC公司:

68季度xx 计算理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 卡迪耶夫,K。;Khadieva,A.,为在线最小化问题提供建议的双向量子和经典自动机,(正式方法。FM 2019国际研讨会。正式方法。FM 2019国际研讨会,LNCS,第12233卷(2020),施普林格),428-442·Zbl 1509.68134号
[2] Boyar,J。;伊朗,S。;Larsen,K.S.,《在线算法性能度量的比较》(WADS2009年学报)。WADS2009会议录,LNCS,第5664卷(2009),Springer),119-130·Zbl 1253.68368号
[3] 多里吉夫,R。;López-Ortiz,A.,《在线算法性能度量调查》,SIGACT News,36,3,67-81(2005)
[4] 斯莱托,D.D。;Tarjan,R.E.,列表更新和分页规则的摊销效率,Commun。ACM,28,2,202-208(1985)
[5] Karlin,A.R。;马纳塞,M.S。;鲁道夫,L。;Sleator,D.D.,《竞争性嗅探缓存》,(FOCS,1986年,第27届年会(1986年),IEEE),244-254
[6] Becchetti,L。;Koutsoupias,E.,加窗流媒体中聚合最大值的竞争分析,(ICALP.ICALP,LNCS,第5555卷(2009)),156-170·Zbl 1248.68568号
[7] Giannakopoulos,Y。;Koutsopias,E.,维护流中频繁项目的竞争分析,Theor。计算。科学。,562, 23-32 (2015) ·Zbl 1303.68159号
[8] Boyar,J。;Larsen,K.S。;国际期刊发现,在线流媒体在各种性能指标下的频繁项目问题。计算。科学。,26, 4, 413-439 (2015) ·Zbl 1337.68297号
[9] 卡迪耶夫,K。;Khadieva,A。;Mannapov,I.,《关于空间和建议复杂性的量子在线算法》,Lobachevskii J.Math。,39, 9, 1210-1220 (2018) ·Zbl 1431.68039号
[10] 卡迪耶夫,K。;Khadieva,A。;克拉夫琴科,D。;Rivosh,A。;雅米洛夫,R。;Mannapov,I.,《内存对数大小的量子与经典在线流媒体算法》,Lobachevskii J.Math。(2019),出版中
[11] Khadiev,K。;Khadieva,A.,《在线最小化问题的量子自动机》,(第九届NCMA 2017年短篇论文研讨会(2017年),计算机研究所:计算机研究所),25-33
[12] Ablayev,F。;Ablayev,M。;卡迪耶夫,K。;Vasiliev,A.,限制内存的经典和量子计算,(LNCS,第11011卷(2018)),129-155·Zbl 1514.68073号
[13] 卡迪耶夫,K。;Khadieva,A.,在线不相交问题的量子和经典对数边界自动机,数学,10,1(2022)
[14] Yuan,Q.,量子在线算法(2009),加州大学圣巴巴拉分校,博士论文
[15] Khadiev,K.,《在线算法缓冲区模型的量子请求应答游戏》。最常见关键字问题的申请,(CEUR研讨会论文集,第2850卷(2021年)),16-27
[16] 卡迪耶夫,K。;Lin,D.,带缓冲区的请求-应答游戏模型的量子在线算法,Uč。扎普。卡桑。戈斯。州立大学。菲兹-马特·诺基,162,3,367-382(2020)
[17] Kapralov,R。;卡迪耶夫,K。;莫库特,J。;沈毅。;Yagafarov,M.,《树上在线k-server问题的快速经典和量子算法》(CEUR Workshop Proceedings,vol.3072(2022)),287-301
[18] 卡迪耶夫,K。;Khadieva,A.,《用于在线最小化问题的小内存双向量子和经典机器》(2018年微纳电子学国际会议)。2018年微纳电子学国际会议,Proc。SPIE,第11022卷(2019)),110222T
[19] Komm,D.,《在线计算导论:决定论、随机化、建议》(2016),施普林格出版社
[20] Boyar,J。;Favrholdt,L。;库达尔,C。;Larsen,K。;Mikkelsen,J.,《在线算法与建议:调查》,ACM Compute。调查。,50, 2, 19 (2017)
[21] Böckenhauer,H.-J。;科姆·D·。;Králović,R。;Králović,R。;Mömke,T.,《关于在线问题的建议复杂性》(ISAAC 2009)。ISAAC 2009,LNCS,第5878卷(2009年),331-340·Zbl 1272.68466号
[22] Emek,Y。;Fraigniaud,P。;科尔曼,A。;Rosén,A.,在线计算与建议,Theor。计算。科学。,412, 24, 2642-2656 (2011) ·Zbl 1218.68200号
[23] Emek,Y。;Fraigniaud,P。;科尔曼,A。;Rosén,A.,《在线计算与建议》(ICALP(2009),Springer),427-438·Zbl 1248.68571号
[24] Dobrev,S。;Králović,R。;Pardubská,D.,需要多少关于未来的信息?,(SOFSEM(2008),施普林格),247-258·Zbl 1132.68422号
[25] Hromkovic,J.,《随机算法的设计与分析:设计范式导论》(2005)·Zbl 1083.68146号
[26] Böckenhauer,H.-J。;霍姆科维奇,J。;科姆·D·。;Králović,R。;Rossmanith,P.,《在线计算中随机性与建议的力量》(Languages Alive(2012),Springer),第30-43页·Zbl 1367.68340号
[27] 安拜尼斯,A。;Watrous,J.,《具有量子和经典状态的双向有限自动机》,Theor。计算。科学。,287, 1, 299-311 (2002) ·Zbl 1061.68047号
[28] 索尔霍夫,M。;Sieling,D.,《量子分支程序和天界非均匀量子复杂性》,Theor。计算。科学。,334, 1, 177-225 (2005) ·Zbl 1080.68029号
[29] Ablayev,F。;Khasianov,A。;Vasiliev,A.,《计算类等式布尔函数的量子分支程序的复杂性》(2010),ECCC
[30] Ambainis,A。;雅卡里·马兹,A.,《承诺问题精确量子自动机的优越性》,《信息处理》。莱特。,112, 7, 289-291 (2012) ·Zbl 1237.68082号
[31] Ablayev,F。;Gainutdinova,A。;卡迪耶夫,K。;Yakaryñlmaz,A.,《非常窄的量子OBDD和经典OBDD的宽度层次》,(DCFS.DCFS,LNCS,第8614卷(2014年),Springer),53-64·Zbl 1407.68158号
[32] 加文斯基博士。;Kempe,J。;克雷尼迪斯,I。;Raz,R。;de Wolf,R.,单向量子通信复杂性的指数分离,及其在密码学中的应用,(STOC’07(2007)),516-525·Zbl 1232.68051号
[33] Ablayev,F。;Gainutdinova,A。;卡宾斯基,M。;摩尔,C。;Pollett,C.,关于概率和量子分支程序的计算能力,Inf.Comput。,203, 2, 145-162 (2005) ·Zbl 1105.68037号
[34] Gainutdinova,A.,总函数和部分函数的量子和经典OBDD的比较复杂性,俄罗斯数学。,59, 11, 26-35 (2015) ·Zbl 1347.68137号
[35] 卡迪耶夫,K。;Khadieva,A.,量子和经典有序二元决策图的重新排序方法和层次结构,(CSR 2017。CSR 2017,LNCS,第10304卷(2017),Springer),162-175·兹比尔1489.68061
[36] Ambainis,A。;雅卡里·勒马兹(Yakaryálmaz,A.),《自动化与量子计算》(2015),技术代表。
[37] Le Gall,F.,量子和经典在线空间复杂性的指数分离,(SPAA’06(2006),ACM),67-73
[38] Ablayev,F。;Ambainis,A。;卡迪耶夫,K。;Khadieva,A.,《量子无记忆通信协议和量子有序二进制决策图的下限和层次结构与重复测试》(SOFSEM 2018)。SOFSEM 2018,LNCS,第10706卷(2018),197-211·兹比尔1444.68074
[39] Gainutdinova,A。;Yakaryálmaz,A.,《非确定性单一OBDDs》(CSR 2017(2017),Springer),第126-140页·Zbl 1489.68060号
[40] Gainutdinova,A。;雅卡里·马兹,A.,承诺问题上的统一概率和量子自动机,量子信息处理。,17, 2, 28 (2018) ·Zbl 1402.81087号
[41] 盖努季诺娃,A。;雅卡里·马兹,A.,《关于承诺问题的统一概率和量子自动机》(语言理论发展(2015),斯普林格出版社),252-263·Zbl 1434.68250号
[42] Khadiev,K。;Khadieva,A.,《带对数存储器的量子在线流媒体算法》,国际期刊Theor。物理。,60, 608-616 (2021) ·Zbl 1491.68075号
[43] Wegener,I.,《分支程序和二进制决策图:理论和应用》(2000),SIAM·Zbl 0956.68068号
[44] 说,A.C。;雅卡里·马兹,A.,《量子有限自动机:现代介绍》(Computing with New Resources,2014),施普林格出版社,208-222·Zbl 1323.68278号
[45] 阿布拉耶夫,F。;阿布拉耶夫,M。;黄J.Z。;卡迪耶夫,K。;北卡罗来纳州Salikhova。;Wu,D.,《关于机器学习问题的量子方法第一部分:量子工具》,《大数据最小分析》。,3, 1, 41-55 (2019)
[46] Ablayev,F。;Gainutdinova,A。;卡迪耶夫,K。;Yakaryálmaz,A.,非常窄的量子OBDD和经典OBDD的宽度层次,Lobachevskii J.Math。,第37页,第6页,第670-682页(2016年)·Zbl 1407.68159号
[47] Böckenhauer,H.-J。;霍姆科维奇,J。;科姆·D·。;克鲁格,S。;Smula,J。;Sprock,A.,字符串猜测问题作为证明通知复杂性下限的方法,Theor。计算。科学。,554, 95-108 (2014) ·Zbl 1360.68908号
[48] 卡迪耶夫,K。;伊布拉希莫夫(Ibrahimov,R.)。;Yakaryálmaz,A.,《双向自动机的新尺寸层次结构》,Lobachevskii J.Math。,39, 7, 997-1009 (2018) ·Zbl 1403.68114号
[49] 德沃克,C。;Stockmeyer,L.J.,双向概率有限状态自动机的时间复杂性缺口,SIAM J.Compute。,19, 6, 1011-1123 (1990) ·Zbl 0711.68075号
[50] Ablayev,F。;Khadiev,K.,小宽度K-OBDD的层次扩展,俄罗斯数学。,53, 3, 46-50 (2013) ·兹比尔1290.68040
[51] Shepherdson,J.C.,《将双向自动机简化为单向自动机》,IBM J.Res.Dev.,3198-200(1959)·Zbl 0158.25601号
[52] Yablonsky,S.V.,《离散数学导论:高等学校教科书》(1989),Mir出版社
[53] Khadiev,K.,小宽度K-OBDD的宽度层次,Lobachevskii J.Math。,36, 2, 178-183 (2015) ·Zbl 1346.68092号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。