旅行售货员问题的整数规划建模研究