Z-H算法正确性证明第四次改写

姜新文; 王琪; 姜子恒

首页> 中文期刊> 《计算技术与自动化》 >Z-H算法正确性证明第四次改写

Z-H算法正确性证明第四次改写

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

提出多级图简单路径求解问题,我们称之为MSP问题.给出求解该问题的Z-H算法,证明算法的正确性,分析算法的时间复杂性.最后通过将HC问题(哈密顿图判定问题)多项式归结成MSP问题,证明MSP问题的NP完全性质.本文极大地简化文献[6,7]中αβ引理的证明,特别是对证明过程中的各种情形进行分割,将一个巨大的证明分成系列引理.

著录项

来源
《计算技术与自动化》 |2010年第3期|35-48|共14页
作者
姜新文; 王琪; 姜子恒;
展开▼
作者单位

国防科技大学计算机学院;

湖南;

长沙;

410073;

国防科技大学计算机学院;

湖南;

长沙;

410073;

国防科技大学计算机学院;

湖南;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
算法; MSP问题; HC问题; NP问题; NP完全问题;

相似文献

中文文献
外文文献
专利

1. β-PSML中混合推理算法的正确性证明 [J] . 苏依拉 . 北京工业大学学报 . 2012,第003期
2. 最小耗费生成树剔除算法及其正确性证明 [J] . 杜立智 ,陈和平 . 电脑与信息技术 . 2003,第005期
3. 串行程序的并行划分算法及其正确性证明 [J] . 罗昕 ,王庆超 . 宇航学报 . 1994,第004期
4. 最小覆盖算法及正确性证明 [J] . 金银秋 . 计算机应用研究 . 1993,第002期
5. Sun以革新者的巨大魄力改写网络计算规则——记Sun公司首席执行官司考特·麦克尼利第四次访华 [J] . . 软件 . 2003,第004期
6. 有效用于改写查询的物化视图及改写算法 [C] . 陈明 ,朱有娜 . 第二十二届中国数据库学术会议 . 2005
7. SDN多控制器环境下对Raft一致性算法的改进及正确性证明 [A] . 高宇 . 2018

Z-H算法正确性证明第四次改写

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅