1 problem

Finite-termination conjecture. If $\pi^*$ is unique, then the min-sum auction I algorithm terminates after finitely many iterations when this condition is removed from step (4).