×
瓦利安特，L.G。；瓦齐拉尼，V.V。

NP就像检测独特的解决方案一样简单。 （英语） Zbl 0621.68030号

西奥。计算。科学。 47, 85-95 (1986).
对于每个已知的NP-完全问题，其实例的解的数量在很大的范围内变化，从零到指数多。因此，很自然地会问，NP完全问题的固有难处理性是否是由这种广泛的变化引起的。我们使用随机多项式时间可约性的概念给出了这个问题的否定答案。我们表明，在随机约简下，区分具有零解或一解的SAT实例，或为具有唯一解的SATs实例寻找解决方案的问题，与SAT一样困难。以下是关于具体问题难度的几个推论。例如，计算SAT公式解数的奇偶性显示为NP-hard，在随机约简下，确定SAT公式是否有唯一解显示为（D^p）-难。密码学研究的核心问题是，是否存在NP-问题，其实例具有唯一但很难找到的解决方案。我们的结果可以解释为加强了人们对存在此类问题的信念。

引用于18评论
引用于172文件

数学溢出问题：

具有（leq1）解的丢番图方程的复杂性

MSC公司：

65年第68季度 算法和问题复杂性分析
94A60型 密码学

关键词：

NP-完全问题；随机多项式时间可约性；SAT公式；密码学
PDF格式BibTeX公司 XML格式引用
\textit{L.G.Valiant}和\textit{V.Vazirani}，Theor。计算。科学。47、85-95（1986年；Zbl 0621.68030）
全文： 内政部

参考文献：

[1] 阿德尔曼，L.M。；Manders，K.，可还原性、随机性和难处理性，（第九届ACN计算理论研讨会论文集（1977）），151-163
[2] 阿德勒曼，L.M。；Manders，K.，《谎言的简化》（第20期IEEE计算机科学基础交响曲（1979）），397-410
[3] 伯曼，L。；Hartmanis，J.，《关于NP和其他完备集的同构和密度》，SIAM J.Compute。，6, 305-322 (1977) ·Zbl 0356.68059号
[4] 布拉斯，A。；Gurevich，Y.，关于唯一可满足性问题，Inform。和控制，55，80-82（1982）·Zbl 0543.03027号
[5] Carter，J.L。；Wegman，M.N.，哈希函数的通用类，J.Compute。系统科学。，18, 2, 143-154 (1979) ·Zbl 0412.68090号
[6] 库克，S.A.，《定理证明过程的复杂性》，（第三届ACM计算机理论研讨会（1971年），151-158·兹比尔0363.68125
[7] 爱德华兹·K·J。；威尔士，D.J.A.，《关于独特问题的复杂性》（1984年），未出版手稿
[8] 偶数，S。；塞尔曼，A.L。；Yacobi，Y.，复杂性类的硬核定理，J.ACM，32，1，205-217（1985）·Zbl 0632.68047号
[9] 偶数，S。；塞尔曼，A.L。；Yacobi，Y.，公开密钥加密应用中承诺问题的复杂性，Inform。和控制，61，2，159-173（1984）·Zbl 0592.94012号
[10] 偶数，S。；Yacobi，Y.，《密码学和NP-完备性》，（第七届自动化、语言和编程学术讨论会论文集。第七届自动、语言和程序学术讨论会文献集，计算机科学讲稿，85（1980），施普林格：施普林格柏林），195-207年·Zbl 0444.94013号
[11] Geske，J。；Grollmann，J.，《明确和随机多项式时间类的相对化》（1983年），未出版手稿
[12] Grollmann，J。；Selman，A.L.，《关于安全公钥密码系统的存在》，第25届IEEE计算机科学基础研讨会（1984年），495-503
[13] Papadimitriou，C.H。；Yannakakis，M.，《面的复杂性（以及复杂性的某些方面）》，J.Compute。系统科学。，28, 244-259 (1984) ·Zbl 0571.68028号
[14] Rackoff，C.，涉及概率计算的相对问题，J.ACM，29，261-268（1982）·Zbl 0477.68037号
[15] Simon，J.，《论一与多的区别》，（自动化、语言与编程座谈会。自动化、语言和编程座谈会暨计算机科学课堂讲稿，52（1977），施普林格：施普林格柏林），480-491·兹伯利0364.68066
[16] Sipser，M.，随机性的复杂性理论方法，（第15届美国计算机学会计算理论研讨会论文集（1983）），330-335
[17] Stockmeyer，L.J.，近似计数的复杂性，（第15届美国计算机学会计算理论研讨会论文集（1983）），118-126
[18] Valiant，L.G.，《从可满足性到保持解数的哈密顿回路的简化》（1974年），未出版手稿，利兹
[19] Valiant，L.G.，检查和评估的相对复杂性，Inform。过程。莱特。，5, 20-23 (1976) ·Zbl 0342.68028号
[20] Valiant，L.G.，计算永久性的复杂性，理论。计算。科学。，8, 189-201 (1979) ·Zbl 0415.68008号
[21] L.G.Valiant和V.V.Vazirani，未出版手稿，1984年。；L.G.Valiant和V.V.Vazirani，未出版手稿，1984年。
[22] 瓦齐拉尼，乌克兰。；Vazirani，V.V.，一种自然编码方案证明了概率多项式完备，Theoret。计算。科学。，24, 291-300 (1983) ·Zbl 0525.68025号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。