※ 引述《victoret (戲言~)》之銘言：
: 根據上篇討論的內文和助教的推文...
: is_spanning_tree 需要顧慮到的東西有：
: 1. vertex 總數
: 過多：constant time
: 過少：要整個 tree 檢查一遍
: 2. 結構是否為一個 spanning tree
: 有 cyclic、有沒接到的 vertex：整個 tree 檢查一遍
: 上面那兩個功能要做出來，complexity 感覺都是可以接受的範圍
: 不過...
這部分的功能很容易，你可以計算 Vertex 數目和 edge 數目，
|T(V)| == |V|
|T(V)| == |T(E)|+1
（可以採數學歸納法證明之：每增加一點，必為葉，必增加一邊。）
之後再 traverse 一次看有沒有 cycle 就可以判斷了。
: 3. edge
: edge 的增加（ex：原圖只有 v1