圖論動畫-拓?fù)渑判蛘n件

15.082和6.855J拓?fù)渑判?5.082和6.855J拓?fù)渑判蛲負(fù)渑判蚧A(chǔ)定理.如果每個結(jié)點至少有一條出弧，那么深度優(yōu)先搜索的第一條不可進(jìn)入的弧確定一有向圈.

推論1.如果G沒有有向圈，那么在G中存在沒有出弧的結(jié)點。且在G中至少有一結(jié)點沒有入弧.推論2.如果G沒有有向圈，那么可以重標(biāo)號結(jié)點，以至于對每條弧(i,j)有i<j.146732拓?fù)渑判蚧A(chǔ)定理.如果每個結(jié)點至少有一條出弧，那么深度優(yōu)初始化12453678

next01234567822321102判定每個結(jié)點的入度LIST是入度為0的結(jié)點的集合.“Next”將是在拓次序的結(jié)點的標(biāo)號.

LIST7結(jié)點入度3初始化12453678next0123456782232從LIST選擇一結(jié)點

next012345782232102從LIST選擇一結(jié)點，并刪除它.LIST7next:=next+1

order(i):=next;更新入度更新LIST1112453678701561結(jié)點入度4從LIST選擇一結(jié)點next01234578223210從LIST選擇一結(jié)點

next01235782231102從LIST選擇一結(jié)點，并刪除它.LIST7next:=next+1

order(i):=next;更新入度更新LIST1112453678705521604210246結(jié)點入度5從LIST選擇一結(jié)點next01235782231102從LIST選擇一結(jié)點

next01235782231102結(jié)點入度從LIST選擇一結(jié)點，并刪除它.LIST7next:=next+1

order(i):=next;更新入度更新LIST11124536787055216042102466301236從LIST選擇一結(jié)點next01235782231102從LIST選擇一結(jié)點

next0235782231102從LIST選擇一結(jié)點，并刪除它.LIST7next:=next+1

order(i):=next;更新入度更新LIST1112453678705521604210246630221140134結(jié)點入度7從LIST選擇一結(jié)點next0235782231102從從LIST選擇一結(jié)點

next0235782231102從LIST選擇一結(jié)點，并刪除它.LIST7next:=next+1

order(i):=next;更新入度更新LIST111245367870552160421024663022114013415521結(jié)點入度8從LIST選擇一結(jié)點next0235782231102從從LIST選擇一結(jié)點

next025782231102結(jié)點入度從LIST選擇一結(jié)點，并刪除它.LIST7next:=next+1

order(i):=next;更新入度更新LIST11124536787055216042102466302211401341551432601689從LIST選擇一結(jié)點next025782231102結(jié)點SelectanodefromLIST

next025782231102從LIST選擇一結(jié)點，并刪除它.LISTnext:=next+1

order(i):=next;更新入度更新LIST1112453678705216042102630211403415514326016877083結(jié)點入度10SelectanodefromLISTnext0從LIST選擇一結(jié)點

next025782231102結(jié)點入度從LIST選擇一結(jié)點，并刪除它.LISTnext:=next+1

order(i):=next;更新入度更新LIST1112453678705216042102