一类合并算法

假设我们得到两个不相交的线性有序子集A类和B类线性有序集的C类，说吧A类= {一₁<一₂< ··· <一_米}以及B类= {b条₁<b条₂< ··· <b条_n个}. 问题是确定它们并集的线性排序（即合并A类和B类)通过元素之间的成对比较序列A类和一个元素B类（我们在论文中称之为(m、 n个)问题）。给定任何算法秒解决(m、 n个)问题，我们对最大数量的比较感兴趣K（K）_秒(m、 n个)所有可能的订单要求A类ŞB类.算法秒称为极小极大，如果K（K）_秒(m、 n个) =K（K）(m、 n个)其中K（K）(m、 n个)=分钟K（K）_秒(m、 n个)

这是一项相当困难的任务K（K）(m、 n个)一般而言。在这项研究中，作者只关心一类特定合并算法上的极小极大。此类包括磁带合并算法、简单二进制算法和广义二进制算法。