krusal演算法步驟如下：
新建圖g，g中擁有原圖中相同的節點，但沒有邊
將原圖中所有的邊按權值從小到大排序
從權值最小的邊開始，如果這條邊連線的兩個節點於圖g中不在同乙個連通分量中，則新增這條邊到圖g中
重複3，直至圖g中所有的節點都在同乙個連通分量中
為什麼這一定是最小生成樹呢？關鍵還是步驟3中對邊的選取。演算法中總共選取了n-1條邊，每條邊在選取的當時，都是連線兩個不同的連通分量的權值最小的邊，要證明這條邊一定屬於最小生成樹，可以用反證法：如果這條邊不在最小生成樹中，它連線的兩個連通分量最終還是要連起來的，通過其它的連法，那麼另一種連法與這條邊一定構成了環，而環中一定有一條權值大於這條邊的邊，用這條邊將其替換掉，圖仍舊保持連通，但總權值減小了。也就是說，如果不選取這條邊，最後構成的生成樹的總權值一定不會是最小的。
Dijkstra演算法正確性證明
問題 求圖中點1到其他各點的最短距離 演算法描述 設初始時圖的所有點的集合u 把起點s放入初始集合set中 u u set set 找s經過集合set中的點，能達到的距離最短的點k k in u 將k併入set 言外之意k的前乙個點必然屬於set u u set set 由於每次引入的只有乙個點k，...
Dijkstra演算法正確性證明
問題 求圖中點1到其他各點的最短距離 策略 1.把起點1放入初始集合set中，從剩餘的點中，選取到set 此時set中只有1個點 距離最近的點，併入集合set中，2.從剩餘的點中，找經過集合set，到起點1的最短距離，將最短邊併入set集合 3.依次迴圈，直到所有的邊都併入set 變數的命名 set...
補碼正確性的證明
雖然不知道大牛怎麼想到這樣解決補碼的正負表示問題1，但這種解決辦法的正確性倒是可以嘗試證明一下。首先需要明確什麼叫正確性，充要條件暫時沒有想到，先列舉幾個必要條件，至少這些條件需要能成立 本身的值表示正確 本身的符號表示正確 運算結果的值表示正確 運算結果的符號表示正確 接下來證明每乙個條件 一定正...