八、设 $Ax⩽b$ 为一个有 n 个变量和 m 个约束条件的差分约束系统。证明：在对应的约束图上运行 Bellman-Ford 算法将获得 $sum_{i=1}^nx_i$ 的最大值，这里 $Ax⩽b$ 并且 $x_i⩽0$ 。如果要写