![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
计算理论
文章平均质量分 68
WeidanJi
这个作者很懒,什么都没留下…
展开
-
计算复杂性课程
计算复杂性课程Chapter 1Chapter 2Chapter 3 Chapter 1 图灵机 时间可构造性(不等价) 通用图灵机对数时间放大(T→cTlogTT\rightarrow cTlogTT→cTlogT) 对角线方法 丘奇-图灵论题(可计算函数就是图灵机可计算函数,“递归定理”) 加速定理 blum加速定理 时间压缩定理/线性加速:ϵT(n)+n+2\epsilon T(n)+n+2ϵT(n)+n+2 时间复杂性类(P,EXPP,EXPP,EXP) 验证问题 非确定图灵机 P⊂NP⊂原创 2021-11-16 00:07:46 · 483 阅读 · 0 评论 -
计算理论0--概论
计算理论0--概论 博主正在学习INTRODUCTION TO THE THEORY OF COMPUTATION (Second Edition) --Michal Sipser,以及学习“计算复杂性”课程,做一些笔记供自己回忆,如有错误请指正。整理成一个系列计算理论,方便检索。 计算理论领域有三个核心问题: 自动机 Automata 可计算性 Computability 复杂性 Complexity 自动机是处理一些计算的数学模型的定义和性质。其中有两个模型比较常见:finite automaton原创 2021-10-16 19:18:23 · 292 阅读 · 0 评论 -
计算理论2--可计算理论
计算理论2--可计算理论图灵机 博主正在学习INTRODUCTION TO THE THEORY OF COMPUTATION (Second Edition) --Michal Sipser,以及学习“计算复杂性”课程,做一些笔记供自己回忆,如有错误请指正。整理成一个系列计算理论,方便检索。 计算理论part one介绍了自动机,主要是有限自动机finite automata(有限内存)和下推自动机pushdown automata(无限内存)。计算理论part two会介绍一种更通用的计算模型:图灵机。原创 2021-10-16 19:51:15 · 117 阅读 · 1 评论