互在任一图G中，当点集V确定后，树图是G中边数最少的连通图。