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

Some NP-complete Instances in(r,s)-SAT

肖华  龚平  许道云  
【摘要】:正 It is known that(r, s)-SAT is solvable in polynomial time(r0), there exists a critical function f such that for r≥3 all instances of (r,f(r))-SAT are satisfiable and (r,f(r) + 1)-SAT is NP-complete. However,it is open whether f is computable. In this paper, we construct some minimal unsatisfiable instances in rSAT by investigating the tree resolution proofs of minimal unsatisfiable formulas and the splitting on formulas. Further, we present some minimal unsatisfiable formulas for NP-completeness of some instances in (r,s)-SAT.

手机知网App
【共引文献】
中国重要会议论文全文数据库 前4条
1 Jian Wang and Daoyun Xu Department of Computer Science Guizhou University (550025), Guiyang, P.R.China;A Linear-time Transformation for Reducing κ-CNF to t-CNF[A];Proceedings of Guangzhou Symposium on Satisfiability and Its Applications[C];2004年
2 龚平;肖华;许道云;;一些简化的NP完全满足性问题类(英文)[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 陈庆燕;许道云;;MAX~+(k)中公式改名的多项式时间可判定性(英文)[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 赵英阳;许道云;;NT-HIT(k)公式的存在性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国硕士学位论文全文数据库 前6条
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年
【相似文献】
中国期刊全文数据库 前10条
1 ;《指挥控制与仿真》2011年征稿简则[J];指挥控制与仿真;2011年04期
2 徐琳;;基金支持的多项研究成果在ACM SIGGRAPH 2011上发表[J];计算机科学与探索;2011年09期
3 南红梅;;《西北植物学报》2010年刊载论文基金项目统计与分析[J];西北植物学报;2011年07期
4 南红梅;;《西北植物学报》2010年刊载论文基金项目统计与分析[J];西北植物学报;2011年08期
5 ;首届全国高能加速器战略研讨会暨用户年会举行[J];科技传播;2011年17期
6 周立伟;;《多模式实时电子稳像仪器的研究》专栏文章导读[J];光学精密工程;2011年08期
7 严萍;;脉冲功率技术学科发展方向专题研讨会在西安召开[J];高电压技术;2011年06期
8 ;会展信息[J];射频世界;2010年06期
9 ;自主端到端重构无线网络的体系结构及其关键技术[J];北京邮电大学学报;2011年03期
10 ;石墨烯周期性折叠及其在应力传感器件中的应用研究获新突破[J];传感器世界;2011年05期
中国重要会议论文全文数据库 前10条
1 陈翔;;夯实基础,不断创新——浅谈申报国家自然科学基金的体会[A];中华医学会第14次全国皮肤性病学术年会论文汇编[C];2008年
2 刘加平;;建筑物理学科基金课题的申报与评审体会[A];城市化进程中的建筑与城市物理环境:第十届全国建筑物理学术会议论文集[C];2008年
3 朱介寿;曹家敏;蔡学林;严忠琼;程先琼;;中国及相邻陆域海域岩石圈结构及动力学研究[A];中国地球物理第二十一届年会论文集[C];2005年
4 刘漓波;;北京大学泌尿外科研究所2001年~2007年[A];第十五届全国泌尿外科学术会议论文集[C];2008年
5 陆前进;;科学创新的源动力[A];中华医学会第14次全国皮肤性病学术年会论文汇编[C];2008年
6 ;中国物流发展专项基金设立[A];中国物流与采购联合会会员通讯总第33期-52期(2003年2月-12月)[C];2003年
7 ;科研项目[A];中国科学院系统科学研究所—上海理工大学上海系统科学研究院成立暨上海理工大学系统科学与系统工程研究所建所25周年[C];2005年
8 高汶;;管好用好污染源治理专项基金的探索和实践[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
9 ;关于中国物流发展专项基金“宝供物流奖”[A];中国物流与采购联合会会员通讯总第74期—84期(2005年)[C];2005年
10 ;2004年中国物流发展专项基金“宝供物流奖”评审公告[A];第九次中国物流专家论坛代表手册[C];2004年
中国重要报纸全文数据库 前10条
1 记者 姜靖;妇女“两癌”治疗专项基金成立[N];科技日报;2010年
2 记者 张培娟;5000名辽宁孤儿获赠重大疾病公益保险[N];中国保险报;2010年
3 本报记者 张学珍;五千名辽宁孤儿获赠重大疾病公益保险[N];中国妇女报;2010年
4 通讯员 刘海 钟杰 记者 黄继妍;九江专项基金支持全民创业[N];江西日报;2010年
5 记者 毛庆 实习生 韩斌;安全生产专项基金明年起增至2000万元[N];南京日报;2010年
6 记者 黄启源;荥经县100万元专项基金确保交通枢纽建设快速推进[N];雅安日报;2011年
7 记者 姜伟超;贫困母亲两癌救助专项基金启动[N];人民日报;2011年
8 孔祥禄 任秀萍;德伟爱心专项基金昔阳项目正式启动[N];晋中日报;2011年
9 见习记者 陈晨;市财政将设立创建名村专项基金[N];东莞日报;2011年
10 记者 张培娟;五地3万孤贫儿童获赠重疾保险[N];中国保险报;2011年
中国博士学位论文全文数据库 前3条
1 沈照伟;基于可靠度的海洋工程随机荷载组合及设计方法研究[D];浙江大学;2004年
2 汪飞;噪声中的二维谐波参量估计及四元数在其中的应用[D];吉林大学;2006年
3 尚涛;液压挖掘机作业及行走系统节能控制研究[D];吉林大学;2005年
中国硕士学位论文全文数据库 前10条
1 韩晓东;山西高校国家自然科学基金竞争力研究[D];山西大学;2004年
2 钱国明;民航基础设施建设专项基金征收模式与征收方案研究[D];哈尔滨工业大学;2010年
3 邢春国;应用信息技术探索我国高等中医药院校学术及科研发展趋势[D];南京中医药大学;2009年
4 侯跃芳;国家自然科学基金项目的文献计量学研究[D];中国医科大学;2004年
5 马香书;大肠杆菌偏嗜性人促甲状腺激素(hTSH)β亚基编码DNA序列的克隆与表达[D];天津医科大学;2007年
6 张先军;湖北省实施农产品加工专项基金战略研究[D];武汉理工大学;2008年
7 胡彬;中国图书出版业“走出去”现状分析与策略探讨[D];华中师范大学;2009年
8 曾小能;XML安全技术在网络申报系统中的研究与应用[D];中南大学;2009年
9 彭芳;珠江流域生态补偿机制研究[D];中南民族大学;2008年
10 李纯晶;大连开发区外来务工子女小学教育的调查与对策[D];东北师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026