# 数据结构知识
# 最小生成树
视频链接
他的作用即将一个带权连通无向图转换成一个树形结构，并且权值最低。
常用的算法有 Kruskal 算法和 Prim 算法
Prim 算法是从第一个点开始，然后每连通一条边，都将已经连通的点当作一个整体去找下一个链接当前整体的权值最小的边，去连接那个点。不能存在图。适用于点较少的图
Kruskal 算法是先把每个点都画出来，然后寻找权值最小的边相连，不能存在环
适用于边较少的图
# 英文单词对照
对角线： diagonal
角 corners
相邻的：adjacent
随机增量算法：Randomized Incremental Algorithm
转换 transform
最优解： optimal solution
反向分析：backward analysis
# 使用归纳法和反证法的时机
个人理解：如果整个算法的过程是通过一步一步的过程来得到最终的结果的，例如使用扫描线算法，在每个区间进入和离开时都需要操作，那么只需要证明每一步是正确的，那么最终结果也是正确的。
反证法则是，如果直接证明正确很难成功，那么可以使用反证法，证明反例是错误的，那么就可以证明正推是正确的。
