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

来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户:Heavenws
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘要:提出多级图简单路径求解问题,我们称之为MSP问题。给出求解该问题的Z-H算法,证明算法的正确性,分析算法的时间复杂性。最后通过将HC问题(哈密顿图判定问题)多项式归结成MSP问题,证明MSP问题的NP完全性质。本文极大地简化文献[6,7]中αβ引理的证明,特别是对证明过程中的各种情形进行分割,将一个巨大的证明分成系列引理。 全文查看链接
其他文献
针对IC卡压印字符的表面特征,边缘检测算子的选取并得到精准凹凸字符信息是图像处理的关键。利用Canny算子提取凹凸字符的边缘特征,并利用几种经典的边缘检测算子对Canny算子效果进行检验,得出Canny算子对卡片字符的边缘检测有相当好的结果。同时,根据字符图像的边缘检测结果,选取阈值参数对字符图像进行分割得到单个字符的二值化图像和灰度直方图。较传统的二值化分割方法相比,取得了满意效果。并提高了字符
2000年9月,国家计委主任曾培炎在九届人大常委会十七次会议上提出,将促进轿车消费摆在拉动经济增长工作的首位,这是政府决心以汽车工业为新的经济增长点来启动新世纪中国经济
NGO作为社会力量的典型代表,在公共危机管理中的角色、地位、功能和内部管理机制等问题已经逐步进入理论研究视野。笔者认为,考虑到多数中国NGO浓厚的官方、半官方色彩和国外NG
分析和研究肉羊产业生产与发展,对山丹县肉羊产业持续健康发展和增加农牧民收入有着重要意义。本文对山丹县肉羊产业生产基本情况做了介绍,对肉羊产业发展中存在的问题进行了
刚刚进入社会工作实习领域的学生,常常会充满困惑与一些预想。他们所面临的挑战是:放下自己的个人价值观,尝试控制情绪与情感,以及建立专业实践中所需具备的批判性思维。作为社会
肝细胞癌是临床上常见的消化系统恶性肿瘤,预后较差。肝细胞癌的早期诊断有助于临床早期干预,提高患者生存率。体液活检是近年来较受关注的恶性肿瘤早期筛查诊断方法,其具有
从理论上对典型的无线Mesh网络组播差错控制协议BLBP、LBLBP以及HLBLBP的性能进行分析,通过MATLAB对各协议在不同丢包率情况下的重传次数、信道占用时间及端到端平均时延等性
在当前城市居民消费缺乏新的热点的情况下,开拓和启动农村市场就成了企业促销工作的重心。农村市场虽有广阔的前景,但就目前而言,企业要想把产品打入农村市场,尚存在许许多多的障
研究一类广义时滞系统的输出反馈无源控制问题。利用线性矩阵不等式,给出广义时滞系统容许(即正则、稳定、无脉冲)且严格无源的充分条件,在此基础上给出静态输出反馈控制器,保证闭
4月14日玉树地区发生地震以后,中华慈善总会立即启动紧急救援机制,拨付100万元救灾备金用于紧急救灾,同时发出号召,动员社会各界和团体会员单位援助玉树地震灾区。抗震救灾行动开