Code golf:将多个排序列表组合到一个排序列表中

def merge_sorted_lists(lists):
    result = []
    indexes = [0] * len(lists)

    while True:
        min_value = None
        min_index = None

        for i, index in enumerate(indexes):
            if index < len(lists[i]) and (min_value is None or lists[i][index] < min_value):
                min_value = lists[i][index]
                min_index = i

        if min_index is not None:
            result.append(min_value)
            indexes[min_index] += 1
        else:
            break

    return result

lists = [
    [1, 3, 5, 7],
    [2, 4, 6, 8],
    [0, 9, 10, 11]
]

result = merge_sorted_lists(lists)
print(result)  # 输出：[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]