这k个式子相加,有:n≤n-1,矛盾! 故假设不正确,结论(1)得证 下面证明(2),采用构造法。对于任意的总巡回 可取 l4=访问城市顺序数,取值范围为{=23,…,mn}。因此, l1-l/≤n-22≤i≠j≤n。下面来证明总巡回满足该约束条件。 (i)总巡回上的边 L.+n=n-1≤n-1 L.-l.+n=n-1<n +n=n-1这k个式子相加，有： ，矛盾！ =访问城市i的顺序数，取值范围为 。因此， 。下面来证明总巡回满足该约束条件。 ，可取 n n  −1 故假设不正确，结论（1）得证。 下面证明（2），采用构造法。对于任意的总巡回 2 -1 1 1 n i i i u i n = 2, 3, ,  −  − 2 i j u u n 2    i j n (ⅰ)总巡回上的边 1 2 2 3 2 1 1 1 1 1 1 1 − −  − + = −  −   − + = −  −    − + = −  −  n n i i i i i i u u n n n u u n n n u u n n n