切割线定理：公式、证明及应用

切割线定理（Cutting Line Theorem）又称为节点切割定理，是图论中一个重要的定理，它指出，在有权图中，任意一条切割线（Cutting Line）的权重总和不大于所有节点的权重总和，即：/n/n设G=(V,E)为有权图，w(e)表示边e的权重，则存在一条切割线C（即从一个顶点到另一个顶点，且C上的任意两个顶点都不相邻），满足：/n/n$$/sum_{e /in C} w(e) /leq /sum_{v /in V} w(v)$$/n/n证明：/n/n由于G是有权图，所以存在一个顶点A，它可以连接到任意其他顶点。设CA为从A到其他顶点的最短路径，即：/n/n$$CA = /{(A,B_1),(A,B_2),/cdots,(A,B_n)/}$$ /n/n其中$B_i$表示另一个顶点，$i = 1,2,/cdots,n$。/n/n由于CA是从A到其他顶点的最短路径，那么：/n/n$$w(A) + /sum_{i=1}^n w((A,B_i)) /geq /sum_{i=1}^n w((B_i,A))$$ /n/n把$B_i$代入上式可以得到：/n/n$$w(A) + /sum_{i=1}^n w((A,B_i)) /geq /sum_{v /in V} w(v)$$/n/n最后，我们将CA连接起来，得到一条切割线C，即：/n/n$$C = /{(A,B_1),(B_1,B_2),/cdots,(B_{n-1},B_n)/}$$ /n/n由于C是从A到其他顶点的最短路径，所以：/n/n$$/sum_{e /in C} w(e) /leq /sum_{i=1}^n w((A,B_i))$$ /n/n将上式代入到w(A) + $/sum_{i=1}^n w((A,B_i)) /geq /sum_{v /in V} w(v)$中，得：/n/n$$/sum_{e /in C} w(e) /leq /sum_{v /in V} w(v)$$/n/n由此，我们证明了切割线定理。/n/n切割线定理在图论、网络优化、计算机科学等领域都有着广泛的应用，例如在网络流量分配、最小割问题、路由算法等方面。