英戈·韦格纳 关于团函数的分支程序和决策树的复杂性。 （英语） Zbl 0621.68028号 TAPSOFT’87，程序。国际Conf.软件开发，比萨/意大利1987年，第1卷：代数和编程树，Lect。注释计算。科学。249，1-12（1987）中描述。 [关于整个系列，请参见Zbl 0605.00015号.]由于在证明布尔函数的电路复杂性下限方面进展缓慢，人们对布尔电路的限制模型感兴趣，如深度限制电路、决策树、分支程序、宽k分支程序和k次单分支程序。我们在这里证明了团函数的决策树复杂性的指数下界。对于单时间分支程序，我们证明了k团函数的大多项式下界，如果k是固定的，k的指数下界随n增加。最后，我们引入了布尔函数序列的类（BP_k（P））的层次结构，这些类可以由多项式大小的k次分支程序计算。我们构造性地证明了（BP_1（P））是（BP_2（P）的一个恰当子集。 引用于2文件 理学硕士： 65年第68季度 算法和问题复杂性分析 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 关键词：电路复杂性;布尔电路;分支程序;下限;团函数的决策树复杂性;布尔函数 引文：Zbl 0605.00015号 PDF格式BibTeX公司 XML格式