k-LSAT（k≥3）是NP-完全的

来源 :软件学报 | 被引量 : 0次 | 上传用户：caonimadoucunzai

【摘要】

：

合取范式（conjunctive normal form，简称CNF）公式F是线性公式，如果F中任意两个不同子句至多有一个公共变元．如果F中的任意两个不同子句恰好含有一个公共变元，则称F是严格线性的．所有

【作者】

：

许道云邓天炎张庆顺

【机构】

：

贵州大学计算机科学系

【出处】

：

软件学报

【发表日期】

：

2008年3期

【关键词】

：

线性CNF公式不可满足性 NP-完全性极小不可满足公式归约 linear CNF formula unsatisfiability NP-comple

【基金项目】

：

Supported by the National Natural Science Foundation o f China under Grant Nos. 10410638, 60310213 （国家自然科学基金）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

合取范式（conjunctive normal form，简称CNF）公式F是线性公式，如果F中任意两个不同子句至多有一个公共变元．如果F中的任意两个不同子句恰好含有一个公共变元，则称F是严格线性的．所有的严格线性公式均是可满足的，而对于线性公式类LCNF,对应的判定问题LSAT仍然是NP-完全的．LCNF≥k是子句长度大于或等于后的CNF公式子类，判定问题LSAT≥k的NP-完全性与LCNF≥k中是否含有不可满足公式密切相关．即LSAT≥k的NP-完全性取决于LCNF≥k是否含有不可满足公式．S．Por

其他文献

协调政府职能与市场功能推动社区卫生服务站的发展

探讨在社区卫生服务站快速、健康发展中，政府职能和市场功能的作用、关系及现存的问题，并提出相关建议。

期刊

社区卫生服务站政府职能市场功能community health service station the functional authority of

财务失败预兆与预警的差异辨析

财务失败是由于资产流动性较差、无法变现用于清偿到期债务的现象或过程．这一过程可通过一系列可识别的信号和状态表现出来，在财务失败出现前可据预兆信号采取防范措施，在财务失

期刊

财务失败预兆预警financial failure precaution pre-warning

加强实践教学改革与管理提高学生实践能力

本文从构建实践教学体系、实践教学内容、实践教学管理教师队伍建设等多个方面对职业教育实践教学改革与管理进行了探讨.

期刊

实践教学改革学生实践能力实践教学体系教师队伍建设实践教学管理教学内容职业教育

古代艺术品宣传营销策略的巧妙运用

摘要：随着生产力和商品经济的发展，艺术品市场竞争愈发激烈，商人们为了提高自己商品的销售量和收益，会采取一些吸引消费者的宣传措施，早期的广告也因此应运而生。这种影响和效应包括两方面：一是广告的传播效果，二是广告的销售效果。古代艺术品广告随着商品经济的发展也不断完善，宣传和营销作用愈加明显。　　关键词：古代艺术品；市场营销；广告策略　　一、铭文标识广告　　在古代，标识广告可大体上分为两种：一种是为了

期刊

古代艺术品市场营销广告策略

数学--计算机教育的基石

数学科学的发展源远流长,计算机的出现与迅猛发展使数学的研究方式和研究领域都发生了很大的变化,但是,这并不能动摇数学在整个科学技术领域的基础地位.计算机与数学的联系异

期刊

高校创新思维计算机应用能力数学建模数学教学计算机教育

针对模板生成网页的一种数据自动抽取方法

当前，Web上的很多网页是动态生成的＇网站根据请求从后台数据库中选取数据并嵌入到通用的模板中，例如电子商务网站的商品描述网页．研究如何从这类由模板生成的网页中检测出其背后

期刊

WEB自动数据抽取信息抽取模板发现Wrapper生成Web automatic data extraction information extra

推动内蒙古普通高校美术专业学生艺术素养的发展与手段

摘要：现阶段的高校美术教育需要从各省的角度出发重视素养教育，对于很多美术专业的艺术生来说，浮躁的社会让很多学生养成了不良习气，在专业的学习上缺乏追求。内蒙古普通高校中美术专业的教学要注重学生们艺术素养的发展，拓宽学生们的艺术视野，提升学生们的审美能力。文章结合教学经验，分析推动内蒙古普通高校美术专业学生艺术素养发展的手段。　　关键词：内蒙古;普通高校;艺术素养;美术专业　　全球范围内的文化思潮和

期刊

内蒙古普通高校艺术素养美术专业

CRRT加血管收缩药治疗三环类抗精神病药中毒的护理

目的迅速清除体内毒物,保持血流动力学稳定,降低病死率.方法采用连续肾脏替代治疗（CRRT）加α-受体兴奋剂持续静脉泵入治疗重度三环类药物中毒.结果 16例中毒在CRRT治疗期间血

期刊

CRRT血管收缩药三环类抗精神病药物中毒

浅议数学教学中学生创造性思维的培养

培养学生的创造性思维和创新精神是数学教学中值得探讨的一个问题.本文从创造性思维的内涵和特征出发,着重论述了学生创造性思维的培养,从而使学生具有一定的创新思维能力.

期刊

数学教学创造性思维问题情境教学语言技工学校教学语言

对水印信息篡改鲁棒的自嵌入水印算法

为提高自嵌入水印算法在任意篡改条件下的篡改恢复质量，提出一种对水印信息篡改鲁棒性的空域自嵌入水印算法，分析了算法中阈值选取的合理性和检测篡改的可靠性．该算法首先基于密

期刊

脆弱水印自嵌入离散小波变换标量量化fragile watermarking self-embedding discrete wavelet tran

k-LSAT（k≥3）是NP-完全的

与本文相关的学术论文