第 15 题

for i in range(1, n):
    key = data[i]
    ...

外层循环从 i=1 开始，data[0] 先单独构成已有序部分。每一轮取出 data[i] 并保存为 key，再通过下面的内层过程把它插入前面的已有序部分；一轮结束后，已有序范围增加一个元素。

s=""
for i in range(n):
    s=s+data[i][1]
return s

排序完成后，程序按当前顺序取出每个元素中的规格字母 data[i][1]，依次拼接到字符串 s 的末尾，最后返回拼接结果。

n = len(box)
top=[] #每个堆最下面的一个位置
top_idx=[]
prev=[-1]*n

n为集装箱数量。top与top_idx初始为空，prev为每个集装箱预留一个值为-1的记录位置。各列表的含义需结合后续存入和读取的数据确定；题面top后的注释与后文操作有冲突，以下按实际程序分析。

for i in range(n):
    cur = ord(box[i])-65
    left,right = 0,len(top)
    ①
    ...

循环按到港顺序逐个处理集装箱。ord(box[i])-65 把规格 A～F 转换为 0～5，规格越大，得到的 cur 越大。

left 和 right 分别从 0 与 len(top) 开始，后续将在这个范围内确定新集装箱应放入哪一堆。

for i in range(len(top)):
    pile = []
    curr_idx = top_idx[i] # 从堆顶开始
    while curr_idx != -1:
        pile.append(box[curr_idx])
        curr_idx = prev[curr_idx]
return len(top)

程序从每一堆的 top_idx[i] 开始，根据 prev 中保存的下方集装箱下标逐层向下访问，直至遇到 -1，由此还原各堆的集装箱。最终 len(top) 就是建立的堆数。

查找未命中时，需要进入新建堆的else分支。将pos初始值设为len(top)，即可使pos < len(top)不成立；找到合适的堆后，循环中的pos = mid会记录其位置。初始top为空时也能直接新建第一堆。故填：

pos = len(top)

题目要求在堆顶规格不小于cur的堆中，选择堆顶规格最小的一堆。top需要按非降序保存堆顶规格，这样最左侧满足top[mid] >= cur的位置就是目标。条件成立时记录mid，并令right = mid向左查找；条件不成立时，该位置及其左侧规格均过小，应令left = mid+1。

空②包含if关键字，题面已经给出冒号，因此填：

if top[mid] >= cur

当前箱子放入第pos堆后成为新的堆顶，规格应更新为cur，故填：

top[pos] = cur

这一更新也维持了top的非降序：pos左侧各值都小于cur，右侧各值不小于原top[pos]，也就不小于cur。若查找未命中，则已有各堆顶都小于cur，将cur追加到末尾仍然有序。因此从空列表开始，每轮都能继续进行对分查找。