如何优雅实现列表元素全量唯一配对分组，保证子列表含全部元素？

需求说明 #

• 从给定列表生成所有两两元素配对
• 将这些配对划分为若干子列表，需满足：
  1. 每个子列表是原列表的完美匹配：包含原列表全部元素，元素无重复出现（即子列表里的配对没有重叠元素）
  2. 所有子列表的配对组合后，每个可能的配对仅出现一次

示例：原列表[banana, apple, peach, pear]，共6个两两配对，需分成3个子列表，每个子列表含2组配对（覆盖全部4个元素），且6个配对在3个子列表中各出现一次。

当前尝试的问题 #

使用itertools.combinations生成所有配对后，手动创建多个空列表并通过循环判断元素是否存在来分配配对，存在两个明显问题：

• 代码极度冗余（手动写s1到s10的判断分支），完全不优雅
• 逻辑错误：第一个子列表会加入所有元素，后续子列表的元素数量递减，从第四个开始只剩8个元素，不符合每个子列表必须覆盖全部元素的要求。

尝试过itertools的round_robin、ncycles、sliding_window等工具，未找到合适的优雅实现。

解决方案 #

这个问题本质是完全图的完美匹配分解：对于含n个元素的列表（n必须为偶数），总共有n-1个完美匹配，刚好能覆盖所有C(n,2)个两两配对。

以下是优雅的实现代码：

import itertools

def generate_perfect_matchings(items):
    n = len(items)
    if n % 2 != 0:
        raise ValueError("列表长度必须为偶数，才能生成每个元素都参与的完美匹配")
    
    matchings = []
    first_item = items[0]
    rest_items = items[1:]
    total_matchings = len(rest_items)  # 即n-1个完美匹配
    
    for i in range(total_matchings):
        # 第一步：固定第一个元素与当前第i个剩余元素配对
        current_matching = [(first_item, rest_items[i])]
        # 第二步：将剩余未配对的元素首尾配对，形成无重叠的配对组
        remaining = rest_items[:i] + rest_items[i+1:]
        half_len = len(remaining) // 2
        for j in range(half_len):
            current_matching.append((remaining[j], remaining[-j-1]))
        matchings.append(current_matching)
    
    return matchings

# 测试示例
fruits = ["banana", "apple", "peach", "pear"]
perfect_matchings = generate_perfect_matchings(fruits)

# 输出结果
for idx, matching in enumerate(perfect_matchings, 1):
    print(f"子列表 {idx}: {matching}")

代码逻辑说明 #

1. 合法性检查：先判断列表长度是否为偶数，奇数无法生成每个元素都参与的完美匹配
2. 循环移位生成匹配：
   • 固定第一个元素，依次与剩余的每个元素配对
   • 对于剩下的元素，采用首尾配对的方式，快速生成无重叠的配对组，确保每个元素只出现一次
3. 结果完整性：生成的n-1个完美匹配，刚好覆盖所有可能的两两配对，且每个配对仅出现一次

内容的提问来源于stack exchange，提问作者Keelin