【摘 要】
：
1975年,Lander证明在P≠NP假设下存在一个语言属于NP-NPC-P(NPI).但Lander给出语言并不是一个自然的语言因在该语言的构造中需运行所有多项式时间的图灵机.迄今为止,还没有自
论文部分内容阅读
1975年,Lander证明在P≠NP假设下存在一个语言属于NP-NPC-P(NPI).但Lander给出语言并不是一个自然的语言因在该语言的构造中需运行所有多项式时间的图灵机.迄今为止,还没有自然的语言被证明在P≠NP假设下属于NPI,并且在P≠NP假设下寻找一个属于NPI的自然语言是一个重要的未解决问题.作者部分解决了此长期未解决的问题.定义了2+f(m)-HAST模型.基于该模型，给出了在P≠NP假设下NP-NPC-P中自然问题的一个候选者.已证明在P≠NP 假设下它不属于NPC并且在更强但合理的假
其他文献
在分析现有多目标优化技术的基础上,提出了一种基于生态协同的多目标优化算法.此算法借鉴生态学中的生态种群密度竞争方程来描述多目标间的复杂关系,可以同时从个体和种群层
选择题、判断题要求表述准确、严密、逻辑性强,经得起推敲,选择、判断有理有据,答案不能含糊。下面就河南省职业技能鉴定指导中心编写的电工职业技能鉴定模拟试题集(以下简称
每个人都渴望创造出有价值的人生,贵冶熔炼车间闪速炉一班班长左立雄与炉火相伴15年,在这座国内最现代化的炼铜厂主工艺岗位上,他潜心钻研、埋头苦干,用汗水和智慧写就普通炼
肝炎是一种病毒性传染病,在我国人群中的传播面积极为广泛,危害性极大.治疗肝病特别是乙肝,仍是人类一大难题.本人通过20多年的亲身试验及近100名患者的治疗,研究出几种植物(
实际问题中存在大量连续量以及对它们的各种认知信息（知识）。为了较好地描述和利用这些知识，将这些知识分解为连续认知结构以及关于这个结论的一个认知结构，并将它们统一成一个连
将数量型属性转换为布尔型属性是数量型属性关联规则采掘的主要方法,但如何使区间的划分合理一直是研究的热点.传统的划分方法由于不能反映数据间的实际分布规律或者是划分的
图像、视频、音频和图形等均是多媒体数据流中的信息载体,对上述数据所蕴涵的内容进行分析,可以极大地方便人们对它们的使用与管理.基于内容的图像(视频)和音频检索已经取得了不少进展,但是对于图形,特别是3D图形进行识别与检索的有效方法还很少见.提出了对相似3D物体识别与检索的算法,在这个算法中,首先使用细节层次模型对3D物体进行三角面片约减,然后提取3D物体的特征.由于所提取的特征维数很大,最小生成树(
单目视觉的手势识别系统,通常把人手建模成一个像素或者一块,从整体上分析手势的运动参数并提取表观特征.从细微之处着手,融合颜色、运动和边缘等多种信息以提取能够反应人手结构特性的特征线条,并将特征线条分割成小的曲线段,跟踪这些曲线段的运动.采用平面模型对手势图像表观的变化建模,根据各个曲线段的运动,融合成手的整体运动分量.同时分析了图像坐标系的选取和对运动参数的影响,提出了随手运动的坐标系,以抽取平移
本文通过对函授学习特点的分析,及参加函授学习的学生所遇到的问题特点的分析,提出了一种用于函授教学的计算机辅助复习方式,这种方式能帮助学生制定适合他自己需要的复习方
本文依据新课程理念,从如何精心设计化学问题,营造和谐的课堂气氛,创设良好的质疑氛围及指导学生学会解决问题等方面阐述了教师的作用.