-5
A
回答
0
帶有| V |頂點和沒有邊具有| V |組件。添加一個邊可以減少至多一個組件的數量(如果邊上的頂點先前沒有被另一條路徑連接;否則,組件的數量不會減少)。因此加入| E |後組件數量最少邊是| V | - | E |並且沒有| V |的圖頂點和| E |邊緣可以具有比這更少的組件。
0
要求:每個組件Ci
與Vi
具有至少|Vi|-1
邊緣的頂點。
證明:連接僅包含Vi
的子圖,並且最小連通圖是具有|Vi|-1
邊的樹。如果Ci
的邊緣小於Vi-1
- 它將不會被連接,這與我們如何定義Ci
的方式相矛盾。
表示Ei
組件Ci
中的邊數。
請注意,sum{|Ei| for each Ci} = E
,因爲沒有邊緣連接組件Ci
和組件Cj
(否則它們將自己連接)。 現在,讓我們來總結所有邊緣的所有Ci
,我們會得到
|E| =(1) sum { |Ei| } >=(2) sum{|Vi|-1} =(3) |V| - sum{1 | for each Ci}
=(4) |V| - #components
->
|E| >= |V| - #components
#components >= |V| - |E|
QED
說明在上述證明等式:
(1)相加來了由於沒有交叉成分的邊緣(如上所述),因此每個成分中的所有邊合計爲|E|
(2)來自我們證明的要求
(3)總結| Vi |所有Ci
結果|V|
(4)總結1
在組件
相關問題
- 1. 繪製圖G =(V,E)in R
- 2. SparseMultigraph <V, E>和SparseGraph <V, E>有什麼區別?
- 3. 確認爲O Dijkstras算法(V + E)
- 4. Titanium vs Adobe Air vs Phonegap
- 5. 給定一個無向圖G =(V,E),確定G是否是一個完整的圖
- 6. 含有版本的有向圖的最大週期數= | V |和邊緣= | E |
- 7. 爲什麼拓撲排序找到最短路徑O(V + E)
- 8. 蟒蛇聲明:(K,V)對K,V
- 9. Android Dev:Eclipse中的Logcat - 不能限制輸出到V/D/I/E?
- 10. 如何在intellij中禁用Alt + [F,E,V,...]菜單快捷鍵?
- 11. ClassCastException異常鑄造對象[]以Trie.Node <V>而不是E []
- 12. 使用RoR與使用E-A-V的傳統表格
- 13. 對於無向圖,爲什麼鄰接表表示的內存要求是θ(V + E)而不是θ(V + 2E)?
- 14. 確定圖G中獨立邊的最大數v(G)
- 15. 如果圖形存儲爲Adajacency List,爲什麼DFS在O(V + E)中運行?
- 16. 在圖中,O(| E | * | V |)的複雜度是否被認爲是多項式?
- 17. Hoptoad v。Exceptional v。exception_notification v。exception_logger
- 18. Mercurial v Git v Subversion
- 19. JSON e和JSON E
- 20. 超V複選框缺少
- 21. 「auto v = f()」和「auto && v = f()」有什麼區別?
- 22. Class PriorityQueue <E>的「public boolean add(E e)」的時間複雜度是多少?
- 23. 有人可以解釋e = e || X?爲什麼將e分配給e?
- 24. Angular2 EXCEPTION:沒有提供者的e! (e - > e)
- 25. 「NaNundefined」[10] =「e」或([+ [] [[]]] + [] [[]])[++] [[]] [+ []] + [+]]] =「e」?
- 26. 如何解決:sed -e's /é/ \\'{e}/g'
- 27. npm -v與npm列表不同npm -g
- 28. unordered_map :: emplace錯誤在g ++ v 3.4.4-999
- 29. 將選項[驗證[E,A]]轉換爲驗證[E,選項[A]]
- 30. 在時間O(| E | + | V |)中查找從有向圖的頂點可到達的所有頂點
的數量每個組件的結果,那麼也許你應該在課堂上重視。 –
我作爲信件,所以請你幫助我們 – user3121090