回溯法：决策变量：X[i] 对应第i趟火车决策条件：X[i] = {0， 1} 0:经坐过桥 1:经过西侧桥目标函数：F(X[1~n]) = X[1] + X[2] + X[3] + …… + X[n]约束条件： (1) 火车过桥最少占用时间，即函数F(X[1~n])的值最小 (2) 一次只能一辆火车过桥 (3) 每辆火车过桥中间无其他车辆过桥
