浙大版《数据结构（第2版）》题目集 习题1.9 有序数组的插入 (20 分) 二分解法

习题1.9 有序数组的插入 (20 分)
本题要求将任一给定元素插入从大到小排好序的数组中合适的位置，以保持结果依然有序。

函数接口定义：
bool Insert( List L, ElementType X );
其中List结构定义如下：

typedef int Position;
typedef struct LNode *List;
struct LNode {
    ElementType Data[MAXSIZE];
    Position Last; /* 保存线性表中最后一个元素的位置 */
};

L是用户传入的一个线性表，其中ElementType元素可以通过>、==、<进行比较，并且题目保证传入的数据是递减有序的。函数Insert要将X插入Data[]中合适的位置，以保持结果依然有序（注意：元素从下标0开始存储）。但如果X已经在Data[]中了，就不要插入，返回失败的标记false；如果插入成功，则返回true。另外，因为Data[]中最多只能存MAXSIZE个元素，所以如果插入新元素之前已经满了，也不要插入，而是返回失败的标记false。

裁判测试程序样例：

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

#define MAXSIZE 10
typedef enum {false, true} bool;
typedef int ElementType;

typedef int Position;
typedef struct LNode *List;
struct LNode {
    ElementType Data[MAXSIZE];
    Position Last; /* 保存线性表中最后一个元素的位置 */
};

List ReadInput(); /* 裁判实现，细节不表。元素从下标0开始存储 */
void PrintList( List L ); /* 裁判实现，细节不表 */
bool Insert( List L, ElementType X );

int main()
{
    List L;
    ElementType X;

    L = ReadInput();
    scanf("%d", &X);
    if ( Insert( L, X ) == false )
        printf("Insertion failed.\n");
    PrintList( L );

    return 0;
}

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

---

输入样例1：
5
35 12 8 7 3
10
输出样例1：
35 12 10 8 7 3
Last = 5

---

输入样例2：
6
35 12 10 8 7 3
8
输出样例2：
Insertion failed.
35 12 10 8 7 3
Last = 5

AC代码

bool Insert( List L, ElementType X )
{
    if(L->Last >= MAXSIZE - 1) return false;//个数溢出
    int l = 0,r = L->Last;
    if(X>=L->Data[l])//X比数组中所有数都大，先右移所有元素，再插入到数组0位置
    {
        for(int i = L->Last;i>=0;i--)
        {
            L->Data[i+1] = L->Data[i];
        }
        L->Data[0] = X;
        L->Last++;
        return true;
    }
    if(X<=L->Data[r])//x比数组中所有数都小，直接放到数组最右端末尾
    {
        L->Data[++L->Last] = X;
        return true;
    }
    while(l<r)//二分过程
    {
        int mid = (l+r)/2;
        if(X>L->Data[mid]) r = mid;
        else if(X==L->Data[mid]) return false;
        else l = mid + 1;
    }
    for(int i = L->Last;i>=r;i--)
    {
        L->Data[i+1] = L->Data[i];
    }
    L->Data[r] = X;
    L->Last++;
    return true;
}