×
哈米德·贾汉茹;埃里克·迈尔斯;伊曼纽尔·维奥拉

局部减排。 （英语） Zbl 1394.68183号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第一部分：柏林：施普林格出版社（ISBN 978-3-662-47671-0/pbk；978-3-662-47672-7/ebook）。《计算机科学讲义》9134，749-760（2015）。
摘要：我们将非确定性时间（T\geq 2^n）减少为一个准线性大小的3SAT实例（\phi）（|\phi|=T{\cdot}\log^{O（1）}T），这样就有一个显式电路（C），在输入时，一个\（log|\phi|）位的索引\（i）输出\（i。之前的最佳结果是NC（^1）中的“C”。即使在多项式大小（|\phi|=\mathrm{poly}（T））的简单设置中，以前的最佳结果也是AC（^0）中的（C）。{}更一般地说，对于任何时间（T\geqn）和参数（r\leqn），我们都可以得到（\log_2|\phi|=\max（\log T，n/r）+O（\logn）+O。{}作为应用程序，我们将R.威廉姆斯“可满足性算法和电路下限之间的联系[in:ACM第45届计算理论研讨会论文集，STOC'13。2013年6月1日至4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）。21–30 (2013;兹比尔1293.68135); SIAM J.计算。42，第3期，1218–1244（2013；Zbl 1275.68071号)]。
关于整个系列，请参见[Zbl 1316.68014号]。

引用于10文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

引文：

Zbl 1293.68135号;Zbl 1275.68071号
PDF格式BibTeX公司 XML格式引用
\textit{H.Jahanjou}等人，Lect。注释计算。科学。9134749--760（2015年；Zbl 1394.68183）
全文： 内政部 arXiv公司

参考文献：

[1] Impagliazzo，R.，Paturi，R.：关于·Zbl 0990.68079号 ·doi:10.1006/jcss.2000.1727
[2] Impagliazzo，R.，Kabanets，V.，Wigderson，A.：寻找简单的证据：指数时间与概率多项式时间。In:IEEE计算复杂性会议（CCC）（2001）·Zbl 1059.68047号
[3] Lachish，O.，Raz，R.：布尔纳电路4.5n-O（n）的显式下界。收录：ACM Symp。关于计算理论（STOC），第399-408页（2001年）·Zbl 1323.68303号
[4] Agrawal，M.、Allender，E.、Impagliazzo，R.、Pitassi，T.、Rudich，S.：降低简化的复杂性。计算复杂性10（2），117-138（2001）·Zbl 1052.68052号 ·doi:10.1007/s00037-001-8191-1
[5] Dantsin，E.、Goerdt，A.、Hirsch，E.A.、Kannan，R.、Kleinberg，J.、Papadimitriou，C.、Raghavan，P.、Schöning，U.：确定性·兹比尔1061.68071 ·doi:10.1016/S0304-3975（01）00174-8
[6] Impagliazzo，R.，Matthews，W.，Paturi，R.：AC的可满足性算法
[7] Iwama，K.，Morizumi，H.：的显式下限
[8] Fortnow，L.，Lipton，R.，van Melkebeek，D.，Viglas，A.：可满足性的时空下限。ACM期刊52（6），835-865（2005）·Zbl 1326.68148号 ·数字对象标识代码：10.1145/1101821.1101822
[9] Ben-Sasson，E.，Goldreich，O.，Harsha，P.，Sudan，M.，Vadhan，S.P.：可在多对数时间内验证的短PCP。在：IEEE计算复杂性会议（CCC），第120-134页（2005）
[10] van Melkebeek，D.：可满足性下限和相关问题的调查。理论计算机科学基础与趋势2（3），197-303（2006）·Zbl 1193.68122号 ·doi:10.1561/0400000012
[11] 卡拉布罗，C.：长路径密集的系列平行图的大小的下限。计算复杂性电子座谈会（ECCC），15（110）（2008）
[12] Mie，T.：短pcpps可在多对数时间内通过o（1）查询进行验证。安。数学。Artif公司。智力。56(3-4), 313-338 (2009) ·Zbl 1184.68464号 ·doi:10.1007/s10472-009-9169-y
[13] Arora，S.，Steurer，D.，Wigderson，A.：低复杂度图的研究。收录于：Albers，S.，Marchetti-Paccamela，A.，Matias，Y.，Nikoletseas，S..，Thomas，W.（编辑）ICALP 2009，第一部分，LNCS，第5555卷，第119-131页。斯普林格，海德堡（2009）·Zbl 1248.68365号 ·doi:10.1007/978-3-642-02927-112
[14] Allender，E.，Kouckí，M.：通过自我还原扩大下限。ACM杂志，57（3）（2010）·Zbl 1327.68112号
[15] Hertli，T.：3-SAT更快、更简单-PPSZ的唯一SAT边界通常保持不变。收录：IEEE Symp。计算机科学基础（FOCS），第277-284页（2011年）·Zbl 1292.68092号
[16] Makino，K.、Tamaki，S.、Yamamoto，M.：3-SAT的HSSW算法去随机化（2011）。CoRR，abs/1102.3766
[17] Williams，R.：客座专栏：围绕电路复杂性界限的休闲之旅。SIGACT新闻42（3），54-76（2011）·doi:10.1145/2034575.2034591
[18] Williams，R.：非均匀ACC电路下限。在：IEEE计算复杂性会议（CCC），第115-125页（2011）
[19] Ben-Sasson，E.，Chiesa，A.，Genkin，D.，Tromer，E.：关于概率可检验证明的具体有效阈值。计算复杂性电子座谈会（ECCC）19、45（2012）·Zbl 1293.94054号
[20] 维奥拉，E.，NEU。从RAM到SAT（2012年）。
[21] Beame，P.、Impagliazzo，R.、Srinivasan，S.：近似AC
[22] Santhanam，R.、Williams，R.：均匀电路、下限和qbf算法。计算复杂性电子座谈会（ECCC）19、59（2012）
[23] Kulikov，A.S.，Melanich，O.，Mihajlin，I.：A 5\（n \）·Zbl 1357.68074号 ·doi:10.1007/978-3-642-30870-3_44
[24] Oliveira，I.C.：算法与电路下限（2013）。CoRR，abs/1309.0249
[25] Ben-Sasson，E.，Chiesa，A.，Genkin，D.，Tromer，E.：从RAM快速减少到可委托简洁约束满足问题。摘自：ACM理论计算机科学会议创新（ITCS），第401-414页（2013）·Zbl 1361.68088号
[26] Chen，R.，Kabanets，V.，Saurabh，N.：小型De Morgan公式的改进确定性#SAT算法。技术报告TR13-150，计算复杂性电子座谈会（2013）·Zbl 1353.68114号
[27] Impagliazzo，R.、Paturi，R.和Schneider，S.：稀疏深度2阈值电路的可满足性算法。IEEE交响乐。计算机科学基础（FOCS）（2013）
[28] Viola，E.：计算下限的挑战（2013年）。
[29] 威廉姆斯，R.：自然证明与疯狂化。收录：ACM Symp。《计算理论》（STOC）（2013）·Zbl 1293.68135号
[30] Williams，R.：改进穷举搜索意味着超多项式下限。SIAM J.on Computing计算机杂志42（3），1218-1244（2013）·Zbl 1275.68071号 ·数字对象标识码：10.1137/10080703X
[31] Williams，R.：线性阈值门电路的新算法和下限（2014）·Zbl 1315.68142号
[32] Jahanjou，H.、Miles，E.、Viola，E.：用于排序和连接的简洁明确的电路（2014）。
[33] Ben-Sasson，E.，Viola，E.：具有投影查询的短PCP（2014）·Zbl 1410.68135号
[34] Hennie，F.，Stearns，R.：多任务机器的两磁带模拟。ACM杂志第13卷，第533-546页（1966年）·Zbl 0148.24801号 ·数字对象标识代码：10.1145/321356.321362
[35] Batcher，K.E.：分类网络及其应用。AFIPS春季联合计算会议32，307-314（1968）
[36] Valiant，L.G.：低级复杂性中的图论论证。收录：Gruska，J.（编辑）MFCS 1977。LNCS，第53卷，第162-176页。斯普林格，海德堡（1977）·兹伯利0384.68046 ·doi:10.1007/3-540-08353-7_135
[37] Schnorr，C.-P.：NQL中的可满足性是拟线性完备的。ACM杂志25（1），136-145（1978）·Zbl 0364.68056号 ·数字对象标识代码：10.1145/322047.322060
[38] Paturi，R.，Pudlák，P.，Saks，M.E.，Zane，F.：ACM 52（3），337-364（2005）中k-sat.J.的改进指数时间算法·Zbl 1297.68217号 ·数字对象标识代码：10.1145/1066100.1066101
[39] Pippenger，N.，Fischer，M.J.：复杂性度量之间的关系。美国医学会杂志26（2），361-381（1979）·Zbl 0405.68041号 ·doi:10.1145/322123.322138
[40] Ruzzo，W.L.：关于均匀电路复杂性。计算机与系统科学杂志22（3），365-383（1981）·Zbl 0462.68013号 ·doi:10.1016/0022-0000（81）90038-6
[41] Blum，N.：一个需要3n网络大小的布尔函数。理论计算机科学28，337-345（1984）·Zbl 0539.94036号 ·doi:10.1016/0304-3975（83）90029-4
[42] 库克，S.A.：短命题公式代表非确定性计算。信息处理信件26（5），269-270（1988）·Zbl 0633.68034号 ·doi:10.1016/0020-0190（88）90152-4
[43] Gurevich，Y.，Shelah，S.：近似线性时间。摘自：《Botik的逻辑》，计算机科学逻辑基础研讨会，第108-118页（1989年）·Zbl 0673.03026号
[44] Yao，A.C.-C:关于ACC和阈值电路。收录：IEEE Symp。计算机科学基础（FOCS），第619-627页（1990）
[45] Robson，J.M.：从RAM计算到可满足性的O（T log T）简化。理论计算机科学82（1），141-149（1991）·Zbl 0724.68034号 ·doi:10.1016/0304-3975（91）90177-4
[46] Hástad，J.，Goldmann，M.：关于小深度阈值电路的功率。计算。复杂性1（2），113-129（1991）·Zbl 0774.68060号 ·doi:10.1007/BF0127217
[47] Shoup，V.：在有限域中搜索原始根。数学。公司。58, 369-380 (1992) ·Zbl 0747.11060号 ·doi:10.1090/S0025-5718-1992-1106981-9
[48] Goldmann，M.，Hástad，J.，Razborov，A.A.：多数门与一般加权门槛门。计算复杂性2，277-300（1992）·Zbl 0770.68054号 ·doi:10.1007/BF01200426
[49] Hajnal，A.，Maass，W.，Pudlák，P.，Szegedy，M.，Turán，G.：有界深度的阈值电路。计算机与系统科学杂志46（2），129-154（1993）·Zbl 0801.68052号 ·doi:10.1016/0022-0000（93）90001-D
[50] Polishchuk，A.，Spielman，D.A.：近似线性尺寸的全息证明。收录：ACM Symp。关于计算理论（STOC），第194-203页（1994）·Zbl 1345.68180号
[51] Beigel，R.，Tarui，J.：关于ACC计算复杂性4（4），350-366（1994）·Zbl 0835.68040号 ·doi:10.1007/BF01263423
[52] Vollmer，H.：电路复杂性简介。柏林施普林格-弗拉格出版社（1999年）·Zbl 0931.68055号 ·数字对象标识代码：10.1007/978-3-662-03927-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。