×
霍加迪，S。;H·J·普雷梅尔。;A.斯泰格。

近似算法的概率可检验证明及其后果。 （英语） Zbl 0824.68087号

离散数学。 136，编号1-3，175-223（1994）.
摘要：本文的目的是提供一个自成一体的证据，证明最近的惊人成就是（text{NP}=\text{PCP}（logn，1））。作为结果，我们包括关于团数、图的色数和MAX-SNP硬问题的不可逼近性的结果。

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
第68季度25 算法和问题复杂性分析
05C15号 图和超图的着色

关键词：

近似算法;团数
PDF格式BibTeX公司 XML格式引用
\textit{S.Hougardy}等人，《离散数学》。136，编号1--3，175-223（1994；Zbl 0824.68087）
全文： 内政部

参考文献：

[1] Ajtai，M。；Komlós，J。；Szemerédi，E.，《LOGSPACE中的确定性模拟》，STOC，132-140（1987）
[2] Alon，N.，特征值和膨胀器，组合数学，683-96（1986）·Zbl 0661.05053号
[3] Arora，S。；Lund，C。；Motwani，R。；苏丹，M。；Szegedy，M.，《关于近似问题的难处理性》（1992年），早期草案
[4] Arora，S。；Lund，C。；Motwani，R。；苏丹，M。；Szegedy，M.，《证明验证与逼近问题的难处理性》，FOCS，14-23（1992）·Zbl 0977.68539号
[5] Arora，S。；Safra，S.，证据的概率检查；NP的新表征，FOCS，2-13（1992）·Zbl 0945.68516号
[6] Babai，L.，贸易集团随机性理论，STOC，421-429（1985）
[7] Babai，L.，《电子邮件和意想不到的互动能力》，Proc。复杂性理论中的结构，30-44（1990）
[8] 巴巴伊，L。；Fortnow，L.，《算术：结构复杂性理论中的一种新方法》，Comput。复杂性，141-66（1991）·Zbl 0774.68040号
[9] 巴巴伊，L。；福特诺，L。；莱文，L。；Szegedy，M.，《检查多对数时间的计算》，STOC，21-31（1991）
[10] 巴巴伊，L。；福特诺，L。；Lund，C.，非确定性指数时间有两个证明者交互协议Comput。复杂性，1,3-40（1991）·Zbl 0774.68041号
[11] Blum，A.，《一些近似3着色工具》，FOCS，554-562（1990）
[12] 布鲁姆，M。；鲁比，M。；Rubinfeld，R.，《数值问题应用的自测试/校正》，STOC，73-83（1990）
[13] 博帕纳，R。；Halldórsson，M.M.，通过排除子抓取近似最大独立集，BIT，32，180-196（1992）·Zbl 0761.68044号
[14] 库克，S.A.，理论证明程序的复杂性，STOC，151-158（1971）·Zbl 0253.68020号
[15] Feige，美国。；戈德瓦瑟，S。；Lovász，L。；萨夫拉，S。；Szegedy，M.，《近似团几乎是NP-完全的》，《FOCS》，2-12（1991）
[16] O.Gabber。；Galil，Z.，《线性尺寸超集中器的显式构造》，J.Compute。系统科学。，22, 407-420 (1981) ·Zbl 0487.05045号
[17] Garey，M.R。；Johnson，D.S.，《近最优图着色的复杂性》，J.Assoc.Compute。机器。，23, 43-49 (1976) ·Zbl 0322.05111号
[18] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州·Zbl 0411.68039号
[19] Gemmell，P。；利普顿，R。；罗宾菲尔德。；苏丹，M。；Wigderson，A.，多项式和近似函数的自测试/校正，STOC，32-42（1991）
[20] Goldwasser，S。；米卡利，S。；Rackoff，C.，交互证明系统的知识复杂性，SIAM J.Compute。，18, 1, 186-208 (1989) ·兹比尔0677.68062
[21] Halldórsson，M.，近似图着色的更好性能保证，Inform。过程。莱特。，45, 19-23 (1993) ·Zbl 0768.68043号
[22] Impagliazzo，T。；Zuckerman，D.，《如何回收随机比特》，FOCS，248-253（1989）
[23] Johnson，D.S.，《NP-完备性专栏：持续指南》，J.Algorithms，13，502-524（1992）·兹比尔0786.68035
[24] Karp，R.，《组合问题中的可约性》（Miller，R.；Thatcher，J.W.，《计算机计算的复杂性》（1972），Plenum出版社：Plenum Press New York），第85-103页·Zbl 0366.68041号
[25] Khanna，S。；Linial，N。；Safra，S.，关于近似色数的硬度，Proc。以色列交响乐团。理论计算机科学，250-260（1993）
[26] Lipton，R.，《测试新方向》（Distributed Computing and Cryptography，2（1991），美国。数学。Soc），191-202，离散数学和理论计算机科学DIMACS系列·Zbl 0722.68028号
[27] Lund，C。；福特诺，L。；Karloff，H。；Nisan，N.，《交互式证明系统的代数方法》，J.Assoc.Compute。机器。，39, 4, 859-868 (1992) ·Zbl 0799.68097号
[28] Lund，C。；Yannakakis，M.，《关于近似最小化问题的硬度》，STOC，286-293（1983）·Zbl 1310.68094号
[29] Margulis，G.A.，《信息传输问题》（1975），Plenum出版社：Plenum Press New York，英译·Zbl 2011年12月3日
[30] Papadimitriou，Chr。；Yannakakis，M.，《优化、近似和复杂性类》，J.Compute。系统科学。，43, 425-440 (1991) ·Zbl 0765.68036号
[31] 菲利普斯。；Safra，S.，《关于有效概率验证》，手稿（1993年）
[32] 罗宾菲尔德。；Sudan，M.，有理域上有效的自测试多项式函数，SODA，23-32（1992）·Zbl 0834.68076号
[33] Schwartz，J.T.，验证多项式恒等式的快速概率算法，J.Assoc.Compute。机器。，27, 701-717 (1980) ·兹比尔0452.68050
[34] Shamir，A.，IP=PSPACE，J.协会计算。机器。，39, 4, 869-877 (1992) ·Zbl 0799.68096号
[35] Sudan，M.，多项式和证明的有效检查以及近似问题的硬度，博士论文（1992），加州大学伯克利分校
[36] 范德瓦尔登，B.L.（代数，I（1971），施普林格：施普林格-柏林）·Zbl 0221.2001年
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。