算法设计范式：分而治之与归并排序

Auto-generated at 2025-09-22 15:38

算法设计范式：分而治之与归并排序

第一关：理论探究：分而治之的力量

案例背景：智慧城市交通优化系统

在上周的工作中，你已经实现并分析了插入排序在交通数据处理中的性能。虽然它在数据量较小或基本有序的情况下表现不错，但在应对大规模拥堵（逆序数据）时，其性能瓶颈非常明显。本周，你的项目经理（Agent）将向你介绍一种更高效的算法设计思想——“分而治之”，并要求你掌握其代表算法：归并排序。

任务：理解与分析

场景介绍

你的经理告诉你，归并排序（Merge Sort）是解决大规模排序问题的利器。在投入编码之前，你必须先从理论上理解它为何如此高效。

思考题

请与右侧的Agent（你的项目经理）对话，清晰地回答以下问题，以证明你已理解核心思想：

1. 分治思想：根据课程资料，请解释什么是“分而治之”（Divide-and-Conquer）设计范式？它包含哪三个基本步骤？

2. 递推关系：归并排序的时间复杂度可以用递推式 T(n)=2T(n/2)+Θ(n) 来表示。请解释这个式子各部分的含义：

   • 2 代表什么？
   • T(n/2) 代表什么？
   • Θ(n) 代表什么？

3. 效率对比：你的同事认为，插入排序经过极致优化后，处理n个数据的耗时为 0.1n^2；而归并排序由于递归和合并开销，耗时为 1000nlog_2n。在处理超大规模城市交通数据时（即n趋于无穷大时），哪个算法最终会胜出？请从渐进增长的角度解释你的理由。

4. 增长排序：将下列函数的渐进增长率从低到高排序，并将它们划分到等价类（即 Θ 关系相同的函数）。这有助于你理解不同算法效率的所在层级。

   • n^2 (插入排序最坏情况)
   • nlogn (归并排序)
   • n (一种非常低效的蛮力算法)
   • 2^n (另一种指数级算法)
   • logn (类似二分查找的效率)

第二关：编程实践：实现归并排序

任务：编码与对比

场景介绍

现在你已经从理论上理解了归并排序的威力。是时候亲手实现它，并与上周的插入排序进行一次性能上的正面较量了！

题目：实现归并排序并对比性能

你需要实现归并排序的核心函数，并利用上周的测试框架来直观对比它与插入排序在处理不同交通数据时的表现。

代码框架

在下方代码编辑区，完成 merge_sort(arr) 和 merge(left, right) 两个函数的实现。

import random
import time

#上周实现的插入排序（用于对比）
def insertion_sort(arr):
    for i in range(1, len(arr)):
        key = arr[i]
        j = i - 1
        while j >= 0 and arr[j] > key:
            arr[j + 1] = arr[j]
            j -= 1
        arr[j + 1] = key
    return arr

#--- 本周任务：请在下方实现归并排序 ---

def merge_sort(arr):
    """
    实现归并排序算法
    参数arr: 待排序的交通数据数组
    返回: 一个新的、排序好的数组
    """
    # TODO: 实现归并排序的递归逻辑
    # 提示：当数组元素个数小于等于1时，递归终止
    

def merge(left, right):
    """
    合并两个已排序的子数组
    参数left: 左侧已排序数组
    参数right: 右侧已排序数组
    返回: 合并后的一个有序数组
    """
  

#--- 测试与对比部分 ---

def measure_performance(sort_func, data):
    start_time = time.perf_counter_ns()
    sort_func(data.copy())
    end_time = time.perf_counter_ns()
    return (end_time - start_time) / 10**6

network_sizes = [1000, 5000, 10000, 50000]
print("算法性能对比测试:")
for size in network_sizes:
    # 生成逆序数据，这是插入排序的最坏情况
    worst_case_data = list(range(size, 0, -1))
    
    time_insertion = measure_performance(insertion_sort, worst_case_data)
    time_merge = measure_performance(merge_sort, worst_case_data)
    
    print(f"--- 网络规模 n={size} (最坏情况) ---")
    print(f"  - 插入排序: {time_insertion:.2f} ms")
    print(f"  - 归并排序: {time_merge:.2f} ms")

分析与讨论

完成编程并得到输出后，请与右侧Agent讨论以下问题：

1. 性能验证：观察“交通大堵塞”（最坏情况）的测试结果，归并排序的性能表现与插入排序有何天壤之别？这是否验证了你在第一关的理论分析？

2. 性能稳定性：如果我们将测试数据换成“畅通无阻”（最好情况）或“随机车流”（平均情况），你认为归并排序的运行时间会发生巨大变化吗？为什么？

3. 空间成本：在实现 merge 函数时，你可能创建了一个新的数组 merged 来存放结果。这在算法分析中被称为“空间复杂度”。与在原数组上进行交换的插入排序相比，归并排序的这个特点是优点还是缺点？

4. 最终决策：作为项目工程师，你会选择哪种排序算法用于我们的大规模交通调度系统？请综合考虑时间效率和空间成本来陈述你的理由。