×

连接可以降低复杂性。 (英语) Zbl 1529.68117号

蔡金毅(主编)等,《计算与组合学》。第二届国际年会,COCOON’96,香港,1996年6月17日至19日。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1090, 260-267 (1996).
摘要:我们证明了集合的连接实际上可能比集合本身更简单:存在不在扩展的低层次结构的第二层的集合[J.L.Balćzar等,SIAM J.计算。15, 739–747 (1986;Zbl 0621.68033号)],\(\mathrm{EL}_2(发光二极管)\),然而他们的加入在\(\mathrm{EL}_2(发光二极管)\). 也就是说,就扩展的lowness而言,连接操作符可以降低复杂性。我们研究了\(\mathrm的闭包性质{EL}_2(发光二极管)\)并证明\(\mathrm{EL}_2(发光二极管)\)在某些布尔运算下不关闭。为此,我们建立了第一个已知(和最优)的{EL}_2(发光二极管)\)某些概念推广的下界A.L.塞尔曼《数学系统理论》13,55–65(1979;兹伯利0405.03018)],这本身可能被视为一个有趣的结果。
关于整个系列,请参见[Zbl 0851.00050号].

MSC公司:

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] A.Amir、R.Beigel和W.Gasarch。有界查询类和非均匀复杂性之间的一些联系。手稿,1994年7月11日。初步版本发表于《第五届复杂性理论结构会议论文集》,第232-243页。IEEE计算机学会出版社,1990年。
[2] E.Allender和L.Hemachandra。低层次结构的下限。美国医学会杂志,39(1):234-251992·Zbl 0799.68081号 ·数字对象标识代码:10.1145/147508.147546
[3] J.Balcázar、R.Book和U.Schöning。稀疏的设置,低和高。SIAM计算机杂志,15(3):739-7461986·Zbl 0621.68033号
[4] 赫马帕德拉(L.Hemaspandra)。《低调:NP-P.SIGACT新闻的尺度》,24(2):10-141993年。
[5] L.Hemaspandra和Z.Jiang。P-选择性:交集和索引。理论计算机科学即将问世。初步版本也出现在:《计算与信息杂志》,1(1):66-751995。特刊:第六届国际计算机与信息会议记录,1994年5月。
[6] L.Hemaspandra、Z.Jiang、J.Rothe和O.Watanabe。多选择性和降低复杂性连接。技术报告TR 568,纽约州罗切斯特市罗切斯特大学,1995年。
[7] L.Hemaspandra、A.Naik、M.Ogihara和A.Selman。计算解决方案可以唯一地折叠多项式层次结构。发表在SIAM计算机杂志上。初步版本出现在Proc中。第五届ISAAC,第56-64页,1994年·兹比尔0953.68541
[8] R.Karp和R.Lipton。非一致复杂性类和一致复杂性类之间的一些联系。1980年4月,第12届ACM计算机理论研讨会论文集,第302-309页。一个扩展版本也出现了:接受建议的图灵机器。《环境数学》,第二辑,28:191-2091982年。
[9] 韩国。用神谕把低层次和高层次分开。信息与计算,90:156-1771991·Zbl 0717.68033号
[10] J.科布勒。在扩展的低层次结构中优化定位P/poly。理论计算机科学,134:263-2851994·Zbl 0834.68032号
[11] J.Köbler。关于低集结构。《第十届复杂性理论结构会议论文集》,第246-261页。IEEE计算机学会出版社,1995年。
[12] K.Ko和U.Schöning。NP中的电路尺寸复杂性和低层次结构。SIAM计算杂志,14(1):41-511985·Zbl 0562.68033号 ·数字对象标识代码:10.1137/0214003
[13] A.Meyer和L.Stockmeyer。带平方的正则表达式的等价问题需要指数空间。第13届IEEE交换与自动机理论研讨会论文集,第125-129页,1972年。
[14] 小原先生。多项式时间成员可比集。《复杂性理论会议第九届结构会议论文集》,第2-11页。IEEE计算机学会出版社,1994年。
[15] U.Schöning公司。NP中的低层次和高层次。计算机与系统科学杂志,27:14-281983·Zbl 0515.68046号 ·doi:10.1016/0022-0000(83)90027-2
[16] U.Schöning公司。图同构处于低层次。《计算机与系统科学杂志》,37:312-3231988·Zbl 0666.68048号
[17] U.Schöning公司。概率复杂性类和低。计算机与系统科学杂志,39(1):84-1001989·Zbl 0688.68045号
[18] A.塞尔曼。P选择集、计数语言和NP上多项式时间可约性的行为。数学系统理论,13:55-651979·Zbl 0405.03018号 ·doi:10.1007/BF0144288
[19] M.Sheu和T.Long。扩展的低层次是无限层次。SIAM计算机杂志,23(3):488-5091994·Zbl 0819.68055号
[20] L.Stockmeyer。多项式时间层次结构。《理论计算机科学》,1977年3月22日·兹比尔0353.02024 ·doi:10.1016/0304-3975(76)90061-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。