设线性表存于数组 a[0.. n-1]的前R个分量中，且递增有序，试写一算法，将x插入 性表的适当位置上，以保持线性表的有序性。

你可以采用二分查找法的思想来设计这个算法。因为线性表是有序的，我们可以从中间元素开始比较，如果x小于中间元素，则在左半部分数组继续查找合适的插入位置；如果x大于等于中间元素，则在右半部分数组继续查找。以下是算法的大致步骤：

1. 定义两个变量low（初始值为0）和high（初始值为n-1-R），分别表示查找范围的左右边界。

2. 当low <= high时，执行循环：
- 计算中间索引mid = (low + high) / 2。
- 比较x和a[mid]的大小关系：
- 如果 x < a[mid]，说明应该在左半部分插入，更新high = mid - 1。
- 如果 x >= a[mid]，说明应该在右半部分插入，更新low = mid + 1。
- 继续循环直到low > high。

3. 插入位置确定后，将x插入到a[low]的位置。注意，由于数组的实际长度是n-R，所以在插入之前需要检查low是否越界，即low < n-R。

4. 更新a[low]后的元素，将它们依次向后移动一位，以便腾出插入位。

5. 算法结束。

下面是伪代码形式的描述：

function insertSortedArray(a[], x, n, R):
    low = 0
    high = n - 1 - R
    
    while low <= high:
        mid = (low + high) // 2
        if x < a[mid]:
            high = mid - 1
        else:
            low = mid + 1
            
    if low < n - R:
        a[low] = x
        for i in range(low, n - R):
            a[i] = a[i + 1]