一种枚举生成所有最小-最大堆的算法-计算机应用与软件.PDFVIP

第３０卷第８期　　　 计算机应用与软件 Ｖｏｌ３０Ｎｏ．８ ２０１３年８月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｕｇ．２０１３ 一种枚举生成所有最小最大堆的算法 兰　娟　孙　强 （华东师范大学计算机科学技术系　上海２００２４１） 摘　要　　提出一种生成所有最小 最大堆的枚举算法。该算法采用单个数判断法和层次判断法，按照从深层次向低层次的顺序生 成最小 最大堆；利用满堆的对称性，通过互换满堆的左右子树得到另外的最小 最大堆，从而减少回溯次数，有效提高枚举效率。 关键词　　最小 最大堆　枚举　算法　满堆　对称 中图分类号　ＴＰ３０１．６　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１３．０８．０７８ ＡＮＡＬＧＯＲＩＴＨＭＯＦＧＥＮＥＲＡＴＩＮＧＡＬＬＭＩＮＭＡＸＨＥＡＰＳＷＩＴＨＥＮＵＭＥＲＡＴＩＯＮ ＬａｎＪｕａｎ　ＳｕｎＱｉａｎｇ （ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２００２４１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ａｎｅｎｕｍｅｒａｔｉｏｎａｌｇｏｒｉｔｈｍｏｆｇｅｎｅｒａｔｉｎｇａｌｌｔｈｅｍｉｎｍａｘｈｅａｐｓｉｓｐｕｔｆｏｒｗａｒｄ．Ｉｔｇｅｎｅｒａｔｅｓｍｉｎｍａｘｈｅａｐｉｎｔｈｅｏｒｄｅｒｆｒｏｍｄｅｅｐ ｌｅｖｅｌｔｏｌｏｗｌｅｖｅｌｗｉｔｈｓｉｎｇｌｅｎｕｍｂｅｒｊｕｄｇｅｍｅｎｔｍｅｔｈｏｄａｎｄｌｅｖｅｌｊｕｄｇｅｍｅｎｔｍｅｔｈｏｄ．Ｂｅｓｉｄｅｓ，ｔｈｅａｌｇｏｒｉｔｈｍｕｓｅｓｔｈｅｓｙｍｍｅｔｒｙｏｆｐｅｒｆｅｃｔｈｅａｐ ｔｏｇｅｎｅｒａｔｅｏｔｈｅｒｍｉｎｍａｘｈｅａｐｔｈｒｏｕｇｈｃｒｏｓｓｉｎｇｏｖｅｒｔｈｅｒｉｇｈｔａｎｄｌｅｆｔｓｕｂｔｒｅｅｓｏｆｔｈｅｐｅｒｆｅｃｔｈｅａｐ，ｔｈｕｓｔｈｅｂａｃｋｔｒａｃｋｉｎｇｔｉｍｅｓｉｓｒｅｄｕｃｅｄ， ａｎｄｔｈｅｅｎｕｍｅｒａｔｉｏｎｅｆｆｉｃｉｅｎｃｙｉｓｅｆｆｅｃｔｉｖｅｌｙｉｍｐｒｏｖｅｄａｓｗｅｌｌ． Ｋｅｙｗｏｒｄｓ　　Ｍｉｎｍａｘｈｅａｐ　Ｅｎｕｍｅｒａｔｉｏｎ　Ａｌｇｏｒｉｔｈｍ　Ｐｅｒｆｅｃｔｈｅａｐ　Ｓｙｍｍｅｔｒｙ 都与深度为ｋ的满二叉树中编号从１至ｎ的结点一一对应时， ０　引　言 称为完全二叉树。 定义３　满堆 堆的枚举是计算机算法设计及分析的重要课题，它作为一 一个深度为ｋ的堆，如果其结点个数恰是（２ｋ－１），则称这 种优先级队列在应用上受到了广泛的关注。在此基础上，Ｍ．Ｄ． 样的堆为满堆。 Ａｔｋｉｎｓｏｎ等人提出了一种最小 最大堆的数据结构，它能在常量 满堆具有对偶性的特性。即若堆Ｎ１和Ｎ２取定Ｎ１中的结 时间复杂度内查找最大值和最小值，这是最大值堆及最小值堆 点ｍ，且以ｍ为根结点的子堆是满堆，如果通过互换Ｎ１中以结 无法实现的。也正是因为它的这种特性，使得最小 最大堆在实 点ｍ为根的左右子堆，便可得到堆Ｎ２，我们就称堆Ｎ１和Ｎ２是 现双端优先队列、求解最小生成树等领域得到了广泛的应用。 关于对偶结点ｍ对偶的。也正是满堆的这种对偶性，为最小 最小 最大堆是一种特殊的完全二叉树，它的每一层交替为 最大堆的研究提供了新的思路。 最小层和最大层，所以根据其独特的层次性质，本文提出了一种 定义４　最小 最大堆 新的枚举生成由ｎ个数组成的所有最小 最大堆的算法。此算 最小最大堆是这样一颗完全二叉树：如果将二叉树的根所在 层定义