📄️ BB84 密钥交换协议
阐述
📄️ BPP 复杂度类
阐述
📄️ CPU 操作之间并非平等
- 简单运算：1 周期
🗃️ CSAPP
3 个项目
📄️ Calderbank-Shor-Steane 码
阐述
📄️ Chomsky 范式
阐述
📄️ Deutsch-Jozsa 算法
$n$ 元 Hadamard 门的一个性质：
📄️ Diffie-Hellman 密钥交换协议
阐述
📄️ Euclidean 算法
阐述
📄️ GHZ 悖论
裁判给三位游戏者各自一个经典位（取值为 X 或 Y），组合可能是 XXX、XYY、YXY、YYX；他们随后要各自给裁判一个经典位（取值为 + 或 -），要求组合为 XXX 时返回奇数个 +，其他情况下返回偶数个 +。
📄️ Grover 算法
阐述
📄️ Hamitonian 路径问题
$$
📄️ Hamming 码
经典
📄️ L 复杂度类
阐述
📄️ NL 复杂度类
阐述
📄️ NL 完全复杂度类
阐述
📄️ NP 复杂度类
阐述
📄️ NP 完全复杂度类
阐述
📄️ P 复杂度类
阐述
📄️ PSPACE 复杂度类
阐述
📄️ PSPACE 完全复杂度类
阐述
📄️ Sardinas–Patterson 算法
阐述
📄️ Savitch 定理
对于任何 $f:N\to R^+$ 的函数满足 $f(n)\ge\log n$，都有
📄️ Shor 码
编码
📄️ Shor 算法
阐述
📄️ Simon 算法
阐述
📄️ TQBF 问题
给布尔表达式加上存在量词和全称量词可以将其变为量化的表达式。如果所有的变量都对应一个量词，则称该表达式是完全量化的，也是一个语句，具有确定的真值。
📄️ Turing 可识别语言
阐述
📄️ Turing 机
阐述
📄️ 上下文无关文法
阐述
📄️ 上下文无关语言
阐述
📄️ 下推自动机
阐述
📄️ 交互式证明系统
阐述
📄️ 位翻转码
编码
📄️ 公式游戏问题
给定一个完全量化的布尔表达式，两个玩家（A 和 E）分别按变量下标的顺序依次指定全称和存在量词变量的真值，最后如果表达式为真则 E 赢，假则 A 赢。
📄️ 内存模型
阐述
📄️ 分叉程序
阐述
📄️ 分团问题
$$
📄️ 协变与逆变
阐述
📄️ 可判定语言
阐述
📄️ 可满足性问题
定义一个布尔公式是用布尔变量和操作构建的表达式，它的满足性问题是确定一个表达式是否存在一个给变量的赋值以使该表达式为 1。
📄️ 可逆经典线路
阐述
📄️ 图同构问题
$$
📄️ 多项式时间归约
阐述
📄️ 子集之和问题
给定一组数 $x1,\cdots,xk$ 和一个目标数 $t$，定义子集之和问题
📄️ 对数空间归约
阐述
📄️ 并行计算
阐述
📄️ 广义地理问题
给定一个有向图 $G$ 和起始点 $b$，定义游戏规则为两人从起始点开始交替延长路径，这些路径之间的节点不能重复。
📄️ 广义非确定性有限自动机
阐述
📄️ 找到证明
1. 仔细阅读需要证明的命题
📄️ 时间复杂度
阐述
📄️ 时间复杂度类
阐述
📄️ 时间阶层定理
阐述
📄️ 映射归约
阐述
📄️ 有限自动机
阐述
📄️ 机器学习
定义和概念
📄️ 概率 Turing 机
阐述
📄️ 正则表达式
阐述
📄️ 正则语言
阐述
📄️ 浮点数
阐述
📄️ 渐近分析
阐述
📄️ 空间复杂度
阐述
📄️ 空间复杂度类
阐述
📄️ 空间阶层定理
阐述
📄️ 符号翻转码
编码
📄️ 算法
阐述
📄️ 线性有界自动机
阐述
📄️ 经典线路
阐述
📄️ 计算历史
阐述
📄️ 计算模型
阐述
📄️ 语言
阐述
📄️ 超密集编码
- # 阐述
📄️ 输入只读的 Turing 机
阐述
📄️ 进程与线程
阐述
📄️ 连分数展开
阐述
📄️ 递归定理
阐述
📄️ 量子 Fourier 变换
- # 阐述
📄️ 量子反作用
阐述
📄️ 量子比特
阐述
📄️ 量子相位估计算法
阐述
📄️ 量子离散对数算法
阐述
📄️ 量子纠错码
阐述
📄️ 量子线路
- # 阐述
📄️ 量子计算
- 量子计算是基于[[量子力学]]的理论来搭建计算设备，以此来解决一些 经典计算不能解决的问题。量子计算以[[量子比特]]（qubit）为单位。
📄️ 量子通信
- # 阐述
📄️ 量子黑箱
阐述
📄️ 集合元素数量的比较
设有两个集合 $A,B$，有函数 $f:A\to B$，称该函数是
📄️ 非凸优化
阐述
📄️ 非确定性有限自动机
阐述
📄️ 顶点覆盖问题
如果无向图 $G$ 的一组顶点能覆盖所有 $G$ 的边，则称它是一个顶点覆盖。
📄️ 预言机
阐述