Batcher归并网络

✍ dations ◷ 2025-04-26 11:50:54 #并发计算

Batcher排序网络是由一系列Batcher比较器(Batcher's Comparator)组成的。Batcher比较器是指在两个输入端给定输入x,y,再在两个输出端输出最大值max{x,y}和最小值min{x,y}。

比较器网络是用Batcher比较器连成的完成某一功能的网络。

所谓双调序列(Bitonic Sequence)是指由一个非严格增序列X和非严格减序列Y(其中X的最小元素正好是Y的最大元素)构成的序列,比如序列(23,10,8,3,5,7,11,78)。

定义:一个序列a1,a2,…,an是双调序列(Bitonic Sequence),如果:

输入两个已排好序的序列,对这两个序列进行归并排序,在串行算法中的时间复杂度为O(n)。在并行计算中可以用奇偶归并算法来实现的。以输入的两个4元素有序序列为A和B为例,首先将这两个序列进行逆洗牌(Unshuffle)得到两个序列:其中一个是由A,B中奇数号元素组成的序列,记作奇序列OM,另一个则是由A,B中偶数号元素组成的序列,记作偶序列序列EM。接着将OM送入(2,2)奇归并器中,将EM送入(2,2)偶归并器中。于是得到一组有序的奇序列和一组有序偶序列。最后除了奇序列一个元素之外将这两个序列进行洗牌(Shuffle)比较操作即可得到一个有序序列。

算法的递归性:一个n阶的归并器是由两个n/2阶的归并器加一个洗牌比较网络构成的。比如上面的两个(2,2)归并器和最后的洗牌比较网络就构成了一个(4,4)的归并器。

一个四阶奇偶归并的例子:假设归并前的的序列是(1,5,7,6)和(2,3,4,9),那么第一次操作就将(1,2,7,4)送入(2,2)归并器中归并,得到结果为(1,2,4,7);(5,3,6,9)送入(2,2)归并器中归并,得到结果为(3,5,6,9),接着将这两个排号序的序列进行洗牌比较:(1,3<->2,5<->4,6<->7,9)=>(1,2,3,4,5,6,7,9)。

可以证明这个算法是正确的,我们要用到高德纳(Donald Ervin Knuth)的0-1原理,我们发现,对于输入的任意两个有序的0,1序列,奇序列与偶序列正好相差0个,1个或2个0。由于奇序列的第一个元素不参与最后的洗牌比较,所以参与比较的0,1数偶只有0个或1个,所以对0,1序列一定能够得到正确的排序。故而对任意的序列,奇偶归并网络可以产生正确的排序。

双调归并网络是基于Batcher定理而构建的。Batcher定理是说将任意一个长为2n的双调序列A分为等长的两半X和Y,将X中的元素与Y中的元素一一按原序比较,即 a i {\displaystyle a_{i}} a i + n ( i n ) {\displaystyle a_{i+n}(i\leq n)} 比较,将较大者放入MAX序列,较小者放入MIN序列。则得到的MAX和MIN序列仍然是双调序列,并且MAX序列中的任意一个元素不小于MIN序列中的任意一个元素。

根据这个原理,我们可以将一个输入的n元素双调序列首先通过洗牌比较操作得到一个MAX序列和一个MIN序列,然后通过两个n/2阶双调归并器处理就可以得到一个有序序列。

这个算法也是递归的,因为n阶的双调归并器是由一个洗牌比较网络两个n/2阶的双调归并器组成的。

相关

  • 长QT症8长QT症又名长QT综合症(Long QT syndrome),全称是QT间期延长综合症,简称LQTS,是一种跟心律或心血管有关的心脏病。这一种病可能是先天的,也有可能是因为治疗其他心脏病的药物而引起
  • 乔治·海尔乔治·埃勒里·海尔(英语:George Ellery Hale,1868年6月29日-1938年2月21日),美国天文学家。1868年出生于美国芝加哥,父亲是制造电梯的实业家。他曾于麻省理工学院、哈佛大学天文台
  • Nasub3/subN氮化钠 (Na3N)是一种非常不稳定的碱金属氮化物。氮化钠是2002年由马克斯-普朗克学会的Dieter Fischer及Martin Jansen所合成。合成时,用钠及氮的原子束在低温的蓝宝石上沉积出
  • 神经内分泌肿瘤神经内分泌肿瘤(英语:Neuroendocrine tumor,简称NET),一种由内分泌系统或神经系统的细胞,所形成的肿瘤。大多数是良性的,但也有属于恶性肿瘤的案例。它大多数出现在胰脏、小肠等肠
  • 蛩蠊目蛩蠊,是蛩蠊科(Grylloblattidae)的无翅昆虫。它们生活在高山上的寒冷地区,并不能在20℃以上的环境中生存。其外观令发现的科学家感到疑惑。第一个被命名的物种北美蛩蠊 ( Gryllo
  • 申师任堂申师任堂(朝鲜语:신사임당,1504年10月29日-1551年5月17日),朝鲜国中期的女性书画家、作家、儒学者和诗人。儒学者李栗谷的母亲。字仁善、号师任堂、思任堂、师妊堂、妊师斋、任堂
  • 原广陞楼原广陞楼位于台湾台南市中西区,于民国九十二年(2003年)5月13日公告为台南市的市定古迹。在日治时期时,该建筑为酒楼,位于明治町,现在则为私人住宅。在日治时期的台南市除了广陞楼
  • 澳门档案馆澳门档案馆(葡萄牙语:Arquivo de Macau,英语:The Archives of Macao)是位于澳门特别行政区荷兰园大马路,乃澳门官方档案文史资料收藏、保管、分析和研究之机构。1952年6月28日,根据
  • 长谷川町子长谷川町子(1920年1月30日-1992年5月27日)是日本最初的女性专业漫画家。代表作有《蝾螺小姐》等。她也是日本唯一的一位获得国民荣誉赏殊荣的漫画家。长谷川町子出生在佐贺县小
  • ERG11ERG11或甾醇-14-去甲基酶(Sterol 14-demethylase)是一种真菌细胞色素P450酶,最初发现于酿酒酵母()基因组,属于CYP51家族,代号CYP51F1。ERG11催化羊毛甾醇转化为酵母甾醇的第一步,羊