论文部分内容阅读
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题——析取范式永真性判定问题．本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均覆盖的析取范式中，含有三角式的析取范式占绝大多数．基于这个结果，本文得出了一个求解析取范式永真性判定问题的近似快速算法．
对于析取范式构造的进一步分析
【摘 要】
：
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题——析取范式永真性判定问题．本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均
【出 处】
：
计算机学报
【发表日期】
：
1994年05期
【基金项目】
：
国家自然科学基金
其他文献
英语特殊疑问句的习得研究一直是二语习得研究领域的热门话题。很多学者对于它的习得顺序和难度做出了大胆的预测。本研究基于Stromswold (1995)和O’Grady (1997)关于主宾语
一般而言，时态与时间概念之间有对应关系，然而它们之间的不一致现象也常有发生。许多学者已经对现在时态的非现在时用法进行过研究，然而他们的研究中有些仅局限于时间领域内，有些