利用正交方法解SAT问题

来源 :复旦学报(自然科学版) | 被引量 : 0次 | 上传用户：tony569257

【摘要】

：

提出了一种解决SAT问题的新算法.该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原

【作者】

：

荆明娥陈更生赵长虹唐璞山周电

【机构】

：

复旦大学专用集成电路国家重点实验室E.E.DepartmenttheUniversityofTexasatDallasTX75083

【出处】

：

复旦学报(自然科学版)

【发表日期】

：

2008年06期

【关键词】

：

可满足性问题卡诺图正交子句 NP完全问题

【基金项目】

：

国家自然科学基金资助项目(60773125,60673029);中国博士后科学基金资助项目;上海市自然科学基金资助项目(06ZR14016)

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

提出了一种解决SAT问题的新算法.该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足.该算法为SAT问题的解决提供了一个新的思路.

其他文献

中小企业财务管理的发展趋势分析

进入21世纪以来,中小企业已经成为我国国民经济发展中的一支非常重要且极为活跃的力量。随着改革开放的不断深入,中小企业虽然迎来了千载难逢的战略发展机遇期,但同时也面临

期刊

中小企业财务管理发展趋势

工科类专业认知教育的改革和实践——以建筑环境与设备工程专业为例

针对现行的工科专业认知教育普遍单一的局限性,提出了工科大学生对专业的认知过程是从低级向高级发展的动态专业认知过程,专业认知教育必须要与大学生的动态专业认知过程相适

期刊

专业认知教育改革和实践

独立电影与好莱坞

<正>一、独立电影在美国的发展状况独立电影(independent film or indie film)是一个相对的概念,并没有严格的定义,一般指在美学和商业运作上都相对独立于一国主流电影的电影

期刊

好莱坞独立电影大公司电影节科恩兄弟主流电影电影导演

盐碱地造林绿化的原理与技术

<正> 随着人口不断增长和国民经济的飞速发展,我国的人均耕地在逐年减少。开发利用荒地,提高现有耕地单位面积的生产力已显得刻不容缓,其中盐碱地改良利用是一项重要内容,造

期刊

盐碱地造林盐碱地改良改良土壤插干造林滨海盐碱地

政府干预视域的国有资本投资效率问题研究

本文从转轨时期的政企关系出发,探析了政府干预的"支持"之手和"掠夺"行为如何影响国有资本的投资效率。在经济考核机制下,政府的社会性目标以及官员个人私利成为其干预国有企

期刊

政府干预国有资本投资投资效率国有企业

习近平文艺论述对中国传统文化的创造性运用

习近平文艺论述是在马克思主义立场上对中国传统文化的创造性转化和创新性发展,其"文艺功能论""文艺创作论""审美教育论"和"文艺批评论"构成了一个具有中华美学特色的文艺理

会议

习近平文艺思想优秀传统文化创造性运用

用定向凝固法制成太阳电池用的高效多晶硅锭

<正> 太阳能是取之不尽、用之不竭的能源.随着地球上能源的大量消耗,太阳电池的地面发电越来越受到各国重视,其应用日趋广泛.硅是研制太阳电池的主要材料.近年来,国外太阳电

期刊

太阳电池多晶硅锭定向凝固法

肠必清栓对UC模型大鼠肠黏膜内IL-1β、TNF-α及SOD的影响

目的:通过检测肠必清栓治疗后UC模型大鼠肠组织中IL-1β、TNF-α、SOD表达的变化,研究肠必清栓治疗UC的作用机制。方法:用2,4-二硝基氯苯免疫加醋酸局部灌肠法建立的UC模型大

期刊

溃疡性结肠炎IL-1βTNF-αSOD肠必清栓免疫组化

办理利用网购平台售假案件中的几点问题

近年来，利用网购平台售假案件不断增多。这类案件犯罪手段高度智能化．利用了当前新兴的网络交易平台进行售假，较以往传统售假案件有所不同，在证据的收集、审查方面都呈现出新的特

期刊

假冒注册商标销售金额替代交易淘宝网网购平台

论义务教育学校布局调整——保障受教育者“就近入学”的视角

作为一项法律授权,政府调整义务教育学校布局必须满足义务教育的特殊需要。方便受教育者"就近入学",既是对受教育者的权利保障,也是对政府调整义务教育学校布局行为的义务要

期刊

义务教育学校布局调整就近入学

利用正交方法解SAT问题

与本文相关的学术论文