论文部分内容阅读
SAT问题（可满足性问题）是理论计算机科学的核心问题，研究SAT问题的方法很多。利用极小不可满足公式的性质来研究SAT问题是近几年的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方法研究了差为2的极大极小不可满足公式集（MAX—MU（2））的结构和复杂度．
MAX—MU（2）的结构和复杂度
【摘 要】
：
SAT问题（可满足性问题）是理论计算机科学的核心问题，研究SAT问题的方法很多。利用极小不可满足公式的性质来研究SAT问题是近几年的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方
【机 构】
：
襄樊学院数学系
【出 处】
：
襄樊学院学报
【发表日期】
：
2006年5期
其他文献
在Feenstra和Hanson所提出的激励制度模型之下，中国加工企业最优的生产控制模式是委托人或代理人独占加工投入采购权和加工企业所有权。利用中国的统计数据对这一理论，即独占假
①目的探讨气管与支气管异物手术主要并发症发生的原因及其预防措施.②方法对记录完整的520例气管与支气管异物手术患者中32例并发症进行回顾性分析.③结果 520例中喉水肿13
严重全身性疾患并发肱骨骨折、不稳定的尺桡骨骨折、尺桡骨开放粉碎性双骨折内固定术后慢性感染、骨髓炎等,临床治疗较困难.1999～2002年,我院应用轻便型外固定架治疗此类复杂
猪繁殖与呼吸障碍综合征(俗称猪蓝耳病)是由猪繁殖与呼吸障碍综合征病毒(porcine reproductive and respiratory syndrome virus,PRRSV)引起的一种猪的烈性传染病。该病1987
目前，我国新型农村合作医疗制度的实施具有重要的政治学意义，是党和国家在新的历史条件下为维护社会公正、社会稳定的政治意图的体现。农民自身、社会性利益团体和大众媒体在新
中国哲学形而上指性相不二、心物不二。儒、禅、道三家于此融通。三家证悟形而上的具体方法不同，但均以“诚”为共同特征。中国哲学本体与方法、形上与形下不二。应正确认识理
文章讨论了一类带有时滞的相互依存的系统解的渐近行为.应用上下解和单调迭代方法获得系统全局解的共存性和解的渐近行为.
政党具有两种属性——阶级性和社会性，阶级性是政党的本质属性，但是从社会经济发展的要求、政治发展的要求、各政党的发展历史和发展趋势、各国的社会阶层结构等角度来看，政党的