计算理论
关注
分享
扫一扫
韩曙亮
中国人民大学硕士 , 专注于 移动开发 领域 , 博客专家 , 2023 年博客之星 TOP1 , 2021 年博客之星 TOP9 , 华为云 云享专家 , 阿里云社区 专家博主 , 51CTO 专家博主 ;
展开
-
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
一、图灵机设计示例 2、二、图灵机设计示例 3、三、图灵机设计示例 4原创 2020-12-21 22:44:13 · 6379 阅读 · 2 评论 -
【计算理论】计算理论总结 ( 图灵机设计 ) ★★
一、图灵机、二、图灵机设计、三、图灵机设计示例 1原创 2020-12-21 19:50:07 · 4093 阅读 · 1 评论 -
【计算理论】计算理论总结 ( 上下文无关文法 CFG 转为下推自动机 PDA 示例 2 ) ★★
一、上下文无关文法 CFG 转为下推自动机 PDA 流程、二、上下文无关文法 CFG 转为下推自动机 PDA 示例 2原创 2020-12-21 14:50:20 · 2329 阅读 · 0 评论 -
【计算理论】计算理论总结 ( 上下文无关文法 CFG 转为下推自动机 PDA 示例 1 ) ★★
一、上下文无关文法 CFG 转为下推自动机 PDA 流程、二、上下文无关文法 CFG 转为下推自动机 PDA 示例 1原创 2020-12-21 11:05:57 · 1610 阅读 · 1 评论 -
【计算理论】计算理论总结 ( 下推自动机计算过程 | 上下文无关文法 CFG 转为下推自动机 PDA ) ★★
一、下推自动机计算过程、二、上下文无关文法 CFG 转为下推自动机 PDA 流程原创 2020-12-21 10:59:57 · 2353 阅读 · 0 评论 -
【计算理论】计算理论总结 ( 上下文无关文法 | 乔姆斯基范式 | 乔姆斯基范式转化步骤 | 示例 ) ★★
一、乔姆斯基范式、二、上下文无关语法转为乔姆斯基范式步骤、三、上下文无关语法转为乔姆斯基范式示例1、四、上下文无关语法转为乔姆斯基范式示例 2原创 2020-12-20 21:43:38 · 10485 阅读 · 12 评论 -
【计算理论】计算理论总结 ( 上下文无关文法 ) ★★
一、上下文无关文法 ( CFG )、二、上下文无关文法 ( CFG ) 示例、三、确定性有限自动机 DFA 转为 上下文无关语法 CFG原创 2020-12-19 23:47:47 · 3456 阅读 · 6 评论 -
【计算理论】计算理论总结 ( 泵引理 Pumping 证明 ) ★★
一、泵引理 ( Pumping )、二、泵引理证明示例 1、三、泵引理证明示例 2、四、泵引理证明示例 3原创 2020-12-19 12:06:04 · 8499 阅读 · 7 评论 -
【计算理论】计算理论总结 ( 正则表达式转为非确定性有限自动机 NFA | 示例 ) ★★
一、正则表达式转为非确定性有限自动机 NFA 要点、二、正则表达式转为非确定性有限自动机 NFA 示例 1、三、正则表达式转为非确定性有限自动机 NFA 示例 2、四、正则表达式转为非确定性有限自动机 NFA 示例 3原创 2020-12-18 22:36:46 · 1844 阅读 · 4 评论 -
【计算理论】计算理论总结 ( 正则表达式转为非确定性有限自动机 NFA ) ★★
一、正则表达式、二、正则语言运算示例 ★、三、根据正则表达式构造自动机原创 2020-12-18 21:03:23 · 1568 阅读 · 3 评论 -
【计算理论】计算理论总结 ( 非确定性有限自动机 NFA 转为确定性有限自动机 DFA | 示例 ) ★★
非确定性有限自动机 NFA 转为确定性有限自动机 DFA 示例原创 2020-12-18 19:54:23 · 2977 阅读 · 6 评论 -
【计算理论】计算理论总结 ( 非确定性有限自动机 NFA 转为确定性有限自动机 DFA ) ★★
一、非确定性有限自动机 ( NFA ) 转为 确定性有限自动机 ( DFA )、二、转换方法与要点原创 2020-12-18 17:24:55 · 3172 阅读 · 0 评论 -
【计算理论】计算理论总结 ( 自动机设计 ) ★★
一、自动机设计、二、自动机设计 1、三、自动机设计 2、四、自动机设计 3、五、自动机设计技巧原创 2020-12-17 20:30:36 · 1463 阅读 · 1 评论 -
【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★
一、P 类、二、NP 类、三、NPC 类 ( NP 完全 )、四、P 、NP 、NPC 三者关系、原创 2020-12-17 11:39:43 · 4393 阅读 · 0 评论 -
【计算理论】计算复杂性 ( coNP 问题 | coNP 完全 | P、NP、coNP 相互关系 )
一、coNP 类、二、coNP 完全、三、P、NP、coNP 相互关系原创 2020-12-16 19:38:41 · 6584 阅读 · 0 评论 -
【计算理论】计算复杂性 ( NP 完全问题 | NP 难 问题 P = NP 的情况 | NP 难 问题 P ≠ NP 的情况 )
一、NP 完全的定位、二、NP 难 问题 ( P = NP ) 仅做参考 [ 潜在错误 ]、三、NP 难 问题 ( P ≠ NP ) 目前公认 [ 潜在正确 ]原创 2020-12-16 12:50:12 · 3812 阅读 · 0 评论 -
【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 | 旅行商问题 | 子集和问题 )
一、顶点覆盖问题、二、哈密顿路径问题、三、旅行商问题、四、子集和问题、五、NP 完全问题原创 2020-12-16 11:14:49 · 5637 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 无向图独立集问题 | 独立集问题是 NP 完全问题证明思路 | 证明独立集问题是 NP 完全问题 )
一、独立集问题、二、独立集问题是 NP 完全问题证明思路、二、证明独立集问题是 NP 完全问题原创 2020-12-16 08:07:03 · 4008 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 证明团问题是 NP 完全问题 )
一、团问题是 NP 完全问题 证明思路、二、证明团问题是 NP 完全问题原创 2020-12-16 07:34:41 · 2969 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )
一、3-SAT 是 NP 完全问题、二、团问题是 NP 完全问题、三、团问题是 NP 完全问题 证明思路原创 2020-12-15 21:08:28 · 10303 阅读 · 0 评论 -
【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★
一、NP 完全问题 - 布尔可满足性问题 ★、二、布尔可满足性问题是 NP 完全问题证明思路原创 2020-12-15 20:04:27 · 7144 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 多项式时间规约 | NP 完全 ★ | 布尔可满足性问题 ) ★
一、多项式时间规约 分析、二、NP 完全 ★ ( 计算理论最重要的概念 )原创 2020-12-15 11:42:38 · 2350 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 多项式等价引入 | 多项式时间规约 )
一、多项式等价引入、二、多项式时间规约原创 2020-12-14 22:46:08 · 2531 阅读 · 0 评论 -
【计算理论】计算复杂性 ( NP 类不同表述 | 团问题 | P 对 NP 问题 )
一、NP 类不同表述、二、团问题、三、P 对 NP 问题 ( P vs NP )、原创 2020-12-14 19:56:03 · 1882 阅读 · 0 评论 -
【计算理论】计算复杂性 ( P 类 | 有效算法函数 | NP 直觉 | NP 简介 | NP 类严格数学定义 )
一、P 类、二、有效算法函数、三、NP 直觉、四、NP 简介、五、NP 严格数学定义原创 2020-12-13 22:44:11 · 1700 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★
一、计算理论内容概览、二、计算问题的 有效性、三、语言 与 算法模型、四、可计算性 与 可判定性、五、可判定性 与 有效性、六、语言分类、原创 2020-12-13 21:23:42 · 1542 阅读 · 1 评论 -
【计算理论】计算复杂性 ( 多项式等价 | P 类 | 丘奇-图灵论题延伸 )
一、多项式等价、二、P 类、三、丘奇-图灵论题延伸、原创 2020-12-13 20:53:35 · 1595 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 证明 非确定性图灵机 与 确定性图灵机 的时间复杂度 之间的指数关系 )
证明 非确定性图灵机 与 确定性图灵机 的时间复杂度 之间的指数关系原创 2020-12-13 15:59:36 · 1206 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 非确定性图灵机的时间复杂度 | 非确定性图灵机 与 确定性图灵机 的时间复杂度 之间的关系 )
一、非确定性图灵机的时间复杂度、二、非确定性图灵机 与 确定性图灵机 的时间复杂度 之间的指数关系原创 2020-12-13 15:48:46 · 1811 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 | 证明多个带子图灵机时间复杂度 )
一、确定性模型的计算复杂性关系、二、证明 "多个带子图灵机时间复杂度"原创 2020-12-13 15:17:14 · 1392 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 )
两个带子的图灵机的时间复杂度原创 2020-12-13 13:43:36 · 1822 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 小 O 记号 | 严格渐进上界 | 分析算法的时间复杂度 )
一、小 O 记号 ( 严格渐进上界 )、二、分析算法的时间复杂度原创 2020-12-11 20:23:05 · 2930 阅读 · 1 评论 -
【计算理论】计算复杂性 ( 算法复杂度标记 | 渐进上界 | 大 O 记号 | 常用的渐进上界 )
一、渐进上界、二、大 O 记号、三、常用的渐进上界原创 2020-12-11 11:36:29 · 4969 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 时间复杂度时间单位 : 步数 | 算法分析 | 算法复杂性分析 )
一、时间复杂度时间单位、二、算法分析、三、算法复杂性分析、原创 2020-12-11 10:50:21 · 1645 阅读 · 0 评论 -
【计算理论】计算复杂性 ( 计算理论内容概览 | 计算问题的有效性 | 时间复杂性度量 | 输入表示 | 时间复杂度 )
一、计算理论内容概览、二、计算问题的判定性、三、计算问题的 有效性、四、时间复杂性度量、五、算法有效性 数学定义需求、六、输入表示、七、时间复杂度原创 2020-12-10 20:51:44 · 2078 阅读 · 0 评论 -
【计算理论】可判定性 ( 可判定性总结 )
一、可判定性总结、二、概览原创 2020-12-10 12:24:07 · 3251 阅读 · 0 评论 -
【计算理论】不可判定性 ( 停机问题 | 图灵机语言是否空集问题 | 图灵机是否等价问题 | 是否存在自动机接受图灵机语言问题 | 莱斯定理 Rice‘s Theorem )
一、不可判定性 ( Undecidability )、二、"停机问题" 不可判定、三、"图灵机语言是否空集问题" 不可判定、四、"图灵机是否等价问题" 不可判定、五、"是否存在自动机接受图灵机语言问题" 不可判定、六、莱斯定理 ( Rice's Theorem )原创 2020-12-10 11:30:36 · 5650 阅读 · 0 评论 -
【计算理论】可判定性 ( 通用图灵机和停机问题 | 可判定性 与 可计算性 | 语言 与 算法模型 )
一、通用图灵机和停机问题、二、可判定性 与 可计算性、三、语言 与 算法模型、原创 2020-12-10 10:56:47 · 9400 阅读 · 0 评论 -
【计算理论】可判定性 ( 对角线方法 | 使用对角线方法证明 通用任务图灵机 语言 不可判定 )
一、存在性证明、二、证明 通用任务图灵机 语言 对应的计算模型一定是 不可判定 ( 对角线法 )原创 2020-12-09 21:16:15 · 3182 阅读 · 0 评论 -
【计算理论】可判定性 ( 对角线方法 | 证明自然数集 N 与实数集 R 不存在一一对应关系 )
一、对角线方法、二、证明自然数集 N 与实数集 R 不存在一一对应关系、三、对角线方法意义、原创 2020-12-09 19:46:53 · 5116 阅读 · 1 评论