우편 모델 상에서 병렬 합병 알고리즘

합병 문제는 크기가 각각 l, m(l+m=n)인 두 개의 정렬된 리스트를 하나인 정렬된 리스트로 만드는 문제로 정렬 문제와 그래프 문제 등과 같은 여러 가지 문제를 해결하는데 필요한 중요한 문제이다. p(＜n)개의 프로세서가 주어진 우편 모델 상에서 합병 문제를 해결하기 위해서 Batcher의 바이토닉 네트워크를 적용하면 (n/p+λ-1)log n 시간이 걸리고 n개의 프로세서가 주어진 우편 모델 상에 합병 문제를 해결하는 최적에 가까운 병렬 알고리즘을 적용하면 2(n/p+λ-1)(log p/log(λ+1))+λ-1 시간이 걸린다. 본 논문에서는 분할 알고리즘에서 이용한 교차점의 새로운 성질을 이용하여 부분 리스트를 전송할 때 충돌이 발생하지 않고 메시지를 전송하거나 전송 받을 때에만 연산하도록 한 새로운 알고리즘을 제안하였는데, 이는 3(n/p)+4f_λ(p)+6λ+1의 빠른 시간에 수행된다(단, f_λ(p)=θ(λlog p/log(λ+1))).