Sakai、Takayuki；濑户县；铃木Tamaki；纯一县Teruyama 带加权对称门的有界深度电路：可满足性、下限和压缩。 （英语） Zbl 1423.68218号 J.计算。系统。科学。 105, 87-103 (2019). 摘要：布尔函数\（f:\{0，1\}^n\rightarrow\{0、1\}\）是加权对称如果存在一个函数（g:mathbb{Z}\rightarrow\{0，1\}）和整数（w0，w1，\ldots，w_n），使得（f（x_1，\ldot，x_n）=g（w0+\sum_{i=1}^n w_ix_i）保持不变。本文给出了具有AND、OR、NOT门和有限个加权对称门的有界深度电路的可满足性问题的算法。即使门的数量是超多项式，并且对称门的最大权重几乎是指数的，我们的算法在时间上的运行速度也比\（2^n\）快。作为一个特例，我们得到了在时间（operatorname{poly}（n^t）\cdot2^{n-n^{1/O（t）}}）内运行的最大可满足性问题的一个算法，该算法适用于带有变量和子句的实例。通过对算法的分析，我们给出了此类电路的平均情况下界和压缩算法，以及此类电路大多数投票的最坏情况下界。 MSC公司： 65年第68季度 算法和问题复杂性分析 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 关键词：殴打蛮力；电路复杂性；最大可满足性；限制；收缩，收缩；对称函数；线性阈值函数 PDF格式BibTeX公司 XML格式引用 \textit{T.Sakai}等人，《计算杂志》。系统。科学。105、87-103（2019年；Zbl 1423.68218） 全文： 内政部 链接 参考文献： [1] Abboud，A。；威廉姆斯，R。；Yu，H.，多项式方法在算法设计中的更多应用，（第二十六届ACM-SIAM离散算法研讨会论文集（2015）），218-230·Zbl 1372.68282号 [2] 天野之弥。；Saito，A.，针对NEXP具有超准多项式大小下限的多层阈值门的非均匀电路类，（第九届语言与自动机理论与应用国际会议论文集（LATA）（2015）），461-472·Zbl 1451.68104号 [3] Amano，K。；Saito，A.，一类稠密深度双阈值电路的可满足性算法，IEICE Trans。，98-D，1，108-118（2015） [4] Aspnes，J。；贝格尔，R。；Furst，M.L。；Rudich，S.，《投票多项式的表达力》，组合数学，14，2，135-148（1994）·Zbl 0845.68045号 [5] 巴拜，L。；尼桑，N。；Szegedy，M.，多方协议，用于对数空间的伪随机生成器，以及时空权衡，J.Comput。系统。科学。，45, 2, 204-232 (1992) ·Zbl 0769.68040号 [6] 巴林顿，D.A.M。；Straubing，H.，模计数的复多项式和电路下限，计算。复杂。，4, 325-338 (1994) ·Zbl 0829.68045号 [7] Beame，P。；Impagliazzo，R。；Srinivasan，S.，用小高度决策树逼近（AC^0）和SAT的确定性算法，（第27届计算复杂性会议论文集（2012）），117-125 [8] 贝格尔（Beigel，R.），什么时候“超多数之门”有帮助？polylog\（（n）\）多数门等价于一个Comput。复杂。，4, 314-324 (1994) ·Zbl 0829.68058号 [9] 贝格尔，R。；莱因戈尔德，N。；斯皮尔曼，D.A.，PP在交叉口关闭，J.Compute。系统。科学。，50, 2, 191-202 (1995) ·Zbl 0827.68040号 [10] Ben-Sasson，E。；Viola，E.，带投影查询的短PCP，（第41届国际自动化、语言和编程学术讨论会（ICALP）会议记录，第一部分（2014）），163-173·Zbl 1410.68135号 [11] 卡拉布罗，C。；Impagliazzo，R。；Paturi，R.，SAT中条款宽度和条款密度之间的对偶性，（第21届IEEE计算复杂性年会（CCC）会议论文集（2006）），252-260 [12] 卡拉布罗，C。；Impagliazzo，R。；Paturi，R.，《小深度电路可满足性的复杂性》，（第四届参数化和精确计算国际研讨会（IWPEC）（2009）修订论文集），75-85·兹比尔1273.68159 [13] Carmosino，M.L。；Impagliazzo，R。；卡巴内茨，V。；Kolokolova，A.，《自然下限的算法》，（第31届计算复杂性会议论文集（2016）），10:1-10:24·Zbl 1380.68242号 [14] Chattopadhyay，A。；Hansen，K.A.，少模对称门电路的下限，（第32届国际自动化学术讨论会论文集，语言与编程（ICALP）（2005）），994-1005·Zbl 1085.68061号 [15] Chen，R.，有限基上布尔公式的可满足性算法和下限，（第40届计算机科学数学基础国际研讨会论文集，第二部分（2015）），223-234·Zbl 1465.68201号 [16] 陈，R。；Kabanets，V.，《小型线性电路的相关界和#SAT算法》，Theor。计算。科学。，654, 2-10 (2016) ·兹比尔1353.68113 [17] 陈，R。；卡巴内茨，V。；科洛科洛娃，A。；沙利蒂尔，R。；扎克曼，D.，挖掘元算法的电路下限证明，计算。复杂。，24, 2, 333-392 (2015) ·Zbl 1401.68116号 [18] 陈，R。；卡巴内茨，V。；Saurabh，N.，《小型De Morgan公式的改进确定性#SAT算法》，《算法》，76，1，68-87（2016）·Zbl 1353.68115号 [19] 陈，R。；Santhanam，R.，稀疏MAX-SAT和MAX-\（k\）-CSP的改进算法，（第18届可满足性测试理论与应用国际会议论文集（2015）），33-45·Zbl 1476.68248号 [20] 陈，R。；桑塔纳姆，R。；Srinivasan，S.，小阈值电路的平均情形下界和可满足性算法，理论计算。，14，1，1-55（2018）·Zbl 1395.68138号 [21] Cygan，M。；戴尔，H。；Lokshtanov，D。；马克思，D。；Nederlof，J。；冈本，Y。；帕图里，R。；Saurabh，S。；Wahlström，m.，《关于像CNF-SAT一样困难的问题》，ACM Trans。算法，12，3，第41条pp.（2016）·Zbl 1442.68064号 [22] 福斯特，J。；克劳斯，M。；Lokam，S.V.公司。；穆巴拉克·扎诺夫（R.Mubarakzjanov）。；施密特，N。；Simon，H.，通信复杂性、线性排列和计算复杂性之间的关系，（第21届软件技术和理论计算机科学基础会议论文集（2001）），171-182·Zbl 1052.68051号 [23] Goldmann，M.，《论顶部门槛门的威力》，Inf.Process。莱特。，63, 6, 287-293 (1997) ·兹比尔1336.94095 [24] 戈德曼，M。；Hástad，J。；Razborov，A.A.，多数门与一般加权门限门，计算。复杂。，2, 277-300 (1992) ·Zbl 0770.68054号 [25] 戈德曼，M。；Karpinski，M.，用多数电路模拟阈值电路，SIAM J.Compute。，27, 1, 230-246 (1998) ·Zbl 0912.68030号 [26] Golovenv，A。；库利科夫，A.S。；Smal，A.V。；Tamaki，S.，门消除：电路大小下限和#sat上限，Theor。计算。科学。，719，46-63（2018），会议版本：电路尺寸下限和#SAT上限通过一般框架，MFCS 2016·Zbl 1388.68117号 [27] 戈帕兰，P。；Servedio，R.A.，《带阈值门的学习和下限（AC^0）》，（《第13近似和第14随机学报》（2010）），588-601·Zbl 1305.68106号 [28] Hajnal，A。；Maass，W。；Pudlák，P。；塞格迪，M。；Turán，G.，有界深度的阈值电路，J.Compute。系统。科学。，46129-154（1993年）·Zbl 0801.68052号 [29] Hansen，K.A。；Miltersen，P.B.，《一些遇到中间回路下限》（第29届国际计算机科学数学基础研讨会论文集（2004）），334-345·Zbl 1096.68062号 [30] Hástad，J。；Goldmann，M.，《关于小深度阈值电路的功率》，计算。复杂。，1, 113-129 (1991) ·Zbl 0774.68060号 [31] Impagliazzo，R。；洛维特，S。；帕图里，R。；Schneider，S.，带线性数约束的0-1整数线性规划，计算复杂性电子学术讨论会（ECCC），TR14-24（2014） [32] Impagliazzo，R。；马修斯（Matthews，W.）。；Paturi，R.，《（AC^0）的可满足性算法》，（第23届ACM-SIAM离散算法研讨会论文集（2012）），961-972·兹比尔1423.68583 [33] Impagliazzo，R。；Paturi，R.，《关于（k）-SAT的复杂性》，J.Compute。系统。科学。，62, 2, 367-375 (2001) ·Zbl 0990.68079号 [34] Impagliazzo，R。；帕图里，R。；Schneider，S.，稀疏深度双阈值电路的可满足性算法，（第54届IEEE计算机科学基础研讨会论文集（2013）），479-488 [35] Impagliazzo，R。；帕图里，R。；Zane，F.，哪些问题具有强指数复杂性？，J.计算。系统。科学。，第63页，第4512-530页（2001年）·Zbl 1006.68052号 [36] 贾汉茹，H。；迈尔斯，E。；Viola，E.，局部还原，Inf.计算。，261，第2部分，281-295（2018）·Zbl 1394.68184号 [37] Johnson，D.S.，组合问题的近似算法，J.Compute。系统。科学。，9, 3, 256-278 (1974) ·Zbl 0296.65036号 [38] 科马尔戈德斯基，I。；Raz，R。；Tal，A.，De Morgan公式大小的改进平均情况下限：匹配最坏情况下限，SIAM J.Compute。，46，1，37-57（2017）·Zbl 1376.03043号 [39] 科帕蒂，S。；Srinivasan，S.，《证明（AC^0[\oplus]\）电路的多项式及其在下限和电路压缩中的应用》，理论计算。，14, 1, 1-24 (2018) ·Zbl 1412.68071号 [40] Lokshtanov，D。；马克思，D。；Saurabh，S.，基于指数时间假设的下限，布尔。欧洲协会。计算。科学。，105, 41-72 (2011) ·Zbl 1258.68068号 [41] 洛维特，S。；Srinivasan，S.，具有（n^{1-o（1）}）对称门的多尺寸（AC^0）电路的相关界，（2011年第14届近似会议和第15届随机会议（2011）），640-651·Zbl 1343.68098号 [42] Lupanov，O.B.，关于电路合成方法，Izv。维斯什。Učebn。扎韦德。，无线电技术。，1120-140（1958），（俄语） [43] Marx，D.，SETH的后果：更多问题的紧边界，（细粒度复杂性和算法设计训练营（2015）），（摘要、幻灯片和存档视频） [44] Muroga，S。；托达，I。；Takasu，S.，《多数决策要素理论》，J.Franklin Inst.，271，5，376-418（1961）·Zbl 0196.51705号 [45] 长尾，A。；Seto，K。；Teruyama，J.，（k）-IBDD可满足性的适度指数时间算法，算法，80，10，2725-2741（2018）·Zbl 1391.68101号 [46] Oliveira，I.C.，《算法与电路下限》，计算复杂性电子座谈会（ECCC），TR13-117（2013） [47] Podolskii，V.V.，具有少量阈值门的有界深度电路的指数下界，Inf.Process。莱特。，1127267-271（2012年）·Zbl 1237.68091号 [48] Rao，A.，低重量仿射源萃取器，（第24届IEEE计算复杂性年会（CCC）会议论文集（2009）），95-101 [49] Razborov，A.，带逻辑加法的完全基上有界深度网络大小的下界，数学。学术笔记。科学。苏联，41，4，333-338（1987）·Zbl 0632.94030号 [50] Razborov，A。；Rudich，S.，《自然证明》，J.Compute。系统。科学。，55, 1, 24-35 (1997) ·Zbl 0884.68055号 [51] Razborov，A。；Wigderson，A.，\（n^｛\Omega（\log n）｝\）在底部具有AND门的depth-3阈值电路大小的下界，Inf.Process。莱特。，45, 6, 303-307 (1993) ·Zbl 0783.68046号 [52] Sakai，T。；Seto，K。；Tamaki，S.，通过宽度缩减和贪婪限制求解Max SAT的稀疏实例，理论计算。系统。，57, 2, 426-443 (2015) ·Zbl 1347.68312号 [53] Sakai，T。；Seto，K。；Tamaki，S。；Teruyama，J.，“顶部带有对称门，底部带有and门的深度2电路的可满足性算法”，计算复杂性电子讨论会（ECCC），TR15-136（2015） [54] Sakai，T。；Seto，K。；Tamaki，S。；Teruyama，J.，《带加权对称门的有界深度电路：可满足性、下限和压缩》，（第41届计算机科学数学基础国际研讨会论文集（2016）），82:1-82:16·兹比尔1398.68259 [55] Santhanam，R.，Fighting perebor:公式和QBF可满足性的新算法和改进算法，（第51届IEEE计算机科学基础年会论文集（2010）），183-192 [56] Santhanam，R.，《反讽复杂性：可满足性算法和电路下限》，布尔。欧洲协会。计算。科学。，106, 31-52 (2012) ·Zbl 1261.68062号 [57] Schuler，R.，合取范式公式可满足性问题的算法，J.算法，54，1，40-44（2005）·Zbl 1090.68052号 [58] Seto，K。；Tamaki，S.，全二进制基上公式的可满足性算法和平均情况硬度，计算。复杂。，22, 2, 245-274 (2013) ·Zbl 1286.68208号 [59] Smolensky，R.，布尔电路复杂性下界理论中的代数方法，（第19届美国计算机学会计算理论年度研讨会论文集（STOC）（1987）），77-82 [60] Tal，A.，#收缩的SAT算法，计算复杂性电子座谈会（ECCC），TR15-114（2015） [61] Viola，E.，具有少量任意对称门的恒定深度电路的伪随机比特，SIAM J.Compute。，36, 5, 1387-1403 (2007) ·Zbl 1124.68037号 [62] Wang，F.，NEXP没有深度为（o（\log\log n）的非均匀拟多项式ACC电路，（第八届计算模型理论与应用年会论文集（TAMC）（2011）），164-170·Zbl 1331.68086号 [63] Williams，R.，《改进穷举搜索意味着超多项式下限》，SIAM J.Compute。，42, 3, 1218-1244 (2013) ·Zbl 1275.68071号 [64] Williams，R.，电路算法和算法电路，（第29届IEEE计算复杂性年会（CCC）会议论文集（2014）），248-261 [65] Williams，R.，非均匀ACC电路下限，J.ACM，61，1，2（2014）·Zbl 1295.68117号 [66] Williams，R.，《自然证明与去中心化》，SIAM J.Compute。，45, 2, 497-529 (2016) ·Zbl 1339.68101号 [67] Williams，R.R.，《具有线性阈值门电路的新算法和下限》，理论计算。，14, 1, 1-25 (2018) ·Zbl 1410.68127号 [68] Zane，F.，《电路、CNF和可满足性》（1998），加州大学圣地亚哥分校博士论文 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。