论文部分内容阅读
ＮＰ是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题。８０年代初证明了如果ＮＰ∪→Ｐ／ｐｌｙ，则ＰＨ＝∑２，最近，又有了如果ＮＰ∪→Ｐ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的问题。文中将借助于广义一阶逻辑ζ（ι）及其上的模型论以证明存在ＮＰ中的语言，它们没有多项式大小的线路。
用结构性质分开复杂类
【摘 要】
：
ＮＰ是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题。８０年代初证明了如果ＮＰ∪→Ｐ／ｐｌｙ，则ＰＨ＝∑２，最近，又有了如果ＮＰ∪→Ｐ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的问题。文中将借助于广义一阶逻辑ζ（ι）及其上的模型论以证明存在ＮＰ中的语言，它们没有多项式
【机 构】
：
南京航空航天大学计算机科学与工程系,南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机研究与发展
【发表日期】
：
1999年8期
【基金项目】
：
国家自然科学基金
其他文献
[摘 要]良好的语言环境是英语学习获得成功的有力保障。在我国，英语被作为外语来学习，不具备理想的英语语言学习环境。因特网的发展与普及为改善我国的英语语言学习环境提供了良好契机。该文探讨了如何利用因特网来改善我国的英语语言学习环境，提高英语学习效率。 [关键词]因特网；英语学习；语言学习环境 [中图分类号]TP302．7；TP392 [文献标识码]A [文章编号]1008—1151(200
带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ上所作的优化对
多安全政策支持机制和新的国际信息安全评价标准—— CC(com mon criteria)标准都要求安全操作系统提供完善的安全属性即时撤消机制 ,但是目前的研究都不够完善 .在分析安全操作系统中的安全属性即时撤消问题的基础上 ,建立安全属性即时撤消框架 ,并且设计“基于操作列表的 in- progress操作撤消机制”较好地解决了 in-progress操作撤消问题 ,最后描述了框架在 RS- L
多Ａｇｅｎｔ学习是近年来受到较多关注的研究方向，以单Ａｇｅｎｔ强化Ｑ－ｌｅａｒｎｉｎｇ算法为基础，提出了一种基于Ａｇｅｎｔ团队的强化学习模，这个模型的最大特点是引入主导Ａｇｅｎｔ作为团队学习的主角，并通过主导Ａｇｅｎｔ的角色变换实现整个团
文中讨论决策规则及其与演绎推理中的假言推理规则之间的关系，通过数据挖掘中的软计算使决策表中的属性简化和性值区间化，从而找到一种具有广泛表达能力的数据隐含格式，从中选择
文中提出并分析了并行归并算法ＰＭＦＳ；基于曙光－１０００大规模并行计算机系统，给出了ＰＭＦＳ算法应用实例的实验结果，并将ＰＭＦＳ算法推广得到的并行归并排序算法与ＰＳＲＳ算法进行了比较。
有关统计资料表明,农历初一或十五和临近这两个日子是地震的多发日。日落后19时至次日晨6时前,是地震的多发时。这一结果是偶然得来的吗?不是,而是有着内在的