有序表的归并算法（C语言）

目录

一 简介

二 归并算法

二 时空复杂度

---

一 简介

有序表的归并算法是将两个已经按照一定顺序（升序或降序）排列好的线性表合并成一个新的有序表的过程。该算法采用比较两个表中当前待处理元素的大小，每次选取较小者（或较大者，视排序规则而定）放入新表，直至一个表处理完毕，再将另一个表剩余元素依次加入新表。归并过程中保持新表有序，最终得到的新表不仅包含了原来两个表的所有元素，而且所有元素也是有序排列的。此算法常用于归并排序和数据集合并操作，时间复杂度为O(n + m)，其中n和m分别为两个输入有序表的长度。

二 归并算法

在C语言中，实现有序表（这里以数组为例）的归并算法，我们可以先写出一个通用的合并两个有序数组的函数。假设我们有两个已排序的数组A和B，我们要将其合并到一个更大的有序数组C中。以下是简单示例代码：

#include <stdio.h>

// 定义结构体表示有序表
typedef struct {
    int data[100]; // 假设有序表的容量固定为100
    int length; // 表示当前有序表中实际元素数量
} OrderedTable;

// 合并两个有序数组
void merge(OrderedTable *A, OrderedTable *B, OrderedTable *C) {
    int i = 0, j = 0, k = 0;

    // 遍历两个有序数组，将较小的元素依次存入新数组C
    while (i < A->length && j < B->length) {
        if (A->data[i] <= B->data[j]) {
            C->data[k++] = A->data[i++];
        } else {
            C->data[k++] = B->data[j++];
        }
    }

    // 如果A数组还有剩余元素，则全部复制到C数组
    while (i < A->length) {
        C->data[k++] = A->data[i++];
    }

    // 如果B数组还有剩余元素，则全部复制到C数组
    while (j < B->length) {
        C->data[k++] = B->data[j++];
    }

    // 更新新有序表的长度
    C->length = k;
}

// 示例主程序
int main() {
    OrderedTable tableA = {{1, 3, 5, 7}, 4};
    OrderedTable tableB = {{2, 4, 6, 8}, 4};

    OrderedTable mergedTable = {{0}, 0}; // 初始化合并后的有序表

    merge(&tableA, &tableB, &mergedTable);

    // 输出合并后的有序表
    for (int i = 0; i < mergedTable.length; ++i) {
        printf("%d ", mergedTable.data[i]);
    }

    return 0;
}

这段代码首先定义了一个结构体OrderedTable表示有序表，然后实现了一个merge函数，它接收两个有序表的引用和一个空的有序表引用作为参数，通过三个指针i、j和k分别遍历两个输入表和输出表。在循环中，比较两个输入表当前元素的大小，将较小者存入输出表，直到某个输入表遍历完，然后将剩余元素全部追加到输出表。最后，更新输出表的实际元素数量。

请注意，这个例子假设了有序表的大小是可以容纳合并后所有元素的。在实际情况中，您可能需要处理更多边界情况和内存分配问题。如果使用链表实现有序表，那么归并算法的实现将会稍有不同，涉及到节点指针的操作。

二 时空复杂度

这段代码中的merge函数实现了两个有序表（在这里表现为固定大小的数组）的合并操作。针对这个算法，我们可以分析其时间和空间复杂度：

• 时间复杂度：算法的时间复杂度主要取决于合并过程中对两个有序数组的遍历次数。最坏情况下，即两个数组长度相同且没有任何重复元素，我们需要遍历两个数组各一次，所以时间复杂度为 O(m + n)，其中 m 和 n 分别代表两个输入有序数组的长度。

• 空间复杂度：在这个实现中，合并的结果存储在一个预先分配好的固定大小的数组C中，其大小足够容纳两个输入有序数组的元素之和。因此，无论输入数组的大小如何，空间复杂度都是固定的 O(1)。但如果在实际应用中，C数组不是固定大小，而是动态扩展以容纳所有元素，那么在最坏情况下，空间复杂度也将变为 O(m + n)。

总体而言，这个有序表的归并算法在时间和空间上都表现出较好的效率，尤其在归并排序等场景中，通过递归调用多次归并操作，最终能得到一个全局有序的大数组。