切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
随机k-SAT公式不可满足性VS最小k-击中集
随机k-SAT公式不可满足性VS最小k-击中集
来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:ymh19900920
【摘 要】
:
给定一个k-SAT实例F,将作用于公式F得到随机k-SAT实例F′。在随机扰动模型M(m;n;k)下,随机k-SAT实例F′的若干性质。并证实当子句密度足够大时,随机k-SAT实例F′的不可满足性判定可以归结为最小k-击中集问题的求解。
【作 者】
:
杨智应
【机 构】
:
上海海事大学计算机科学与工程系
【出 处】
:
计算机应用与软件
【发表日期】
:
2009年02期
【关键词】
:
随机k-SAT实例
随机扰动模型M(m
N
k)
最小
k-击中集
Random k-SAT instance Random perturbation mode
【基金项目】
:
上海市教委科技项目(05FZ14).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给定一个k-SAT实例F,将作用于公式F得到随机k-SAT实例F′。在随机扰动模型M(m;n;k)下,随机k-SAT实例F′的若干性质。并证实当子句密度足够大时,随机k-SAT实例F′的不可满足性判定可以归结为最小k-击中集问题的求解。
其他文献
基于二分搜索的最大频繁项目集求解算法改进
针对Apriori算法的两个性能瓶颈以及New_Apriori算法中不可忽略的问题,提出新的算法TBapriori。该算法通过二分搜索方法改变由低维到高维或者从高维到低维的搜索策略,直接从1-频繁项目集查找最大频繁项目集,减少了扫描数据库的次数及生成候选集的数量,从而减少发现最大频繁项目集的时间,实验结果表明该算法提高了运算效率。
期刊
关联规则
APRIORI算法
二分搜索
最大频繁项目集
Association rule Apriori algorithm Binary search Max
黑龙江省的珍稀濒危植物浅议
列出黑龙江省濒危植物的名录;概述了该省保护濒危植物的现状及保护濒危植物的方法。
期刊
黑龙江
珍稀濒危植物
保护措施
植物园
自然保护区
种质资源库
Heilongjiang Provice
imminent extinguishing plan
长期生态研究中的追溯方法
追溯研究对长期生态研究起到补充作用,或者是替代作用。同长期生态研究相同的问题,就是追溯研究包括用来和现代观测相比较的基础数据。 古生态学的时空测度通常太粗,很难同长
期刊
长期生态研究
古生态学
周密设计
化石记录
替代作用
基础数据
测度问题
花粉分析
城市污染
集约农业
西欧及香港网上银行考察报告—对网上银行建设和发展的建设(续前)
期刊
网上银行
银行电子化
虚拟银行
支付清算系统
IBM发布System p5新产品及POWER5+处理器技术
本刊讯 10月21日,IBM召开题为“Unix随芯动POWER任我行”的新闻发布会,宣布推出系统战略(System Agenda)下的新一代Unix服务器IBM Systemp5产品。Systemp5产品线使用了基于POWER5
期刊
产品线
IBM
SYSTEM
处理器
UNIX服务器
POWER5
技术
新闻发布会
世界纪录
Telelogic加大对亚洲地区软件开发支持力度
Telelogic公司近日宣布,为满足亚洲地区用户对先进应用系统生命周期管理(ALM)解决方案日益高涨的需求,正式发布支持Unicode的Telelogic SYNERGY/CM6.4a和Telelogic SYNERGY/Change 4
期刊
TELELOGIC
亚洲地区
软件开发
SYNERGY
logic公司
生命周期管理
应用系统
BEA将举行BEAWorld北京大会
企业基础架构软件公司BEA系统有限公司日前宣布,BEA将于2006年12月13-14日举行BEAWorld 2006北京大会。届时,数千名高级管理者、架构师、开发人员、IT管理者将云集BEAWorld 200
期刊
BEA系统有限公司
北京
基础架构
软件公司
实践经验
管理者
SOA
企业
科华大功率并联型UPS中标湖北国税
期刊
UPS
不间断电源
大功率并联型电源
科华公司
一种网格环境下工作流开发方案
工作流是将一些业务过程按照特定的顺序和步骤进行组织、传递,最终完成一个整体的业务目标的过程。在传统意义上的工作流系统迁移到网格平台下,提出了一种适合网格环境的工作流开发方案,并对该方案的设计和实现过程进行了详细的说明。
期刊
工作流
网格
MVC
Workflow Grid Model-View-Controller (MVC)
IBM信息搜索技术助力华为全球技术支持网站
本刊讯 近日,IBM宣布IBM WebSphereⅡ OmniFind在华为技术有限公司取得成功应用,协助华为构建了企业级的搜索平台。从而将一种新的信息利用理念带给华为员工,让他们在及时获取所
期刊
华为技术有限公司
搜索技术
信息利用
IBM
技术支持
WEBSPHERE
网站
全球
业务信息
信息管理
与本文相关的学术论文