1. 利用Gurobi优化器解决旅行商问题(Traveling Salesman Problem, TSP):Gurobi是一款强大的线性优化工具,能够有效处理复杂的数学模型,如混合整数线性规划(Mixed-Integer Programming, MIP)。在处理TSP时,MTZ(MPS Mock Format)是一种表示整数线性问题的格式,可以将TSP的子集覆盖或破圈约束(防止形成环路)融入Gurobi模型中。
以城市1为起点，ui表示的是城市i是经过的第ui个城市。