布尔可满足性与sat

2026年10月30日

• グラフ理論
• 邻接矩阵
• 矩阵幂
• 有向图与dag
• 关联矩阵与laplacian
• 最短路径
• dijkstra算法
• 树与生成树
• hamilton路径
• 图计数与度序列
• 二叉树与树遍历
• 布尔可满足性与sat
• p与np
• np完全性
• 状态图与模型检测