← 返回课程离散数学 · 原理可视化
每个核心知识点一个动画讲解，共 15 个 —— 点击放大观看。
第1章真值表自动构造器点击放大 ⤢
第1章DPLL 求解 SAT点击放大 ⤢
第1章前束范式与 Skolem 化点击放大 ⤢
第2章文氏图与容斥原理点击放大 ⤢
第2章Warshall 传递闭包点击放大 ⤢
第2章自反/对称/传递闭包点击放大 ⤢
第2章哈斯图化简点击放大 ⤢
第2章等价关系与划分点击放大 ⤢
第2章康托对角线法点击放大 ⤢
第3章欧拉回路一笔画点击放大 ⤢
第3章哈密顿回路搜索点击放大 ⤢
第3章Dijkstra 最短路径点击放大 ⤢
第3章Kruskal vs Prim 最小生成树点击放大 ⤢
第3章Huffman 树点击放大 ⤢
第3章五色定理 · Kempe 链点击放大 ⤢