浙大数据结构MOOC作业题目集2020——02-线性结构1 两个有序链表序列的合并 (15分)

本题要求实现一个函数，将两个链表表示的递增整数序列合并为一个非递减的整数序列。

函数接口定义：

List Merge( List L1, List L2 );
其中List结构定义如下：

typedef struct Node *PtrToNode;
struct Node {
    ElementType Data; /* 存储结点数据 */
    PtrToNode   Next; /* 指向下一个结点的指针 */
};
typedef PtrToNode List; /* 定义单链表类型 */

L1和L2是给定的带头结点的单链表，其结点存储的数据是递增有序的；函数Merge要将L1和L2合并为一个非递减的整数序列。应直接使用原序列中的结点，返回归并后的带头结点的链表头指针。

裁判测试程序样例：

#include <stdio.h>
#include <stdlib.h>

typedef int ElementType;
typedef struct Node *PtrToNode;
struct Node {
    ElementType Data;
    PtrToNode   Next;
};
typedef PtrToNode List;

List Read(); /* 细节在此不表 */
void Print( List L ); /* 细节在此不表；空链表将输出NULL */

List Merge( List L1, List L2 );

int main()
{
    List L1, L2, L;
    L1 = Read();
    L2 = Read();
    L = Merge(L1, L2);
    Print(L);
    Print(L1);
    Print(L2);
    return 0;
}

/* 你的代码将被嵌在这里 */

输入样例：

3
1 3 5
5
2 4 6 8 10

输出样例：

1 2 3 4 5 6 8 10 
NULL
NULL

知识点
带头结点的单链表：在单链表的第一个结点之前增加一个特殊的结点，称为头结点
头结点的作用：使所有链表（包括空表）的头指针非空，并使对单链表的插入，删除操作不需要区分是否为空表或是否在第一个位置进行，从而与其他位置的插入，删除操作一致。
思路
一开始写的代码特差，老是运行超时，参考别人的后，发现自己忽略了一句话，“L1和L2是给定的带头结点的单链表”，直接从L1，L2头结点开始比较
唉。。。。。。。。。。
返回归并后的带头结点的链表头指针：观察裁判程序，L与L1,L2输出用同一输出函数，则说明，L也为有头结点链表。
L1：1 3 5
L2：2 4 6 8 10
一系列循环最后，L1先到头，p结点指向5后，p=p->Next;指向NULL
此时应判断另一个链表是否到头，若没有，则应使p指向L2剩余链表
代码

List Merge( List L1, List L2 ){
    List m1=L1,m2=L2,p=(List)malloc(sizeof(struct Node));
    L1=L1->Next;
    L2=L2->Next;
    List res=p;
    p->Next=NULL;
    while(L1!=NULL&&L2!=NULL){
        if(L1->Data<L2->Data){
            p->Next=L1;
            L1=L1->Next;/*下次比较L1下一位*/
            p=p->Next;/*p指向L1*/
        }
        else{		/*L1>L2或者两者相等（考虑两个完全相等的链表）*/
            p->Next=L2;
            L2=L2->Next;
            p=p->Next;/*p指向L2*/
        }
    }
    if(L1!=NULL) p->Next=L1;
    if(L2!=NULL) p->Next=L2;
    m1->Next=NULL;
    m2->Next=NULL;
    return res;
}