Unique-MU（2）和ISYM-MU（2）的结构和复杂度

来源 :襄樊学院学报 | 被引量 : 0次 | 上传用户：WXY0216

【摘要】

：

SAT问题（可满足性问题）是计算机科学的核心问题，研究SAT问题的方法很多，利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方法

【作者】

：

徐小萍

【机构】

：

襄樊学院数学系

【出处】

：

襄樊学院学报

【发表日期】

：

2005年5期

【关键词】

：

Unique-MU(2) SYM-MU(2) 复杂度 Unique- MU（2） SYM- MU（2） Complexity

【基金项目】

：

湖北省教育厅重点项目（2004D006）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

SAT问题（可满足性问题）是计算机科学的核心问题，研究SAT问题的方法很多，利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方法研究了差为2的唯一极小不可满足公式集（Unique-MU（2））和差为2的对称极小不可满足公式集（SYM-MU（2））的结构和复杂度．

其他文献

基于C1C2复杂性非线性特征的语音端点检测

研究基于C1C2复杂度非线性特征的语音端点检测技术。应用中心削波法对含噪语音信号进行预处理，分析状态空间分割方法和窗长对检测性能的影响；通过允许字和禁止字来度量语音序列

期刊

语音端点检测C1C2复杂性状态空间分割speech endpoint detection C1C2 complexity state space part

德国SAL GL16系列

高保真线性阵列可优化音响系统在复杂和恶劣的声学环境中,远距离传输语言和音乐的重放效果。GL16由2个连续排列的扬声器阵列[4个16.51cm(6.5in)的中低音扬声器和16个2.54cm(1

期刊

线性阵列扬声器阵列远距离传输高频扬声器音响系统低音扬声器重放效果声学环境高保真结合使用

社交问答网站信息可信度评价指标分析

基于现有网络信息及社交问答网站信息可信度测评理论，结合国内当下热门社交问答平台特点，提出新的可信度评价指标体系。采用问卷调查的方式，从用户认知的视角对所提出的评价体系

期刊

社交问答网站可信度指标体系

能力本位视域下的中职学前专业语文综合实践活动探索

语文综合实践活动是语文教学的一部分,中职学校的语文综合实践活动为职业能力的培养构建起一个平台,通过不同类型的活动主题和开放多样的活动形式提高语文应用能力,提高职业

学位

能力本位学前教育专业语文综合实践活动

评王辉斌教授《王维新考论》

与王辉斌教授相识，是在召开于内蒙古大学的一次学术会议上，之后便是在多次会议上重逢，以及读到他的多种著作，并深为其锲而不舍的学术精神所感佩。前不久，又有幸读到了王辉斌教授近

期刊

王辉斌王维新考论学术会议内蒙古大学学术精神锲而不舍责任编辑

没有谁企业都该能活

在ORACLE时，何经华说，他可以凭名片敲开任何一家企业老总的门——这是ORACLE的招牌带给他的便利。

期刊

企业ORACLE何经华便利招牌

一张撬不开的嘴

期刊

《英才》经济类期刊资本运作中国

论湖北长阳巴山舞的资源开发优势

长阳巴山舞是我国民间舞蹈成功开发的一个典范,是全民健身中传统体育文化古为今用的精彩范例.本文通过文献资料、专家访谈、实地考察等研究方法,分析了长阳巴山舞的地域特色

期刊

湖北长阳巴山舞资源开发优势HubeiChangyang Bashan DanceResources-developingAdvantage

凭什么作选择

期刊

企业家经营管理经营规模利润

中职作文教学现状及对策研究

语言文字是人类最重要的交流工具,也是语文课程的核心组成部分。在语文四大基本领域“听说读写”中,兼容工具性与人文性的“写”则是语文教育的重中之重。而在中职教育中,写

学位

中职作文教学现状策略

Unique-MU（2）和ISYM-MU（2）的结构和复杂度

与本文相关的学术论文