手机知网 App
24小时专家级知识服务
打 开
数学
极小不可满足公式的两个多项式时间可判定类
研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x1∨…∨xn 和┐x1∨…∨┐xn,证明了当k≤ 4时 ,可在多项式时间内判定F是否是极小不可满足的
4 72
手机阅读本文
下载APP 手机查看本文
中国科学(A辑)
1999年03期
相似文献
图书推荐
相关工具书

搜 索