二路归并模式可以用二元归并树来表示。
叶节点被画成方块形,表示一个序列表,称为外部节点。
非叶节点被画成圆圈,称为内部节点。
每个内部节点都有两个儿子,表示把两个儿子节点所表示的有序表归并之后得到的有序表。
每个节点中的数字表示有序表的元素个数,称为权值。
正确性证明:
T是构造出来的最优树,T1是最优树,T2是替换了之后的数,因为q1和q2均为最小,所以依然是最优树
二路归并模式可以用二元归并树来表示。
叶节点被画成方块形,表示一个序列表,称为外部节点。
非叶节点被画成圆圈,称为内部节点。
每个内部节点都有两个儿子,表示把两个儿子节点所表示的有序表归并之后得到的有序表。
每个节点中的数字表示有序表的元素个数,称为权值。
正确性证明:
T是构造出来的最优树,T1是最优树,T2是替换了之后的数,因为q1和q2均为最小,所以依然是最优树