Batcher歸併網絡

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 ） ， 如果 ： 存在一個ak ( 1 ≤ k ≤ n ), 使得a1 ≥ … ≥ ak ≤ … ≤ an成立 ； 或者 序列能夠循環移位滿足條件 （ 1 ）