co-NP问题相关硕士博士期刊学术论文

利用叠代计算μ-演算公式时的单调特性，提出了一个分块计算嵌套μ-演算公式的全局算法，算法时间复杂度为O（n^d/2），空间复杂度为O（d×......