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

在 C 语言中，你可以使用双指针法（两个指针从头和尾开始遍历数组）来解决这个问题。这个算法被称为快速分割法，其基本步骤如下：

1. 定义两个指针，`left` 初始化为0（表示左边界），`right` 初始化为数组长度减1（表示右边界）。

2. 创建一个临时变量 `temp` 存储当前中间位置的关键字 `key`，并将 `right` 指针指向的位置的关键字复制到 `temp`。

3. 如果 `temp` 小于等于 `Ki`，则交换 `temp` 和 `left` 指向的数据，然后将 `left` 向右移动一位；否则，不做任何操作，因为 `right` 已经指向的是大于等于 `Ki` 的元素。

4. 重复步骤2和3，直到 `left` 和 `right` 相遇，此时 `left` 的位置就是第一个大于 `Ki` 的元素的索引，数组就被划分为两部分了。

5. 结果数组的前半部分（包括第 `left` 个元素）的所有元素都小于等于 `Ki`，后半部分（从第 `left+1` 个元素开始）的所有元素都大于等于 `Ki`。

以下是简化的 C 代码示例：

#include <stdio.h>

void quick_split(int arr[], int n, int Ki, int *split_idx) {
    int left = 0, right = n - 1;
    while (left <= right) {
        int temp = arr[right];
        if (arr[left] >= Ki) {
            if (temp > Ki) {
                *split_idx = left;
                break; // 左边已经找到满足条件的元素，结束循环
            } else {
                arr[left] = temp; // 交换左边较小元素和右边较大的元素
            }
        }
        left++;
    }
}

// 测试函数
int main() {
    int arr[] = {K, K, K, ..., K}; // 假设这里K已替换为你实际的值
    int n = sizeof(arr) / sizeof(arr[0]);
    int split_idx;
    quick_split(arr, n, Ki, &split_idx);
    
    printf("分割点位于下标 %d\n", split_idx);
    return 0;
}