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)的结构和复杂度得出了较好的结果.

其他文献

春茶贵得有道理

春茶营养最丰富“春茶的营养最丰富”，国家茶叶质量监督检查检验中心名誉主任骆少君说：“茶树经过了一个冬天的能量储备，终于在春天萌发新芽，因此春茶相比夏茶和秋茶。营养更丰富

期刊

春茶道理质量监督检查能量储备检验中心营养明前茶茶树

追“鲜”族幸福菜单

柳丝吐绿．春花萌芽。舌尖从冬天里苏醒，开始追求一个字——鲜。这也是都市中追“鲜”族最期待的季节。他们早己追不及待去体会这种春天特有的鲜。鲜得绿，鲜得野。鲜得脆，仿佛只有

期刊

菜单理想主义美食鱼肉

术中自体血回输对红细胞天然免疫功能影响的研究

目的探讨术中自体血回输术对红细胞天然免疫功能的影响.方法应用美国Haemonetics CS-5血液回收机进行术中血液回收处理,取骨科手术病人术前、术后、术中回收处理自体血待回输

期刊

自身输血术中红细胞天然免疫

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

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

期刊

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

锚式采器的应用

期刊

采泥器应用监测仪器

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

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

期刊

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

开放性尘源粉尘排放量测试方法

期刊

开放性尘源固体粉尘排放量测试

你真的了解维生素C吗？

维生素C是人们最熟悉的维生素之一，对于维生素C的营养常识，很多人都能说出一二。比如，维生素C能美白肌肤、抗氧化、防血栓；蔬菜、水果中富含维生素C；维生素C怕热，最好生吃。但是，多

期刊

维生素C抗氧化保健知识合理用药

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

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

期刊

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

露天煤矿舍场的复垦利用

期刊

露天煤矿舍场复土造田

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

与本文相关的学术论文