HIT—MU（2）的结构和复杂度

来源 :襄樊学院学报 | 被引量 : 0次 | 上传用户：whm9903

【摘要】

：

SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*),-消解

【作者】

：

徐小萍丁德成

【机构】

：

襄樊学院,南京大学

【出处】

：

襄樊学院学报

【发表日期】

：

2004年5期

【关键词】

：

差为2的碰撞极小不可满足公式 HIT-MU(2)的结构复杂度 MUHIT(2)MUHIT-structure Complexity

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*),-消解和分裂方法研究了差为2的碰撞极小不可满足公式集(HIT-MU(2))的结构和复杂度.此前,只有G.Davydov, I.Davydova 和H. Kleine Büning对MU(1)和MU(2)的结构和复杂度得出了较好的结果.

其他文献

汽车保险的簇生点过程模型

文章将保险理赔的经典模型——复合泊松过程模型推广，建立簇生点过程模型．以概率母泛函为工具，给出了在（0，t]内理赔总量的均值与方差，并采用鞅分析方法证明了该模型下的Lundberg不

期刊

破产概率簇生点过程鞅概率母泛函Ruin probability Cluster point process Martingale Probabil

工业反哺农业、城市支持农村必要性探析

我国作出“工业反哺农业、城市支持农村”战略转变的决策是目前中国经济发展的必然要求；构建和谐社会、实现全面建设小康社会的要求；打破“三农”问题产生、存在的二元社会经济

期刊

工业反哺农业和谐社会二元社会经济结构新农村Strategies transformation Harmonious society Dual eco

农民工的社会融合及其制度基础

农民工是游走于城乡之间及不同地区之间的特殊群体。迄今为止，他们的合法权益依然得不到有效的保障，并时常受到当地社会的歧视和排斥。农民工问题的实质是农民问题，是传统城乡二

期刊

农民工社会排斥社会融合Peasant workers Social discrimination and exclusion Social int

HIT—MU（2）的结构和复杂度

其他学术论文