用c语言数据结构的知识，完成下列题目，设有一组初始记录关键字序列为(K,K,…,K),要求设计一个算法能 够在O(n)的时间复杂度内将线性表划分成两部分,其中左半部分的每个关键字均小 于Ki,右半部分的每个关键字均大于等于Ki。

这是一个典型的二分查找问题的变体，可以使用双指针技术结合C语言中的数组或链表数据结构来解决。我们可以创建两个指针，一个指向开始位置（low），另一个指向结束位置（high）。然后按照以下步骤操作：

1. 初始化 low = 0 和 high = n-1（n为序列长度）。
2. 计算中间值 mid = (low + high) / 2。这里要注意向下取整，因为我们不能有半个元素。
3. 比较 mid 元素与 Ki：
- 如果 mid < Ki，则说明 Ki 应该在 mid 右侧的部分，更新 low = mid+1。
- 否则如果 mid >= Ki，则 Ki 应该在 mid 左侧或等于 mid 的部分，更新 high = mid - 1。
4. 重复步骤2到3，直到 low > high。当 low 大于 high 时，就找到了分割点，left半部分的关键字小于 Ki，right半部分的关键字大于等于 Ki。

以下是伪代码描述这个过程：

function split_array(array K[], int n, int Ki):
    low = 0
    high = n - 1

    while low <= high:
        mid = floor((low + high) / 2)
        
        if array[mid] < Ki:
            low = mid + 1
        else:
            high = mid - 1
    
    return low  // 返回分割点的索引