天野之弥;亚基拉·马鲁卡 近似方法的潜力。 (英语) Zbl 1061.68063号 SIAM J.计算。 33,第2期,433-447(2004). 摘要:发展了近似方法的某些技术,我们建立了关于在具有(m)个顶点的图中检测大小团的电路的下界的以下语句的精确版本:对于(5\leq-s\leqm/4),计算CLIQUE((m,s)的单调电路至少包含(1/2)1.8^{min(\sqrt{s-1}/2,m/(4s))}门:如果非单调电路使用“少量”否定计算CLIQUE,则该电路包含指数数量的门。前者通过在近似框架内使用所谓的瓶颈计数参数来证明,后者通过引入电路中限制否定的概念并将这些参数推广到非单调情况来验证。 引用于4文件 MSC公司: 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 65年第68季度 算法和问题复杂性分析 94立方厘米 交换理论,布尔代数的应用;布尔函数(MSC2010) 关键词:电路复杂性;下限;集团功能;近似法;单调电路;负限电路 PDF格式BibTeX公司 XML格式引用 \textit{K.Amano}和\textit{A.Maruoka},SIAM J.Comput。33,编号2,433--447(2004;Zbl 1061.68063) 全文: 内政部