×
卡迪耶夫。

关于确定性、非确定性和概率性有序读-（k）次分支程序的层次结构。 （英语） Zbl 1409.68105号

Lobachevskii J.数学。 37，第6号，683-704（2016）.
摘要：本文研究了非确定性和确定性有序读取时间分支程序的层次结构。（k=o（n^{1/2}/\log^{3/2}n）的分支程序的确定性（k）-OBDD模型的当前已知层次由以下公式证明B.博利格等人【Theor.Compute.Sci.205，No.1-2，45-60（1998；兹比尔0913.68078)]. 他们的下限技术基于通信复杂性方法。对于非确定性OBDD，众所周知，如果（k）是常数，那么多项式大小OBDD计算的函数与多项式大小OBD相同（H.布罗森等【Inf.Process.Lett.98，No.1，6–10（2006；Zbl 1187.68247号)]). 在同一时间内，非确定性读取（k）时间的当前已知层次结构（k=o\left（{\sqrt{\logn}/\log\logn{right））的分支程序由以下公式证明E.A.Okol’nishnikova公司在[“关于非确定性分支的层次结构”，Lect.Notes Comput.Sci.1279，376–387（1997；doi:10.1007/BFb0036199)]，对于概率读取（k）次，证明了（k\leq\log n/3）的分支程序J.霍姆科维奇和M.绍尔霍夫【理论计算系统36，第2期，159-182（2003；Zbl 1039.68083号)].
我们证明，如果（k）不是常数，增加多项式大小节点确定性（k）-OBDD的（k）会使模型更强大。此外，我们扩展了（k=o（n/\log n））的概率和非确定性OBDD的层次结构。这些结果扩展了读（k）次分支程序的层次结构，但（k）-OBDD具有更规则的结构。我们提出的下限技术是由非确定性OBDD和通信复杂性技术提出的布尔函数的“函数描述”。我们提出了超多项式和次指数宽度非确定性OBDD的类似层次结构。
此外，我们使用\（k=o（n/\log n）\）的下限扩展了确定性\（k\）-OBDD的层次结构。我们还分析了超多项式和次指数宽度OBDD的类似层次结构。

引用于5文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
65年第68季度 算法和问题复杂性分析

关键词：

分支程序；二元决策图；OBDD公司；确定性和非确定性模型；等级制度；计算复杂性

引文：

Zbl 0913.68078号；Zbl 1187.68247号；Zbl 1039.68083号
PDF格式BibTeX公司 XML格式引用
\textit{K.Khadiev}，Lobachevskii J.数学。37、第6、683--704号（2016；Zbl 1409.68105）
全文： 内政部 arXiv公司

参考文献：

[1] F.Ablayev，“随机性和不确定性对于有序读分支程序来说是无法比拟的”，计算复杂性电子讨论会（ECCC）21（4）（1997）·Zbl 1401.68073号
[2] F.Ablayev，“有序读分支程序的随机性和不确定性具有可比性”，《计算机科学讲义》1256195-202（1997）·兹比尔1401.68073 ·doi:10.1007/3-540-63165-8_177
[3] F.Ablayev、A.Gainutdinova、M.Karpinski、C.Moore和C.Pollette，“概率和量子分支程序的计算能力”，《信息与计算》203（2），145-162（2005）·Zbl 1105.68037号 ·doi:10.1016/j.ic.2005.04.003
[4] F.Ablayev、A.Gainutdinova、K.Khadiev和A.Yakary-lmaz，“非常窄的量子OBDD和经典OBDD的宽度层次”，《计算机科学讲义》8614，53-64（2014）·Zbl 1407.68158号 ·doi:10.1007/978-3-319-09704-66
[5] F.M.Ablayev和M.Karpinski，“随机分支程序的威力”，《计算机科学讲义》1099，348-356（1996）·兹比尔1046.68531 ·doi:10.1007/3-540-61440-0_141
[6] F.Ablayev和K.Khadiev，“扩展小宽度K-OBDD的层次结构”，《俄罗斯数学》57（3），46-50（2013）·兹比尔1290.68040 ·doi:10.3103/S1066369X13030067
[7] H.Brosenne、M.Homester和S.Waack，“具有重复测试和各种验收模式的非确定性有序二元决策图”，《信息处理快报》98（1），6-10（2006）·Zbl 1187.68247号 ·doi:10.1016/j.ipl.2005.11.011
[8] B.Bollig、M.Sauerhoff、D.Sieling和I.Wegener，“kOBDDs和kIBDDs的层次理论”，《理论计算机科学》205（1-2），45-60（1998）·Zbl 0913.68078号 ·doi:10.1016/S0304-3975（97）00034-0
[9] A.Borodin、A.Razborov和R.Smolensky，“读k次分支程序的下限”，计算复杂性3（1），1-18（1993）·Zbl 0777.68043号 ·doi:10.1007/BF01200404
[10] J.Hromkovic，《通信复杂性与并行计算》（Springer Science&Business Media，1997）·Zbl 0873.68098号 ·doi:10.1007/978-3-662-03442-2
[11] J.Hromkovic和M.Sauerhoff，“通信协议和分支程序的不确定性和复杂性之间的权衡”，第17届STACS，LNCS 1770，145-156（2000）·Zbl 0959.68522号
[12] 霍姆科维奇，J。；Sauerhoff，M.，无文章标题，计算系统理论，36159-182（2003）·Zbl 1039.68083号 ·doi:10.1007/s00224-002-1050-x
[13] J.Hromkovic、S.Seibert、J.Karhumaki、H.Klauck和G.Schnitger，“测量有限自动机中不确定性的通信复杂性方法”，《信息与计算》172（2），202-217（2002）·兹比尔1009.68067 ·doi:10.1006/inco.2001.3069
[14] K.Khadiev，“小宽度K-obdd的宽度层次”，《洛巴切夫斯基数学杂志》36（2），178-183（2015）·Zbl 1346.68092号 ·doi:10.1134/S1995080215020092
[15] E.A.Okol'nisnikova，“关于不确定分支k程序的层次结构”，《计算机科学讲义》1279、376-387（1997）·Zbl 1507.68101号 ·doi:10.1007/BFb0036199
[16] M.Sauerhoff，“分区BDD的改进层次结果”，《计算系统理论》33，313-329（2000）·Zbl 0961.68056号 ·doi:10.1007/s002240010005
[17] J.S.Thathachar，《第三十届ACM计算机理论研讨会论文集》（德克萨斯州达拉斯，1998年），第653-662页·Zbl 1006.68054号
[18] I.Wegener，分支程序和二元决策图：理论与应用（工业与应用数学学会，费城，2000年）·Zbl 0956.68068号 ·数字对象标识代码：10.1137/1.9780898719789
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。