论文部分内容阅读
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题－析取范式永真性判定问题。本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均覆盖的析取范式中，含有三角式的析取范式占绝大多数。基于这个结果，本文得出了一个求解析取范式永真性判定问题的近似快速算法。
对于析取范式构造的进一步分析
【摘 要】
：
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题－析取范式永真性判定问题。本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均覆
【机 构】
：
华中理工大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1994年5期
【基金项目】
：
国家自然科学基金
其他文献
本文是文献［１］的续篇，专门论ＰＲＮＳ数母乘法和除法算法，重点介绍宏系数分解法和差方法原理及两种可能的数母乘法器结构方案以及无需移位的除法算法。
随着功能性氨基酸研究的进一步深入．作为精氨酸合成前体的脯氨酸在猪营养方面的作用引起越来越多学者的重视。在传统营养学中．人们只重视必需氨基酸在动物营养中的作用．随着对氨
通过对建筑工程招投标阶段存在的问题和现状进行分析,提出了科学合理、更为适用且符合规定的招投标方法与措施,不仅确保了招投标工作的顺利开展,还在中标单位保证建筑工程质
京华时报记者从河北大午农牧集团得到的消息．由新希望集团和大午集团共同出资的大型商品猪养殖项目新希望大午农牧有限公司日前成立．该项目总投资预计为2.25亿元，建成后年产值将
通过体外法研究不同水平的甘露寡糖（0、0．8％、1．0％及1．2％）对锦江黄牛瘤胃微生物发酵功能的影响。结果表明：Et粮中添加甘露寡糖可以显著提高培养液中微生物蛋白（MCP）含量（P〈0．05）：可以降低培
谣传是信息网络中结点之间的一种常见的、重要的信息交换方式，在谣传过程中，每一个结点都得到ｋ个结点的信息，这个概念在计算机网络及其它信息、通信网络的设计中有着重要的意义，本
目的探讨产时宫颈封闭及充分休息软化宫颈对处理宫颈水肿的临床观察。方法选取2006年11月至2007年10月我院分娩产妇中,抽取150例宫颈水肿孕妇,随机取50例用利多卡因封闭宫颈
益生素是一种被添加到日粮中改善肠道微生物平衡的功能性产品．是一种能够增进宿主健康的非消化性的成分。百泰A中含有部分直溶性酵母、乳成分和一些发酵代谢产物．是一种新型的
本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环
本文提出了弱公平网的概念，并给出了判断一个Ｐｅｔｒｉ网是否是弱公平网的一组充分必要条件。