收藏本站
《2005年全国理论计算机科学学术年会论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

NT-HIT(k)公式的存在性

赵英阳  许道云  
【摘要】:正 1 引言我们称一个极小不可满足(minimal unsatisfi-able)公式(简称,MU公式)F是最大的(maximal),如果增加任意一个文字L(L∈lit(F))到F的任一子句C中后(请注意:L(?)C,产生的公式不再是极小不可满足公式(此时,新公式是一个可满足公式)。MAX表示最大的MU公式,MAX(k)=MU(k)∩MAX。对应地,一个MU公式F是边缘的(mar-ginal),如果从F中删去任意一个文字后,得到一个非极小不可满足公式MARG表示边缘的MU公式集且MARG(k)=MU(k)∩MARG。
【作者单位】:贵州大学计算机科学系 贵州大学计算机科学系
【分类号】:TP301

手机知网App
【共引文献】
中国期刊全文数据库 前3条
1 许道云;;极小不可满足公式在多项式归约中的应用[J];软件学报;2006年05期
2 许道云;董改芳;王健;;MAX(1)和MARG(1)中公式改名的复杂性(英文)[J];软件学报;2006年07期
3 许道云;邓天炎;张庆顺;;k-LSAT(k≥3)是NP-完全的(英文)[J];软件学报;2008年03期
中国重要会议论文全文数据库 前3条
1 肖华;龚平;许道云;;Some NP-complete Instances in(r,s)-SAT[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 龚平;肖华;许道云;;一些简化的NP完全满足性问题类(英文)[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 陈庆燕;许道云;;MAX~+(k)中公式改名的多项式时间可判定性(英文)[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国硕士学位论文全文数据库 前9条
1 龚平;关于(k,s)-SAT临界函数上下界的研究[D];贵州大学;2006年
2 张庆顺;可满足公式到MU(1)公式的扩张[D];贵州大学;2006年
3 赵英阳;NT-HIT公式的存在性[D];贵州大学;2006年
4 陈庆燕;MAX~+(k)中公式改名的复杂性[D];贵州大学;2006年
5 肖华;DPLL到(1,1)-消解的转换及其复杂性分析[D];贵州大学;2006年
6 姚雷博;MAX~+(2)公式改名的复杂性[D];贵州大学;2007年
7 李培培;线性公式可满足性判定问题的复杂性[D];贵州大学;2008年
8 张秋菊;关键文字和极小不可满足公式[D];贵州大学;2008年
9 徐德志;启发式将3-SAT化为2-SAT的DPLL算法[D];贵州大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 古华茂;石锦芹;高济;;基于子句的ALCN语言tableau算法增强方式(英文)[J];Journal of Southeast University(English Edition);2008年03期
2 沈一栋;PROLOG的元级扩充:问题和方法[J];小型微型计算机系统;1987年11期
3 蒋志华;姜云飞;;一种构造Prolog程序子句本体的方法(英文)[J];东南大学学报(英文版);2006年03期
4 成岗,张运桢;一个“函数+逻辑”程序设计语言的解释—编译系统[J];小型微型计算机系统;1990年01期
5 孙怀民,梁群;基于二阶项重写技术的逻辑自动编程理论[J];计算机学报;1993年03期
6 黄焕如;FOXPRO2.0的下拉弹出式菜单的使用和实例[J];现代计算机;1994年01期
7 余丰人,丘海明;一个SAT问题有解的充要条件[J];中山大学学报(自然科学版);2004年02期
8 ;磁带文件,条件类型[J];计算机工程与应用;1982年09期
9 李志刚,李书杰;多用户环境下 FOXPRO 命令的重构[J];河北理工学院学报;1997年03期
10 孙琪 ,程红梅;结构化查询语言应用实例[J];电脑知识与技术;2003年35期
中国重要会议论文全文数据库 前10条
1 赵英阳;许道云;;NT-HIT(k)公式的存在性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 蒋志华;姜云飞;;一种构造Prolog程序子句本体的方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
3 廖加彬;林世平;;基于聚类的中文浅层语义模式识别[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(下册)[C];2008年
4 练睿婷;史晓东;;语篇标注语料库的建设研究[A];第四届全国学生计算语言学研讨会会议论文集[C];2008年
5 车敦仁;麦中凡;韩小兵;;MIDS/BUAA系统的语言设计与实现[A];第十一届全国数据库学术会议论文集[C];1993年
6 康生巧;白宇;韩亚冬;蔡东风;;基于句子相似的古今句子检索[A];第六届全国信息检索学术会议论文集[C];2010年
7 刘静;;浅析提高SQL查询性能的方法[A];'06MIS/S&A学术交流会论文集[C];2006年
8 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 阚庆利;;ORACLE数据库的安全性[A];第三次全国计算机安全技术交流会论文集[C];1988年
10 何玉琳;骆斌;陈世福;;面向对象的联机分析处理技术O3LAP及其应用[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
中国重要报纸全文数据库 前10条
1 贵州 王伟;用ORDER BY子句排序[N];电脑报;2004年
2 贵州 王伟;用GROUPBY子句分组[N];电脑报;2004年
3 河南 张华贵;数据库中参数化查询的实现[N];电脑报;2001年
4 服装业ERP咨询顾问 童继龙;两起事故引发的数据治理[N];中国计算机报;2008年
5 ;检阅DB2 Viper[N];计算机世界;2006年
6 ;实例破解Flash[N];电脑报;2001年
7 山东 任立群;深挖SQL语句潜力查询效率自然高[N];电脑报;2004年
8 王珂;你想的才是你要的[N];中国电脑教育报;2002年
9 逍遥;用SQL实现树的查询[N];计算机世界;2002年
10 Warton;Java的异常处理[N];电脑报;2004年
中国博士学位论文全文数据库 前10条
1 于鹏;统计关系模型学习方法的研究[D];吉林大学;2008年
2 许中卫;基于双向搜索的ILP算法构建汉语语义自动切分系统[D];安徽大学;2006年
3 吕中学;关于自由不连续问题的正则性和存在性[D];南京理工大学;2006年
4 刘刚;面向领域的软件需求一致性验证方法研究[D];哈尔滨工程大学;2008年
5 皮玲;几何热流在数字图像处理中的应用[D];华东师范大学;2006年
6 刘瑞华;数字图像去模糊的理论研究及应用[D];华东师范大学;2008年
7 王志坚;基于Petri网的企业信息化系统建模及关键技术研究[D];中南大学;2007年
8 柳合龙;具有脉冲效应分布参数系统及应用研究[D];北京信息控制研究所;2006年
9 金正猛;基于图像处理的高阶非线性偏微分方程[D];南京理工大学;2009年
10 黎芳;几何分析方法在图像处理中的应用[D];华东师范大学;2007年
中国硕士学位论文全文数据库 前10条
1 霍翔;SMT求解器增强技术的研究[D];北京交通大学;2011年
2 傅阳春;基于2-SAT求解器的SAT算法研究[D];华南理工大学;2010年
3 黄劲楠;可满足性问题算法研究-CNF的简化[D];复旦大学;2008年
4 任彦斌;满足性算法在形式化验证中的应用研究及实现[D];兰州大学;2007年
5 李松斌;G(?)del语言编译系统中推理机的设计与实现[D];厦门大学;2007年
6 高静;多关系数据挖掘原理及应用[D];重庆大学;2009年
7 管利娜;参数化可满足性问题的研究[D];中南大学;2009年
8 宋旸;贝叶斯方法用于多关系数据挖掘的研究[D];安徽大学;2006年
9 黄峰;一种原生XML数据库-Xindice的研究与改进[D];华东师范大学;2008年
10 李培培;线性公式可满足性判定问题的复杂性[D];贵州大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026