@我的 @我的评论收到的评论收到的赞私信

应用会员HOT

点击收藏，不怕下次找不到~

举报应用

个人中心

我的学术圈

我的书案

退出

期刊专题

DOI：10.3969/j.issn.1000-386X.2009.02.034

随机k-SAT公式不可满足性VS最小k-击中集

引用

收藏

摘要：

给定一个k-SAT实例F,将作用于公式F得到随机k-SAT实例F′.在随机扰动模型M(m; n; k)下,随机k-SAT实例F′的若干性质.并证实当子句密度足够大时,随机k-SAT实例F′的不可满足性判定可以归结为最小k-击中集问题的求解.

关键词：随机k-SAT实例、随机扰动模型M(mnk)、最小k-击中集

所属期刊栏目：26

分类号：O15;V44

资助基金：上海市教委科技项目05FZ14

在线出版日期：2009-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：100-102,113

英文信息展示

相关文献

评论

暂无封面信息

查看本期封面目录

计算机应用与软件

ISSN：1000-386X

CN：31-1260/TP

所属期刊栏目：26

年，卷(期)：2009，26(2)

相关作者

相关机构

专业内容知识聚合服务平台

国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”

国家重点研发计划资助课题编号：2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304

©天津万方数据有限公司津ICP备20003920号-1

信息网络传播视听节目许可证许可证号：0108284

网络出版服务许可证：(总)网出证(京)字096号

违法和不良信息举报电话：4000115888 举报邮箱：problem@wanfangdata.com.cn

举报专区：https://www.12377.cn/

客服邮箱：op@wanfangdata.com.cn

打开万方数据APP，体验更流畅