计算机工程与应用 ›› 2017, Vol. 53 ›› Issue (9): 51-56.DOI: 10.3778/j.issn.1002-8331.1511-0249
李前利,江 华
LI Qianli, JIANG Hua
摘要: 命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度[d]呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为[d2],大大提高了算法的计算效率。