期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
P≠NP假设下NP-NPC-P中自然问题的一个候选者(英文)
1
作者
赵运磊
朱洪
《软件学报》
EI
CSCD
北大核心
2001年第5期656-658,共3页
1975年 ,L ander证明在 P≠ NP假设下存在一个语言属于 NP- NPC- P(NPI) .但 Lander给出语言并不是一个自然的语言因在该语言的构造中需运行所有多项式时间的图灵机 .迄今为止 ,还没有自然的语言被证明在 P≠NP假设下属于 NPI,并且在 P...
1975年 ,L ander证明在 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并且在更强但合理的假设下它的确属于
展开更多
关键词
NP-COMPLETE
Karp-归约
SAT
np-npc-p
计算机
自然问题
在线阅读
下载PDF
职称材料
关于图同构复杂性的分析
被引量：
5
2
作者
戴琼
邹潇湘
谭建龙
《计算机科学》
CSCD
北大核心
2006年第11期219-221,共3页
图同构问题是指对两个图寻找顶点之间的一个一一映射,使得两图的边在该映射下也保持对应关系,该问题得到许多研究者的关注。在一些论文中对图同构问题的复杂性给出了错误的描述,有的给出了多项式时间算法。本文对此进行了讨论,并给出了...
图同构问题是指对两个图寻找顶点之间的一个一一映射,使得两图的边在该映射下也保持对应关系,该问题得到许多研究者的关注。在一些论文中对图同构问题的复杂性给出了错误的描述,有的给出了多项式时间算法。本文对此进行了讨论,并给出了一些反例来证明其算法的错误。根据图同构国内外目前的研究进展,图同构既未被归入P问题,也未被归入NPC问题,是一个尚未解决的问题,有待进一步研究。
展开更多
关键词
图同构
NP问题
P问题
NPC问题
图同构完备
在线阅读
下载PDF
职称材料
题名
P≠NP假设下NP-NPC-P中自然问题的一个候选者(英文)
1
作者
赵运磊
朱洪
机构
复旦大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
2001年第5期656-658,共3页
基金
国家自然科学基金No.6 99730 13&&
文摘
1975年 ,L ander证明在 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并且在更强但合理的假设下它的确属于
关键词
NP-COMPLETE
Karp-归约
SAT
np-npc-p
计算机
自然问题
Keywords
NP complete
Karp reduction
SAT
NPI
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
关于图同构复杂性的分析
被引量：
5
2
作者
戴琼
邹潇湘
谭建龙
机构
中国科学院软件研究所
国家计算机网络与信息安全管理中心
中国科学院计算技术研究所
出处
《计算机科学》
CSCD
北大核心
2006年第11期219-221,共3页
基金
中科院计算所青年基金课题20056600-4支持
文摘
图同构问题是指对两个图寻找顶点之间的一个一一映射,使得两图的边在该映射下也保持对应关系,该问题得到许多研究者的关注。在一些论文中对图同构问题的复杂性给出了错误的描述,有的给出了多项式时间算法。本文对此进行了讨论,并给出了一些反例来证明其算法的错误。根据图同构国内外目前的研究进展,图同构既未被归入P问题,也未被归入NPC问题,是一个尚未解决的问题,有待进一步研究。
关键词
图同构
NP问题
P问题
NPC问题
图同构完备
Keywords
Graph isomorphism, NP problem, P problem, NPC problem, Graph isomorphism complete
分类号
TP301.5 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
P≠NP假设下NP-NPC-P中自然问题的一个候选者(英文)
赵运磊
朱洪
《软件学报》
EI
CSCD
北大核心
2001
0
在线阅读
下载PDF
职称材料
2
关于图同构复杂性的分析
戴琼
邹潇湘
谭建龙
《计算机科学》
CSCD
北大核心
2006
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
