is_spanning_tree這指令原本是想設計來讓同學有機會
可以互相檢查對方的DFS/BFS/MST 的output file是否正確
所以在讀入的dot file中 會出現的狀況沒有特別預設是什麼
依照doc內的定義:
Check if the dot file is a spanning tree of the existing graph.
所以同學們至少要check以下的條件
1) tree : 沒有 cycle
2) spanning : 包含所有 vertices
3) of the existing graph : spanning tree中edge是原本的graph中的edge
也就是edge的兩個端點和weight和原本graph中的一樣
助教在這部分會用一些case來測試同學程式的這個指令
當然測試的case會符合dot原本的format，這點請不用擔心