考 虑 线 性 方 程 组 A m ∗ n X = b 的 解 ( X ∈ R n , b ∈ R m ) , 如 果 方 程 组 有 解 , 则 解 的 结 构 一 定 是 某 个 特 解 加 上 对 应 的 其 次 方 程 的 解 ( G / k e r ( f ) ≅ I m ( f ) ) 考虑线性方程组A_{m*n}X=b的解(X\in R^n,b\in R^m),如果方程组有解,\\
考虑著名的Steiner Tree问题: 问题描述 设 G ( V , E , W )是一个无向带权连通图 ( V 是顶点的集合, E 是边的集合, W 是边上权重的集合,顶点 v i , v j ∈ V ,由 v i , v j 构成的边记为 e i j 或者 e j i , 边上的权重记为 w i j 或者 w j i , 且 w i j = w j i , w i j > 0 ) 。