设有一组初始记录关键字序列（K₁，K₂，…，K_n），要求设计一个算法能够在O（n）的时间复杂度内将线性表划分成两部分，其中左半部分的每个关键字均小于K_i，右半部分的每个关键字均大于等于K_i。