最小网络:斯坦纳树问题,从数学证明角度来描述最小斯坦纳树的问题