江西省教育厅科学技术研究项目(GJJ09142)
- 作品数：2 被引量：3H指数：1
- 相关作者：化志章杨庆红揭安全更多>>
- 相关机构：江西师范大学更多>>
- 发文基金：江西省教育厅科学技术研究项目江西省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 树非递归遍历统一的新解法及其形式证明被引量：1
- 2010年
- 提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义变换公式参数,获得二叉树前序、中序和K叉树前序、后序的递推公式,所得算法比传统算法更简洁直观,表明本解法的有效性和通用性.
- 化志章杨庆红揭安全
- 关键词：非递归算法循环不变式
- 基于遍历序列恢复二叉树的新解法及其证明被引量：2
- 2013年
- 提出了一种基于前序和中序遍历序列恢复二叉树的解法,算法以数学公式形式呈现,反映了建树过程中相关数据变化的一般规律,具备数学上的引用透明性,由此能机械获得非递归程序和循环不变式,并进行了正确性证明.通过简单变换,获得了后序+中序、前序+后序恢复二叉树的可信算法.实验效果表明了该解法的有效性.
- 化志章
- 关键词：二叉树遍历循环不变式
