V·阿尔文德。;韩，Y。;赫马昌德拉。;Köbler，J。;A.洛扎诺。;蒙德亨克，M。;M.奥吉瓦拉。;美国施宁。;西尔维斯特里。;蒂拉夫，T。 将信息内容缩减为低信息内容集（扩展抽象）。 （英语） 兹比尔1425.68125 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 162-173 (1992). 摘要：在本文中，我们研究了简化为稀疏集（和计数集）的集的复杂性，以及此类集简化为最简单稀疏集的复杂性。我们证明，即使对于非常灵活的约简，除非（mathrm{P}=mathrm}NP}），否则（mathrm{NP}；结果的一个直接结果是：如果任何（mathrm{NP}）-完备集合取化简为稀疏集，那么。我们还表明，任何集\（A\）（通过各种类型的减少）减少到某个稀疏集，实际上减少了相同类型的减少到相对于\（A\）简单的稀疏集。根据对计数集的约简，我们给出了低实例复杂度集的完整表征；因此，如果（mathrm{P}\neq\mathrm}NP}），那么就析取约简或合取约简而言，（mathrm{NP}。关于整个系列，请参见[Zbl 1369.68031号]. 引用于1文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：复杂性理论;多项式层次;图灵化简;稀疏集 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}等人，Lect。注释计算。科学。623、162--173（1992年；Zbl 1425.68125） 全文： 内政部 参考文献： [1] A.Amir、R.Beigel和W.Gasarch。有界查询类和非均匀复杂性之间的一些联系。《第五届复杂性理论结构会议论文集》，第232-243页。IEEE计算机学会出版社，1990年7月·Zbl 1058.68056号 [2] E.Allender、L.Hemachandra、M.Ogiwara和O.Watanabe。将等价性和可约性与稀疏集联系起来。SIAM计算机杂志。出现。初步版本显示为[AHOW91]·Zbl 0761.68039号 [3] E.Allender、L.Hemachandra、M.Ogiwara和O.Watanabe。将等价性和可约性与稀疏集联系起来。在复杂性理论会议第六届结构论文集，第220-229页。IEEE计算机学会出版社，1991年6月/7月·Zbl 0761.68039号 [4] V.Arvind、J.Köbler和M.Mundhenk。稀疏集和计数集的有界真值和合取约简。正在准备中·Zbl 0919.03034号 [5] P.伯曼。NP完全语言的密度和确定性复杂性之间的关系。第五届国际自动化、语言和编程学术讨论会论文集，第63-71页。Springer-Verlag计算机科学讲稿#621978·Zbl 0382.68068号 [6] R.Beigel、J.Gill和U.Herstraff。计数类：阈值、奇偶性、模和数。第七届计算机科学理论方面年度研讨会论文集，第49-57页。Springer-Verlag计算机科学讲稿#4151990年2月·Zbl 0729.68023号 [7] L.Berman和J.Hartmanis。关于NP和其他完备集的同构和密度。SIAM计算机杂志，6（2）：305-3221977·Zbl 0356.68059号 ·数字对象标识代码：10.1137/0206023 [8] R.Book和K.Ko。在集上真值表可还原为稀疏集。SIAM计算机杂志，17（5）：903-9191988·Zbl 0665.68040号 ·数字对象标识代码：10.1137/0217056 [9] H.Buhrman、L.Longpré和E.Spaan，1992年。个人沟通。 [10] J.Cai、T.Gundermann、J.Hartmanis、L.Hemachandra、V.Sewelson、K.Wagner和G.Wechsung。布尔层次结构I：结构属性。SIAM计算机杂志，17（6）：1232-12521988·Zbl 0676.68011号 ·数字对象标识代码：10.1137/0217078 [11] J.Cai、T.Gundermann、J.Hartmanis、L.Hemachandra、V.Sewelson、K.Wagner和G.Wechsung。布尔层次结构II：应用程序。SIAM计算机杂志，18（1）：95-1111989·Zbl 0676.68012号 ·doi:10.1137/0218007 [12] J.Cai和L.Hemachandra。关于奇偶多项式时间的幂。数学系统理论，23（2）：95-1061990·Zbl 0718.68038号 [13] J.Cai和L.Hemachandra。关于计数的注释。信息处理信函，38（4）：215-2191991·兹比尔0733.68030 [14] 《美国财富》。关于稀疏完备集的注记。SIAM计算机杂志，8（3）：431-4331979·Zbl 0415.68006号 ·数字对象标识代码：10.1137/0208034 [15] R.Gavaldá。关于稀疏集的合取和析取约简。手稿，1992年1月。 [16] R.Gavaldá和O.Watanabe。关于小描述的计算复杂性。《复杂性理论会议第六届结构会议论文集》，第89-101页。IEEE计算机学会出版社，1991年6月/7月·Zbl 0799.68085号 [17] H.海勒。关于相对化指数复杂性和概率复杂性类。信息与控制，71:231-2431986年·Zbl 0628.68047号 [18] L.Hemachandra和A.Hoene。在具有高效隐式成员资格测试的集合上。SIAM计算机杂志，20（6）：1148-11561991·Zbl 0738.68032号 ·doi:10.1137/0220071 [19] S.Homer和L.Longpré。关于NP集到稀疏集的约简。《复杂性理论会议第六届结构会议论文集》，第79-88页。IEEE计算机学会出版社，1991年6月/7月·Zbl 0806.68046号 [20] L.Hemachandra、M.Ogiwara和O.Watanabe。稀疏集有多难？正在准备中（将发表在复杂性理论会议第七届结构论文集上）·Zbl 0761.68039号 [21] N.Immerman和S.Mahaney。相对化计算。理论计算机科学，68:267-2761989·Zbl 0679.68084号 ·doi:10.1016/0304-3975（89）90164-3 [22] D.Joseph和P.Young。关于NP中非多项式和非完备集的见证函数的几点注记。理论计算机科学，39:225-2371985·Zbl 0597.68042号 ·doi:10.1016/0304-3975（85）90140-9 [23] D.Joseph和P.Young。自约性：内部结构对计算复杂性的影响。《复杂性理论回顾》编辑A.Selman，第82-107页。Springer-Verlag，1990年。 [24] J.卡丁。p^NP[logn]和NP的稀疏图灵完备集。计算机与系统科学杂志，39（3）：282-2981989·Zbl 0693.68027号 [25] R.Karp和R.Lipton。非一致复杂性类和一致复杂性类之间的一些联系。1980年4月，第12届ACM计算机理论研讨会论文集，第302-309页。 [26] S.Kurtz、S.Mahaney和J.Royer。同构猜想相对于随机预言而言是失败的。第21届ACM计算机理论研讨会论文集，第157-166页。ACM出版社，1989年5月·Zbl 0886.68068号 [27] 韩国。用稀疏集区分合取和析取可约性。信息与计算，81（1）：62-871989·Zbl 0681.68066号 ·doi:10.1016/0890-5401（89）90029-1 [28] K.Ko、P.Orponen、U.Schöning和O.Watanabe。什么是计算问题的硬实例？《复杂性理论会议第一届结构会议论文集》，第197-217页。Springer-Verlag计算机科学讲稿#2231986年6月·Zbl 0617.68048号 [29] R.Ladner、N.Lynch和A.Selman。多项式时间可约性的比较。理论计算机科学，1（2）：103-1241975·Zbl 0321.68039号 ·doi:10.1016/0304-3975（75）90016-X [30] S.Mahaney（圣马哈尼）。NP的稀疏完备集：Berman和Hartmanis猜想的解。计算机与系统科学杂志，25（2）：130-1431982·Zbl 0493.68043号 ·doi:10.1016/0022-0000（82）90002-2 [31] S.马哈尼。稀疏集和可约性。《复杂性理论研究》编辑R.Book，第63-118页。约翰·威利父子公司，1986年。 [32] S.Mahaney（圣马哈尼）。同构猜想与稀疏集。《计算复杂性理论》编辑J.Hartmanis，第18-46页。美国数学学会，1989年。应用数学专题讨论会论文集#38·Zbl 0675.68029号 [33] P.Orponen、K.Ko、U.Schöning和O.Watanabe。实例复杂性。美国医学会杂志。出现·Zbl 0807.68035号 [34] M.Ogiwara和A.Lozano。关于单查询自约集。理论计算机科学。出现。初步版本显示为[OL91]。 [35] M.Ogiwara和A.Lozarto。关于单查询自约集。《复杂性理论会议第六届结构会议论文集》，第139-151页。IEEE计算机学会出版社，1991年6月/7月。 [36] P.Orponen。关于NP-hard问题的实例复杂性。《第五届复杂性理论结构会议论文集》，第20-27页。IEEE计算机学会出版社，1990年7月·Zbl 0825.68390号 [37] M.Ogiwara和O.Watanabe。关于多项式时间有界真值表NP集到稀疏集的可约性。SIAM计算机杂志，20（3）：471-4831991年6月·Zbl 0741.68049号 ·doi:10.1137/0220030 [38] D.Ranjan和P.Rohatgi。关于稀疏集的随机约简。《复杂性理论会议第七届结构会议论文集》。IEEE计算机学会出版社。出现·Zbl 1400.05050号 [39] E.乌科宁。关于多项式时间真值化简到稀疏集的两个结果。SIAM计算机杂志，12（3）：580-5871983·Zbl 0532.68051号 ·数字对象标识代码：10.1137/0212038 [40] K·瓦格纳。有界查询类。SIAM计算机杂志，19（5）：833-8461990·Zbl 0711.68047号 ·数字对象标识代码：10.1137/0219058 [41] O.渡边。On_1−tt^p稀疏性和不确定性复杂性类。第15届国际自动化、语言和编程学术讨论会论文集，第697-709页。Springer-Verlag计算机科学讲稿#3171988年7月·Zbl 0672.68021号 [42] O.渡边。关于UP类的难处理性。数学系统理论，24:1-101991·Zbl 0715.68032号 [43] C.是的。一致类上非一致条件的一些结果。理论计算机科学，26:287-3001983·Zbl 0541.68017号 ·doi:10.1016/0304-3975（83）90020-8 [44] Y.Yesha。关于某些多项式时间上完备集到稀疏集的真可约性。SIAM计算机杂志，12（3）：411-4251983·Zbl 0545.03023号 ·doi:10.1137/0212027 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。