【摘 要】
：
一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字.NT-HIT(k)是公式的子句数与变元数之差为k的NT-HIT公式类.通过构造一个命题公式Hn,m,
【基金项目】
：
贵州省高层次人才基金，贵州省自然科学基金
论文部分内容阅读
一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字.NT-HIT(k)是公式的子句数与变元数之差为k的NT-HIT公式类.通过构造一个命题公式Hn,m,我们证明了: (1)Hn,m 可满足当且仅当存在一个含有n个变元和m个子句的NT-HIT公式.(2)对于NT-HIT(1)中的任意一个公式F,存在一个文字L,L在F中仅出现一次.进一步,我们证明了:对于k≥2, 公式Hn,n+k是一个不可满足公式.于是,对于k≥2,NT-HIT(k)是一个空集.从而就解决了[1]
其他文献
采暖空调系统是建筑项目中的重要组成部分,并且占有建筑总能耗的很大比例,是当前建筑项目中节能工作的重要部分,对建筑项目总体发展有着重要影响。以往对能源的分析过于强调
<正>川府函[2017]98号各市(州)人民政府,省政府各部门、各直属机构,有关单位:四川省人民政府第150次常务会议决定:任命:高洁为四川省环境保护厅副厅长,试用期一年;苟小兰为四
【正】 省工商局《关于认定2007年度四川省著名商标的意见》已经省政府同意,现予印发。 2002年12月1日,《四川省著名商标认定和保护条例》(以下简称条例)正式实施。自此,四川
针对K-Means算法对初值敏感和容易陷入局部最优的缺点,本文提出一种基于概率的随机扰动聚类中心优化算法。首先,每次迭代后重新计算聚类中心,以聚类中心为圆心向外搜索一定邻
高填方边坡高度大、土石方工程量大，边坡稳定性问题十分重要。本文以贵州某高填方边坡工程为例．结合现场变形监测资料，采用数值模拟和极限平衡法，进行了高填方边坡变形机理模拟和
随着国家经济的发展,对水资源的需求越来越大。近几年,国家新建不少大型水电站,如何发挥水电站自身功能,保证水电站正常运行,综合开发和利用水资源更好的服务当地百姓,是当下