和上篇一样，考前写写伪代码，考完了补上具体的解释和代码。
状态{矩阵，结果集，下界}
全局结果集列表，全局上界初始为Infinite
建立一个heap,存储状态，出堆规则为拥有最小的下界。
利用reduced cost matrix 来把矩阵进行化简，把化简消耗作为下界，将初始状态加入heap
当heap不为空时
{
从heap中弹出一个状态，赋值给两个临时状态。
若该状态的下界大于等于全局上界，则return
遍历所有弧，选择删除则引起下界上升最大的弧
若使用该弧
{
更新下界
若已经遍历所有城市并回到了起点且小于等于全局上界，记录该状态，更新全局上界
否则 将该弧所对应的整行和整列赋值为Infinite，将当前的弧的反向弧赋值为Infinite，在结果集中记录该弧，将状态加入heap
}
否则 在matrix中将该弧赋值为Infinite,更新下界，将状态加入heap
}