布尔函数判定树复杂性的理论与方法

本课题主要研究布尔函数的判定树复杂性。我们将对组合方法、代数方法和拓扑方法等已有研究方法进行分析和总结，引进置换群理论及调和分析等工具，借鉴其它复杂性类的研究成果和思想方法，建立新的、有效的途径和理论框架，对布尔函数的判定树复杂性这一方向上的主要问题进行深入研究，推进该领域中两个悬而未决的重要猜想的解决，确定一些重要的布尔函数类的判定树复杂性，解决相关的一些公开问题，扩充和丰富判定树复杂性的系统理论。