CS Wiki
Search
搜索
暗色模式
亮色模式
探索
Home
❯
算法导论知识库总览
❯
theorems
文件夹: 算法导论/theorems
此文件夹下有25条笔记。
2026年4月24日
Akra-Bazzi定理
离散数学
算法
分治法
递推关系
渐近分析
2026年4月24日
Bellman-Ford正确性定理
离散数学
算法
图论
最短路径
动态规划
2026年4月24日
Berge定理
离散数学
算法
图论
匹配
2026年4月24日
B树高度定理
算法
数据结构
B树
平衡搜索树
磁盘I/O
2026年4月24日
Christofides定理
离散数学
算法
近似算法
图论
TSP
2026年4月24日
Cook-Levin定理
离散数学
算法
计算复杂性
NP完全性
2026年4月24日
Dijkstra正确性定理
离散数学
算法
图论
最短路径
2026年4月24日
Floyd-Warshall正确性定理
离散数学
算法
动态规划
图算法
最短路径
2026年4月24日
Hall婚姻定理
离散数学
算法
图论
匹配
组合数学
2026年4月24日
Huffman最优前缀码定理
离散数学
算法
贪心算法
编码理论
数据压缩
2026年4月24日
Konig-Egervary定理
离散数学
算法
图论
二部图
匹配
2026年4月24日
Kruskal正确性定理
算法
图论
最小生成树
贪心算法
并查集
2026年4月24日
Prim正确性定理
算法
图论
最小生成树
贪心算法
2026年4月24日
RSA正确性定理
离散数学
算法
数论
密码学
RSA
2026年4月24日
安全边定理
离散数学
算法
图论
最小生成树
2026年4月24日
强弱对偶定理
离散数学
算法
线性规划
对偶理论
优化
2026年4月24日
拓扑排序正确性定理
离散数学
算法
图算法
DFS
有向无环图
2026年4月24日
括号定理
离散数学
算法
图算法
DFS
时间戳
2026年4月24日
按秩合并与路径压缩定理
离散数学
算法
数据结构
摊还分析
并查集
2026年4月24日
排序下界定理
离散数学
算法
排序
计算复杂性
2026年4月24日
最大流最小割定理
离散数学
算法
图论
网络流
2026年4月24日
欧拉定理
离散数学
算法
数论
群论
模运算
2026年4月24日
红黑树扩张定理
算法
数据结构
红黑树
数据结构扩张
动态集合
2026年4月24日
红黑树高度定理
算法
数据结构
红黑树
平衡搜索树
2026年4月24日
集合覆盖贪心近似定理
离散数学
算法
近似算法
集合覆盖
贪心算法