Huffman算法程序的形式化推导

• 作者: 左正康 王昌晶 罗海梅 薛锦云
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: PAR方法 形式化推导 最优编码 Huffman算法
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 49-51
• 页数: 3页
• 分类号: TP311
• 字数: 4000字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.05.018

摘要

使用PAR方法形式化推导了解决最优编码问题的Huffman算法.推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法.该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学高性能计算技术重点实验室	77	745	15.0	23.0
5	罗海梅	江西师范大学物理与通讯电子学院	12	33	4.0	5.0
6	王昌晶	江西师范大学高性能计算技术重点实验室	5	39	4.0	5.0
15	左正康	江西师范大学高性能计算技术重点实验室	7	19	3.0	4.0