树非递归遍历统一的新解法及其形式证明

来源 :江西师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:Victsman
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义变换公式参数,获得二叉树前序、中序和K叉树前序、后序的递推公式,所得算法比传统算法更简洁直观,表明本解法的有效性和通用性.
其他文献
本文针对发光二极管(LED)生产的实际需求,给出了新型LED光电参数测试系统的软硬件设计方案。利用功能强大的AVR单片机,结合高精度数控恒流源技术、光电转换处理技术、USB通信技术
鸟类夜栖树的景观差异,对于营造鸟类栖息条件、人工招引鸟类有积极的促进作用。笔者对云南省昆明市12种鸟类栖息的189棵夜栖树的28个景观因子进行了主成分分析。通过前后两次
为了充分体现高职人才培养的差异性和层次性,高职数学分层差异教学应着眼于三种教学模式。在实施分层差异教学中,要把握好教师与学生、整体与个体、数学与专业的关系,培养学
城镇儿童医疗保险是城镇居民医疗保险制度的重要组成部分,该制度能否有效运行是制度可持续发展的关键,也是实现儿童医疗保障城乡一体化系的重要基础。根据城镇儿童医疗保险的
人民调解职业化是促进人民调解发展的必然趋势和重要保障,目前我国人民调解职业化尚处于初级阶段,职业化的需求和基本特征已经具备,然而现实情境存在着制约调解职业化的阻碍
目的:探讨传染性非典型肺炎(又称严重急性呼吸综合征,SARS)病情的动态变化规律及中西医结合治疗SARS的临床疗效。方法:以2003年1月~4月临床诊断SARS 103例为对象,均进行中西医
把一片叶子做成全产业链产值超过1000亿元的大产业,这是福建茶产业发展一个了不起的成绩。$$凭借多项涉茶指标位居全国第一,福建成为了名副其实的中国茶产业第一大省。这背后,既
报纸
该文提出了一种串联型模糊神经网络PID控制器的设计方法 ,该方法利用人工神经元网络的聚类功能来对反馈回来的误差输入量进行分类 ,然后串联一个模糊控制器 ,并根据人工神经
提出了一种PMC模型下基于矩阵运算的贪婪诊断算法——MGFD算法。算法结合作者曾经提出的“绝对故障基”思想,首先剔除绝对故障基,得到一个维度减小的矩阵,之后根据该矩阵求得集
老年高血压患者是一个特殊的人群,血压变化具有自身的特征:如收缩压升高、脉压差增大、血压波动范围大;同时老年高血压患者靶器官损害常广泛存在,并发症多见。这些临床特征影