TCS学习笔记[1] 原始递归函数
目录 2 原始递归函数 2.1 原始递归函数 2.2 原始递归谓词 2.3 迭代运算、有界量词和极小化 2.4 配对函数和Gödel数 ...
原文：TCS学习笔记[6] 不可判定的问题
目录 不可判定的问题 . 判定问题 . Turing机的停机问题 . 字问题和Post对应问题 . 有关文法的不可判定问题 . 一阶逻辑中的判定问题 不可判定的问题 习题 不可判定的问题 . 判定问题 Q: HALT x,y 对应什么单参数判定问题 A: Pi N,Y Pi Y Pi x HALT l x ,r x 注：一元谓词 HALT l x ,r x 不可计算，则 Pi 不可判定。 Q: ...
2021-11-03 19:28 0 116 推荐指数：
相关推荐
图灵可识别语言与图灵可判定语言的关系
1、可识别的定义： 存在图灵机，对语言中每个字符串，该图灵机均接受。对语言外的每个字符串，该图灵机拒绝或不停机。 2、可判定的定义： 存在图灵机，对语言中每个字符串，该图灵机均接受。对语言外的每个字符串，该图灵机拒绝。 显然判定一个语言的图灵机也是识别该语言的图灵机。也就是说可判定 ...
TCS学习笔记[0] 程序设计语言S 可计算函数
目录 1 程序设计语言和可计算函数 1.1 预备知识 1.2 Church-Turing论题 1.3 程序设计语言 1.4 可计算函数 ...
Guava学习笔记：Immutable(不可变)集合
不可变集合，顾名思义就是说集合是不可被修改的。集合的数据项是在创建的时候提供，并且在整个生命周期中都不可改变。 为什么要用immutable对象？immutable对象有以下的优点： 1.对不可靠的客户代码库来说，它使用安全，可以在未受信任的类库中安全的使用这些对象 2. ...
关系规范化理论学习笔记：函数依赖保持性的判定（函数依赖集等价判定的后续）
1.检验一个分解是否具有函数依赖保持性？ 可以回顾复习一下我的这篇博客：https://www.cnblogs.com/dragondragon/p/12556438.html 函 ...
复习笔记2：拓扑排序可判断有向图是否存在环
/**1.求拓扑排序的序列2.求关键路径：广域网成整个工程所需的时间取决于从源点到汇点的最长路径长度。路径长度等于路径上各边的权之和。这条具有最大长度的路径就叫做关键路径(拓扑排序可以判断有向图 ...
【学习笔记】图上问题
Vizing 定理 图染色问题的经典结论 图染色定义 称一个边染色方案合法当且仅当每个顶点连出的所有边的颜色都互不相同，如果此时出现了 \(k\) 个颜色那么称该方案是图的一组 \(k\) 染色 一张无向图的边着色数为最小的 \(k\) 满足图可以 \(k\) 边染色，但不存在一个 ...
「学习笔记」期望问题
一.基本概念 数学期望（简称期望），是试验中每次可能结果的概率乘以其结果的总和，它反映了随机变量平均取值的大小。 对于随机变量 \(X\)，它有 \(n\) 种可能的取值，取值为 \(x_i\) ...