文章

免费访问

证明验证与逼近问题的困难

作者:

桑吉夫阿罗拉,

卡斯滕隆德,

拉杰夫莫特瓦尼,

马杜苏丹、和

马里奥塞盖迪作者信息和声明

美国医学会杂志,体积45,问题三

页501-555

https://doi.org/10.1145/278298.278306

出版:1998年5月1日出版历史

PDF格式电子阅读器

摘要

我们证明，NP中的每种语言都有一个概率验证器，该验证器使用随机位的对数检查其成员证明，并通过检查常数证明中的位数。如果一个字符串在语言中，那么存在这样一个证明，即验证器以概率1接受（即，对其随机字符串的每一个选择）。对于不使用该语言的字符串，验证器以至少1/2的概率拒绝提供的每个“证据”。我们的结果建立在Arora和Safra[1998]的最新结果的基础上，并对其进行了改进，后者的验证器检查了证明中的非恒定比特数（尽管该数字是输入长度的缓慢增长函数）。

因此，我们证明了除非NP=P，否则没有MAX-SNP-硬问题具有多项式时间近似方案。MAX-SNP类由Papadimitriou和Yannakakis[1991]定义，该类的硬问题包括顶点覆盖、最大可满足性、最大割、度量TSP、Steiner树和最短超弦。我们还改进了Feige et al.[1996]和Arora and Safra[1998]的团硬度结果，并表明存在一个正ε，使得近似于最大团大小N个-顶点图在因子内N个^ε是NP-hard。

工具书类

[1]

阿罗拉，第1994条。近似问题证明和硬度的概率检查。博士论文。加州大学伯克利分校http://www.cs.princeton。edu/-arora。

[2]

ARORA，S.1996年。欧几里得TSP和其他几何问题的多项式时间近似方案。第37届IEEE计算机科学基础研讨会论文集。IEEE，纽约，第2-12页。

[3]

ARORA，S.、BABAI，L.、STERN，J.和SWEEDYK，Z.1997年。格、代码和线性方程组中近似最优的难易程度。J.计算。系统。科学。54、2（4月）、317-331。

数字图书馆

[4]

ARORA，S.和LUND，C.1996年。近似值的硬度。《NP-Hard问题的近似算法》，D.Hochbaum主编，PWS出版社，马萨诸塞州波士顿，第339-446页。

[5]

ARORA，S.、MOTWANI，R.、SAFRA，S.，SUDAN，M.和SZEGEDY，M.，1992年。PCP和近似问题。未发布的注释。

[6]

ARORA，S.和SAFRA，S.1998年。证据的概率检验：NP的一个新特征。J.ACM 45，1（1月），70-122。

数字图书馆

[7]

阿罗拉和苏丹，1997年。改进了低阶测试及其应用。第29届美国计算机学会计算理论年会论文集（德克萨斯州埃尔帕索，5月4日至6日）。ACM，纽约，第485-495页。

[8]

AUSIELLO，G.、D'ATRI，A.和PROTASI，M.1980a。凸优化问题中的保结构约简。J.计算。系统。科学。21, 136-153.

[9]

AUSIELLO，G.、MARCHETTI-SPACCAMELA，A.和PROTASI，M.1980b。针对NP-完全优化问题的统一分类方法。理论。计算。科学。12, 83-96.

[10]

BABAI，L.1985年。交易集团理论的随机性。第17届美国计算机学会计算理论研讨会论文集（普罗维登斯，R.I.，5月6-8日）。ACM，纽约，第421-429页。

[11]

BABAI，L.1993年。透明（全息）校样。第十届计算机科学理论方面年度研讨会论文集。《计算机科学讲义》，第665卷。Springer-Verlag，纽约，第525-534页。

[12]

BABAI，L.和FORTNOW，L.1991年。算法化：结构复杂性理论中的一种新方法。计算。复杂。1, 41-66.

[13]

BABAI，L.、FORTNOW，L.，LEVIN，L.和SZEGEDY，M.1991a。在多对数时间中检查计算。第23届美国计算机学会计算机理论研讨会论文集（新奥尔良，路易斯安那州，5月6日至8日）。ACM，纽约，第21-31页。

[14]

BABAI，L.、FORTNOW，L.和LUND，C.1991b。非确定性指数时间具有双探测车交互协议。康普塔特。复杂。1, 3-40.

[15]

BABAI，L.和FRIEDL，K.，1993年。略超线性透明证明。芝加哥大学技术代表CS-93-13。

[16]

BABAI，L.和MORAN，S.1988年。Arthur-Merlin游戏：一个随机证明系统和复杂性类的层次结构。J.计算。系统。科学。36, 254-276.

数字图书馆

[17]

BEAVER，D.和FEIGENBAUM，J.1990年。在多预言机查询中隐藏实例。第七届计算机科学理论方面年度研讨会论文集。计算机科学讲义，第415卷。纽约施普林格-弗拉格。

[18]

BELLARE，M.1993年。交互式证明和近似：一轮中两个证明的约简。第二届以色列理论与计算系统研讨会论文集。IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，第266-274页。

[19]

BELLARE，M.、COPPERSMITH，D.、HASTAD，J.、Kiwi，M.和SUDAN，M.，1996年。特征2中的线性测试。IEEE传输。《Inf.Theory》第42期，第6期（11月），1781-1795年。

[20]

BELLARE，M.、GOLDREICH，O.和SUDAN，M.1995/1998。自由位、PCP和非近似性——走向紧凑的结果。SIAM J.计算。，出现。（第36届计算机科学基础年度研讨会论文集的初步版本，IEEE，纽约，1995年，第422-431页。完整版本作为ECCC的TR95-024提供，ECCC是计算复杂性电子讨论会，http://www.eccc.uni-trier.de/eccc/。)

[21]

BELLARE，M.、GOLDWASSER，S.、LUND，C.和RUSSELL，A.1993/1994。有效的概率可检验证明及其在近似中的应用。第25届美国计算机学会计算机理论年会论文集（加州圣地亚哥，5月16日至18日）。ACM，纽约，1993年，第294-304页。（另见《第26届美国计算机学会计算机理论研讨会论文集》勘误表，美国计算机学会，纽约，1994年，第820页。）

[22]

BELLARE，M.和ROGAWAY，P.1993/1995。逼近非线性程序的复杂性。数学杂志。掠夺。B 69，3（1995年9月），429-441。同样在《数值优化的复杂性》中，P.M.Pardalos主编，《世界科学》，1993年。

[23]

BELLARE，M.和SUDAN，M.，1994年。改进了非近似性结果。第26届ACM计算机理论年度研讨会论文集（加拿大魁北克省蒙特利尔，5月23日至25日）。ACM，纽约，第184-193页。

[24]

BEN-OR，M.、GOLDWASSER，S.、KILIAN，J.和WIGDERSON，A.，1988年。多元交互式证明：如何消除棘手的假设。第20届美国计算机学会计算机理论研讨会论文集（芝加哥，伊利诺伊州，5月2日至4日）。ACM，纽约，第113-131页。

[25]

伯曼，P.和施耐特，G.1992。关于独立集问题逼近的复杂性。Inf.计算。96, 77-94.

数字图书馆

[26]

伯恩，M.和普拉斯曼，P.1989。边长为1和2的Steiner问题。Inf.过程。莱特。32, 171-176.

[27]

布鲁姆，M.1991。程序检查。FST会议记录；TCS（牵引力控制系统）。计算机科学讲义，第560卷。Springer-Verlag，纽约，第1-9页。

[28]

BLUM，A.、JIANG，T.、LI，M.、TROMP，J.和YANNAKAKIS，M.，1994年。最短超弦的线性近似。J.ACM 41，4（7月），630-647。

数字图书馆

[29]

BLUM，M.和KANNAN，S.1989年。设计检查其工作的程序。《第21届计算机理论年度研讨会论文集》（华盛顿州西雅图，5月15日至17日）。ACM，纽约，第86-97页。

[30]

BLUM，M.，LUBY，M.和RUBINFELD，R.1993年。应用于数值问题的自我测试/修正。J.计算。系统。科学。第47、3（12月）、549-595页。

数字图书馆

[31]

CAI，J.，CONDON，A.和LIPTON，R.，1994年。PSPACE可由一轮中的两个证明程序证明。J.计算。系统。科学。183-193年2月1日，第48页。

数字图书馆

[32]

COHEN，A.和WIGDERSON，A.1989年。分散器、确定性放大和弱随机源。第30届计算机科学基础年度研讨会论文集。IEEE，纽约。

[33]

康登，1991年。最大字数问题的复杂性，或单向交互证明系统的威力。第八届计算机科学理论方面年度研讨会论文集。计算机科学讲义，第480卷。纽约施普林格-弗拉格。

[34]

CONDON，A.、FEIGENBAUM，J.、LUND，C.和SHOR，P.，1993年。PSPACE硬函数的概率可检查辩论系统和近似算法。第25届美国计算机学会计算机理论年会论文集（加州圣地亚哥，5月16日至18日）。ACM，纽约，第305-314页。

[35]

CONDON，A.、FEIGENBAUM，J.、LUND，C.和SHOR，P.，1996年。随机辩论者和近似随机函数的困难。SIAM J.计算。369-400年4月2日，第26页。

[36]

库克，S.A.1971年。理论证明程序的复杂性。在第三届ACM计算理论年度研讨会论文集（俄亥俄州Shaker Heights，5月3-5日）。ACM，纽约，第151-158页。

[37]

CRESCENZI，P.和KANN，V.1995年。NP优化问题概要。技术代表SI/RR-95/02，意大利信息技术学院“La Sapienza”。列表会不断更新。（最新版本通过匿名ftp从nada.kth.se获得，名为Theory/Viggo-Kann/compedium.ps.Z。）

[38]

DAHLHAUS，E.、JOHNSON，D.、PAPADIMITRIOU，C.、SEYMOUR，P.和YANNAKAKIS，M.，1994年。多路切割的复杂性。SIAM J.计算。23, 4, 864-894.

数字图书馆

[39]

DE LA VEGA，W.和LUEKER，G.1981年。装箱问题可以在1+#内以线性时间解决。组合数学1，349-355。

[40]

FAGIN，R.1974年。广义一阶谱和多项式时间可识别集。在计算复杂性中，理查德·卡普（Richard Karp）主编，美国数学学会，普罗维登斯，R.I。

[41]

FEIGE，U.1996年。设置封面的阈值In n。第28届计算理论年度研讨会论文集（宾夕法尼亚州费城，5月22日至24日）。ACM，纽约，第314-318页。

[42]

FEIGE，U.、GOLDWASSER，S.、LOVASZ，L.、SAFRA，S.和SZEGEDY，M.，1996年。交互式证明和近似团的硬度。J.ACM 43，2（3月），268-292。

数字图书馆

[43]

FEIGE，U.和KILIAN，J.1994。两种证明器协议——以可承受的速率实现低错误。第26届ACM计算机理论年度研讨会论文集（加拿大魁北克省蒙特利尔，5月23日至25日）。ACM，纽约，第172-183页。

[44]

FEIGE，U.和KILIAN，J.1996。零知识和色数。第十一届复杂性理论年会论文集。IEEE，纽约。

[45]

FEIGE，U.和LOVASZ，L.1992。双证明人单轮证明系统：它们的力量和问题。第24届计算机理论年度研讨会论文集（不列颠哥伦比亚省维多利亚市，加拿大，5月4日至6日）。ACM，纽约，第733-744页。

[46]

FORTNOW，L.、ROMPEL，J.和SIPSER，M.，1994年。关于多月球车交互协议的威力。理论。计算。科学。134，2（11月），545-557。

数字图书馆

[47]

FRIEVALDS，1979年。快速概率算法。计算机科学数学基础研讨会论文集。计算机科学讲义，第74卷。Springer-Verlag，纽约，第57-69页。

[48]

FRIEDL，K.、HATSAGI，ZS.、。，和SHEN，A.1994。低阶测试。第五届ACM-SIAM离散算法年会论文集。纽约ACM。

[49]

FRIEDL，K.和SUDAN，M.，1995年。对低度测试的一些改进。第三届以色列理论与计算系统研讨会论文集。IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，第250-260页。

[50]

FURER，M.1995年。改进硬度结果，以接近色数。第36届计算机科学基础年会论文集。IEEE，纽约。

[51]

GAREY，M.和JOHNSON，D.1976年。近最优图着色的复杂性。J.ACM 23，1（1月），43-49。

数字图书馆

[52]

GAREY，M.和JOHNSON，D.1978。“强”NP完成结果：动机、示例和含义。美国临床医学杂志25，499-508。

数字图书馆

[53]

GAREY，M.和JOHNSON，D.1979年。计算机与难处理性：NP完全性理论指南。W.H.Freeman，纽约。

[54]

GAREY，M.、JOHNSON，D.和STOCKMEYER，L.1976年。一些简化的NP-完全图问题。理论。计算。科学。1,237-267.

[55]

GEMMELL，P.和SUDAN，M.1992年。多项式的高弹性校正器。信息处理。莱特。169-174年9月4日，第43页。

数字图书馆

[56]

GEMMELL，P.、LIPTON，R.、RUBINFELD，R.，SUDAN，M.和WIGDERSON，A.1991年。多项式和近似函数的自检/校正。第23届美国计算机学会计算机理论研讨会论文集（新奥尔良，路易斯安那州，5月6日至8日）。ACM，纽约，第32-42页。

[57]

GOEMANS，M.和WILLIAMSON，D.1995年。使用半定规划的最大割和可满足性问题的改进近似算法。J.ACM 42，6（11月），1115-1145。

数字图书馆

[58]

GOLDREICH，O.1997年。证据系统的分类。《复杂性理论回顾》（In Complexity Theory Retrospective H，L.A.Hemaspaandra and A.Selman，eds.Springer-Verlag，New York）。

[59]

GOLDWASSER，S.、MICALI，S.和RACKOFF，C.1989年。交互式证明系统的知识复杂性。SIAM J.计算。186-208年2月1日，第18页。

数字图书馆

[60]

GRAHAM，R.1966年。某些多处理异常的边界。贝尔系统。《技术期刊》第45卷，1563-1581页。

[61]

H/#kSTAD，J.1996a。集团长代码和硬度测试。第28届美国计算机学会计算机理论年会论文集（宾夕法尼亚州费城，5月22日至24日）。ACM，纽约，第11-19页。

[62]

H/#kSTAD，J.1996b。在第37届计算机科学基础年度研讨会论文集中，很难在n1-E范围内估计集团。IEEE，纽约。

[63]

H/#kSTAD，J.1997年。一些最佳不可接近性结果。第29届美国计算机学会计算理论年会论文集（德克萨斯州埃尔帕索，5月4日至6日）。ACM，纽约，第1-10页。

[64]

IBARRA，O.和KIM，C.1975年。背包和子集和问题的快速近似算法。J.acm22463-468。

数字图书馆

[65]

IMPAGLIAZZO，R.和ZUCKERMAN，D.1989年。如何回收随机位。第30届计算机科学基础年度研讨会论文集。IEEE，纽约。

[66]

约翰逊，D.1974。组合问题的近似算法。J.计算。系统。科学。9, 256-278.

数字图书馆

[67]

KANN，V.1991年。最大有界三维匹配是MAX SNP-complete。信息处理。莱特。37, 27-35.

数字图书馆

[68]

KARGER，D.、MOTWANI，R.和RAMKUMAR，G.1997年。关于图中最长路径的近似。算法18，1（5月），82-98。

数字图书馆

[69]

KARMAKAR，N.和KARP，R.1982年。一维装箱问题的一种有效近似格式。第23届计算机科学基础年度研讨会论文集。电气与电子工程师协会。纽约。

[70]

KARP，R.1972年。组合问题之间的约简性。《计算机计算复杂性》，R.E.Miller和J.W.Thatcher主编，《计算研究进展》。纽约Plenum出版社，第85-103页。

[71]

KHANNA，S.、LINIAL，N.和SAFRA，S.1993。关于逼近色数的困难。第二届以色列理论与计算系统研讨会论文集。IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，第250-260页。

[72]

KHANNA，S.、MOTWANI，R.、SUDAN，M.和VAZIRANI，U.1994/1998。关于近似性的句法与计算观点。第35届计算机科学基础年度研讨会论文集。IEEE，纽约，1994年，第819-830页。（此外，SIAM J.Comput.将出现。）

数字图书馆

[73]

KOLAITIS，P.和VARDI，M.1987年。高阶属性概率的决策问题。第19届计算机理论年度研讨会论文集（纽约，5月25日至27日）。ACM，纽约，第425-435页。

[74]

拉皮多特，D.和沙米尔，A.，1997年。NEXP-tie的完全并行多探测车协议。J.计算。系统。科学。54，2（4月），215-220。

数字图书馆

[75]

莱文，L.1973。Universarnyie perebornyie zadachi（通用搜索问题：俄语）。Problemy Peredachi Informatsii问题佩雷达奇信息9、3、265-266。（特拉赫滕布罗特（Trakhtenbrot）{1984年}的附录中出现了一份经更正的英文译文。）

[76]

LIPTON，R.1991年。测试的新方向。在分布式计算和密码学中，《离散数学和理论计算机科学DIMACS系列》第2卷，J.Feigenbaum和M.Merritt编辑，美国数学学会，普罗维登斯，R.I.，第191-202页。

[77]

LUND，C.、FORTNOW，L.、KARLOFF，H.和NISAN，N.1992。交互式证明系统的代数方法。美国临床医学杂志39，859-868。

数字图书馆

[78]

LUND，C.和YANNAKAKIS，M.，1993年。最大子图问题的近似。ICALP 93会议录，计算机科学讲义，第700卷。Springer Verlag，纽约。

[79]

LUND，C.和YANNAKAKIS，M.，1994年。关于逼近极小化问题的困难。J.ACM 41，5（9月），960-981。

数字图书馆

[80]

MITCHELL，J.1998年。截断细分近似多边形细分：第二部分-几何k-MST、TSP和相关问题的简单PTAS。SIAM J.计算。，出现。

[81]

MOTWANI，R.1992年。加利福尼亚州斯坦福大学计算机科学系技术代表，在纽约斯普林格-Verlag的近似算法讲稿中。

[82]

PAPADIMITRIOU，C.和YANNAKAKIS，M.，1991年。优化、近似和复杂性类。J.计算。系统。科学。43, 425-440.

[83]

PAPADIMITRIOU，C.和YANNAKAKIS，M.，1993年。距离为1和2的旅行推销员问题。数学。操作。第18号决议，第1-11条。

[84]

PAZ，A.和MORAN，S.，1981年。非确定多项式优化问题及其近似。理论。计算。科学。15, 251-277.

[85]

PHILLIPS，S.和SAFRA，S.1992年。PCP和接近MAXSNP的更严格界限。手稿。斯坦福大学，加利福尼亚州斯坦福。

[86]

POLISHCHUK，A.和SPIELMAN，D.A.1994年。近似线性尺寸的全息证明。第26届ACM计算机理论年度研讨会论文集（加拿大魁北克省蒙特利尔，5月23日至25日）。ACM，纽约，第194-203页。

[87]

RAZ，R.1995年。平行重复定理。第27届美国计算机学会计算机理论年会论文集（内华达州拉斯维加斯，5月29日至6月1日）。ACM，纽约，第447-456页。

[88]

RAZ，R.和SAFRA，S.1997年。NP的亚常量错误概率低度检验和亚常量错误几率PCP表征。第28届ACM计算理论年会论文集（德克萨斯州埃尔帕索，5月4-6日）。ACM，纽约，第475-484页。

[89]

RUBINFELD，R.1990年。自检、自检和自校正程序的数学理论。博士论文。加州大学伯克利分校。

[90]

RUBINFELD，R.和SUDAN，M.，1996年。多项式的稳健特征及其在程序测试中的应用。SIAM J.计算。25,2（4月），252-271。

数字图书馆

[91]

萨赫尼，1975年。0/1背包问题的近似算法。美国临床医学杂志22，115-124。

数字图书馆

[92]

SAHNI，S.和GONZALEZ，T.1976年。P-完全近似问题。美国医学会期刊23，555-565。

数字图书馆

[93]

SCHWARTZ，J.1980年。多项式恒等式验证的概率算法。美国临床医学杂志27，701-717。

数字图书馆

[94]

SHAMIR，A.1992年。IP=PSPACE。J.ACM 39，4（10月），869-877。

数字图书馆

[95]

苏丹，M.1992/1996。多项式和证明的有效检查以及近似问题的难度。博士论文。加州大学伯克利分校，加利福尼亚州伯克利，1992年。也出现在ACM杰出论文中。《计算机科学讲义》，第1001卷。施普林格-维拉格，纽约，1996年。

[96]

TARDOS，G.1994年。多保护编码方案和三个证明人证明系统。第九届复杂性理论结构年会论文集。IEEE，纽约。

[97]

TRAKHTENBROT，B.1984年。对俄罗斯Perebor（brute-force search）算法方法的调查。Ann.历史。计算。6, 384-400.

数字图书馆

[98]

WELCH，L.和BERLEKAMP，E.，1986年。代数分组码的纠错。美国专利号4633470。

[99]

YANNAKAKIS，M.1994年。关于最大可满足性的逼近。J.算法17，3（11月），475-502。

数字图书馆

[100]

扎克曼，D.1996。对于NP-完成问题的不合适版本。SIAM J.计算。1293-1304年12月25日、6日。

数字图书馆

引用人

Hong J（香港）蔡英文陈X林德余Y林毅（Lin Y）李·R(2024)U型*智能与模糊系统杂志：工程与技术应用10.3233/JIFS-23213746:1(837-850)在线发布日期：2024年1月1日
https://dl.acm.org/doi/10.3233/JIFS-232137
巴托·L布蒂·S卡兹达A中提琴C依文·S索博辛斯基P拉戈大学埃斯帕尔扎J(2024)逼近的代数方法第39届ACM/IEEE计算机科学逻辑年度研讨会论文集10.1145/3661814.3662076(1-14)在线发布日期：2024年7月8日
https://dl.acm.org/doi/10.1145/366814.3662076
Ron-Zewi N号Rothblum R公司(2024)接近见证长度的局部证明美国医学会杂志10.1145/366148371:3(1-42)在线发布日期：2024年4月25日
https://dl.acm.org/doi/10.1145/3661483
显示更多引用者

索引术语

证明验证与逼近问题的困难
1. 计算数学
  1. 数学分析
    1. 数值分析
2. 计算理论

建议

近似问题的证明与困难
SFCS’92：第33届计算机科学基础年会论文集

PCP（f（n），g（n））类由所有语言L组成，对于这些语言L，存在一个使用O（f（n））随机位的多项式时间概率预言机，查询其预言机的O（g（n）位，其行为如下：如果L中的x存在预言机y。。。
阅读更多信息
多项式和证明的有效检验以及逼近问题的硬度
阅读更多信息
论计算电路复杂性的（非）NP-harrdness
CCC’15：第30届计算复杂性会议记录

最小电路尺寸问题（MCSP）是：给定布尔函数f的真值表和尺寸参数k，f的电路复杂度最多是k? 这是电路综合的决定性问题，自20世纪50年代以来一直在研究。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片美国医学会杂志

美国医学会杂志第45卷第3期

1998年5月

177页

国际标准编号：0004-5411

EISSN公司：1557-735倍

内政部：10.1145/278298

编辑：
F.T.莱顿
剑桥麻省理工学院

版权所有©1998 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1998年5月1日

在JACM中发布体积45,问题三

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

1,072
引文总数
查看引文
4,735
总下载次数

下载次数（过去12个月）601
下载次数（最近6周）79

其他指标

查看作者指标

引文

引用人

Hong J（香港）蔡英文陈X林D于Y林毅（Lin Y）李·R(2024)U型*智能与模糊系统杂志：工程与技术应用10.3233/JIFS-23213746:1(837-850)在线发布日期：2024年1月1日
https://dl.acm.org/doi/10.3233/JIFS-232137
巴托·L布蒂·S卡兹达A中提琴C依文·S索博辛斯基P拉戈大学埃斯帕尔扎J(2024)逼近的代数方法第39届ACM/IEEE计算机科学逻辑年会论文集10.1145/3661814.3662076(1-14)在线发布日期：2024年7月8日
https://dl.acm.org/doi/10.1145/366814.3662076
Ron-Zewi N号Rothblum R公司(2024)接近见证长度的局部证据美国医学会杂志10.1145/366148371:3(1-42)在线发布日期：2024年4月25日
https://dl.acm.org/doi/10.1145/3661483
加里比阶S(2024)嘉宾专栏：量子NP的7张脸ACM SIGACT新闻10.1145/3639528.363953554:4(54-91)在线发布日期：2024年1月3日
https://dl.acm.org/doi/10.1145/3639528.3639535
古鲁斯瓦米五世林B任X太阳Y吴凯（Wu K）莫哈尔B新卡尔一世奥唐纳R(2024)指数时间假设下的参数化不逼近假设第56届ACM计算理论年会论文集10.1145/3618260.3649771(24-35)在线发布日期：2024年6月10日
https://dl.acm.org/doi/10.1145/3618260.3649771
Hirahara S公司大坂N莫哈尔B新卡尔一世奥唐纳R(2024)概率可检重构证明与重构问题的不逼近性第56届ACM计算理论年会论文集10.1145/3618260.3649667(1435-1445)在线发布日期：2024年6月10日
https://dl.acm.org/doi/10.1145/3618260.3649667
科塔里P马诺哈尔P莫哈尔B新卡尔一世奥唐纳R(2024)线性三查询局部可校正码的指数下界第56届ACM计算理论年会论文集10.1145/3618260.3649640(776-787)在线发布日期：2024年6月10日
https://dl.acm.org/doi/10.1145/3618260.3649640
班加莱AHarsha P公司天堂O塔尔A(2024)矩形PCP的刚性矩阵SIAM计算机杂志10.1137/22M1495597号53:2(480-523)在线发布日期：2024年4月3日
https://doi.org/10.1137/22M1495597
Ben-Ameur W公司Kushik N公司马达洛尼A内托JWatel D公司(2024)无米拟阵离散应用数学2016年10月10日/j.dam.2022.12.008354(94-107)在线发布日期：2024年9月
https://doi.org/10.1016/j.dam.2022.12.008
山口MShiraishi N公司Hukushima K号(2024)有限维自旋玻璃量子退火中横向磁化中量子一级跃迁可避免性的证明统计物理杂志2007年10月10日/10955-023-03223-2191:2在线发布日期：2024年1月28日
https://doi.org/10.1007/s10955-023-0323-2
显示更多引用者

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此文章

媒体

数字

其他

桌子

查看问题目录