可判定性与停机问题

2026年10月30日

• 計算量理論
• 上下文无关语言
• 可判定性与停机问题

2026年10月30日

• 計算量理論
• 矩阵对角化
• 有向图与dag
• hamilton路径
• 渐近复杂度
• 递归与记忆化
• 栈与队列
• 上下文无关语言
• 图灵机与计算模型
• 可判定性与停机问题
• 多项式时间归约
• p与np
• np完全性
• 空间复杂度类别
• 电路与程序分析
• 集合运算
• 在线算法与竞争分析

2026年10月30日

• 計算量理論
• 可判定性与停机问题

2026年10月30日

• 計算量理論
• 可判定性与停机问题

2026年10月30日

• 計算量理論
• 可判定性与停机问题

2026年10月30日

• 計算量理論
• 递归与记忆化
• 有限自动机与正则语言
• 图灵机与计算模型
• 可判定性与停机问题

2026年10月30日

• 計算量理論
• 图灵机与计算模型
• 可判定性与停机问题
• 状态设计与最优子结构

2026年10月30日

• 計算量理論
• 可判定性与停机问题
• 多项式时间归约

2026年10月30日

• 計算量理論
• 递归与记忆化
• 可判定性与停机问题
• 统计学习与模型评价
• 分类与聚类

2026年10月30日

• 計算量理論
• 可判定性与停机问题
• 联合与边缘分布