【摘 要】
：
隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题
【机 构】
：
河南工业职业技术学院计算机工程系,东北师范大学计算机学院
论文部分内容阅读
隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题求解的时间复杂度和空间复杂度.为提高SAT问题的求解效率,提出一种求解SAT问题隐蔽集的改进算法,并给出最小隐蔽集的定义.在该算法中加入启发式,使求解出的隐蔽集变量个数较少,最后给出隐蔽集问题的总结和展望.
其他文献
随着人民生活水平的提高,就餐方式的改变,餐具卫生质量越来越受到人们的关注.为了搞好餐具清洗、消毒及保洁工作,防止食源性传染病的传播,对我县餐饮行业已消毒的餐具进行了
根据传统消防训练方式存在的不足,适当的引入和借鉴虚拟现实技术,针对典型火灾事故现场,建立三维立体计算机模拟场景,为消防训练提供可视化仿真训练平台,从而弥补消防常规训
为提供更合理的氮肥运筹和适宜播期以促进大麦的优质高产,以蒙啤1号、蒙啤3号、甘啤4号、垦啤7号4个春大麦品种为试材,研究了不同施氮水平和播期处理下内蒙古东部灌区春大麦
如何让学生在语文教学中提高口语能力,对学生个人素质及表达能力的提高有着重要的意义.本文着重探讨,如何培养学生口语能力的方式和方法,进而增强学习语文的兴趣.
世道在变,沧海桑田。一种论调过时了,会马上有新的跟上,而且快到令人诧异的程度。行贿受贿的问题解决不了,于是有人站出来说,这是信息时代的产物,可以在某种范围内存在,据此,
凸透镜成像的规律,大部分学生往往难以记住.在分析解决实际问题时更会感到十分茫然,用作图法研究凸透镜成像规律,就会使学生做到画而了知,经久不忘.
足球战术意识包括进攻意识和防守意识.足球战术意识在竞赛中占有重要的地位,它对比赛胜负起着至关重要的决定性作用.我国足球运动员的足球战术意识与世界强队球员相比尚存在
通过对仔猪断奶死亡原因进行归纳分析,并找出死亡率与初生重、死亡时间的关系,针对性地提出降低仔猪死亡率的几种措施。
苹果没有在树上，也没有掉下来砸到牛顿的头，而是在云端——这是2011年6月7日凌晨举行的苹果全球开发者大会（WWDC），乔老爷子告诉大家的，在今年秋天，苹果将正式推出iCloud，老乔称他为“