请写出用动态规划求解旅行商问题的伪代码

以下是求解旅行商问题的动态规划伪代码：

TSP_DP(dist, n):
    # dist: n × n 的距离矩阵，n 为城市数量
    # 记录每个集合的最短路径长度
    memo = [][]
    for i in range(n):
        memo[i] = [-1] * (1 << n)

    # 初始化 memo 数组
    for i in range(n):
        memo[i][1 << i] = 0

    # 从小集合到大集合计算路径长度
    for size in range(2, n+1):
        for subset in range(1 << n):
            # 如果当前子集大小不等于 size，则跳过
            if bin(subset).count("1") != size:
                continue

            # 遍历当前子集中的每一个城市
            for j in range(n):
                # 如果当前子集中不包含城市 j，则跳过
                if not subset & (1 << j):
                    continue

                # 计算从上一个子集到当前子集的最短路径长度
                prev_subset = subset & ~(1 << j)
                memo[j][subset] = min(memo[k][prev_subset] + dist[k][j] for k in range(n) if k != j)

    # 返回最终结果
    return min(memo[j][(1 << n) - 1] + dist[j][0] for j in range(1, n))

该算法的时间复杂度为 $O(n^2 2^n)$，其中 $n$ 为城市数量。