learningdeep-diveStanford CS161 Design and Analysis of Algorithms 導讀2026年8月21日用 cut property 證明 Prim 與 Kruskal|Stanford CS161 第 15 堂MST 的核心不是背兩支演算法,而是維持『目前選邊仍包含於某棵 MST』,再用 cut property 證明 Prim 與 Kruskal 每一步都安全。#cs161#algorithms#stanford#minimum-spanning-tree#prim#kruskal