论文部分内容阅读
给定一个k-SAT实例F,将作用于公式F得到随机k-SAT实例F′。在随机扰动模型M(m;n;k)下,随机k-SAT实例F′的若干性质。并证实当子句密度足够大时,随机k-SAT实例F′的不可满足性判定可以归结为最小k-击中集问题的求解。
随机k-SAT公式不可满足性VS最小k-击中集
【摘 要】
：
给定一个k-SAT实例F,将作用于公式F得到随机k-SAT实例F′。在随机扰动模型M(m;n;k)下,随机k-SAT实例F′的若干性质。并证实当子句密度足够大时,随机k-SAT实例F′的不可满足性判定可以归结为最小k-击中集问题的求解。
【机 构】
：
上海海事大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2009年02期
【基金项目】
：
上海市教委科技项目（05FZ14）.
其他文献
针对Apriori算法的两个性能瓶颈以及New_Apriori算法中不可忽略的问题,提出新的算法TBapriori。该算法通过二分搜索方法改变由低维到高维或者从高维到低维的搜索策略,直接从1-频繁项目集查找最大频繁项目集,减少了扫描数据库的次数及生成候选集的数量,从而减少发现最大频繁项目集的时间,实验结果表明该算法提高了运算效率。
列出黑龙江省濒危植物的名录；概述了该省保护濒危植物的现状及保护濒危植物的方法。
追溯研究对长期生态研究起到补充作用,或者是替代作用。同长期生态研究相同的问题,就是追溯研究包括用来和现代观测相比较的基础数据。 古生态学的时空测度通常太粗,很难同长
本刊讯 10月21日，IBM召开题为“Unix随芯动POWER任我行”的新闻发布会，宣布推出系统战略（System Agenda）下的新一代Unix服务器IBM Systemp5产品。Systemp5产品线使用了基于POWER5
Telelogic公司近日宣布，为满足亚洲地区用户对先进应用系统生命周期管理（ALM）解决方案日益高涨的需求，正式发布支持Unicode的Telelogic SYNERGY／CM6．4a和Telelogic SYNERGY／Change 4
企业基础架构软件公司BEA系统有限公司日前宣布，BEA将于2006年12月13-14日举行BEAWorld 2006北京大会。届时，数千名高级管理者、架构师、开发人员、IT管理者将云集BEAWorld 200
工作流是将一些业务过程按照特定的顺序和步骤进行组织、传递,最终完成一个整体的业务目标的过程。在传统意义上的工作流系统迁移到网格平台下,提出了一种适合网格环境的工作流开发方案,并对该方案的设计和实现过程进行了详细的说明。