分类:可计算性与计算复杂性
来自术语
| 可计算函数(02.0106) | 可计算性理论(02.0107) |
| 能行性(02.0108) | 丘奇-图灵论题(02.0109) |
| 计算(02.0110) | 后继函数(02.0111) |
| 常函数(02.0112) | 恒等函数(02.0113) |
| 投影函数(02.0114) | 复合(02.0115) |
| 原始递归(02.0116) | 原始递归函数(02.0117) |
| 特征函数(02.0118) | 原始递归集(02.0119) |
| 原始递归谓词(02.0120) | 无界搜索算子(02.0121) |
| -算子(02.0122) | 阿克曼函数(02.0123) |
| 部分递归函数(02.0124) | 部分可计算函数(02.0125) |
| 递归函数(02.0126) | -递归函数(02.0127) |
| 递归集(02.0128) | 递归谓词(02.0129) |
| 递归关系(02.0130) | 可计算关系(02.0131) |
| 哥德尔配数(02.0132) | -演算(02.0133) |
| 布尔运算(02.0134) | 布尔代数(02.0135) |
| 布尔表达式(02.0136) | 布尔公式(02.0137) |
| 布尔函数(02.0138) | 真值表(02.0139) |
| 合式公式(02.0140) | 析取范式(02.0141) |
| 合取范式(02.0142) | 文字(02.0143) |
| 子句(02.0144) | 归约(02.0145) |
| 真值指派(02.0146) | 部分真值指派(02.0147) |
| 可满足的(02.0148) | 逻辑门(02.0149) |
| 布尔线路(02.0150) | 不可判定问题(02.0151) |
| 可判定问题(02.0152) | 词典序(02.0153) |
| 典型序(02.0154) | 对角线方法(02.0155) |
| 配对函数(02.0156) | 配对生成器(02.0157) |
| 成员问题(02.0158) | 完全问题(02.0159) |
| 递归可枚举语言(集合)(02.0160) | 计算可枚举语言/集合(02.0161) |
| 递归定理(02.0162) | 克林T-谓词(02.0163) |
| 范式定理（克林）(02.0164) | 枚举定理(02.0165) |
| 定理(02.0166) | 参数定理(02.0167) |
| 收敛(02.0168) | 发散(02.0169) |
| 停机问题(02.0170) | 多一归约于(02.0171) |
| 1-1归约于(02.0172) | 多一度(02.0173) |
| 1-1度(02.0174) | 完全的(02.0175) |
| 完全的(02.0176) | 并算子(02.0177) |
| 递归置换(02.0178) | 可计算置换(02.0179) |
| 可计算同构(02.0180) | 迈希尔同构定理(02.0181) |
| 可接受配数(02.0182) | 能行枚举(02.0183) |
| 能行配数(02.0184) | 投影(02.0185) |
| -形式(02.0186) | -形式(02.0187) |
| -形式(02.0188) | 计算可枚举集的范式定理(02.0189) |
| 量词收缩定理(02.0190) | 函数图(02.0191) |
| 图定理(02.0192) | 单值化定理(02.0193) |
| 列举定理(02.0194) | 并定理(02.0195) |
| 计算可枚举集的归约原理(02.0196) | 补定理(02.0197) |
| 偏序(02.0198) | 格(02.0199) |
| 分配格(02.0200) | 最小上界(02.0201) |
| 最大下界(02.0202) | 上半格(02.0203) |
| 理想(02.0204) | 滤子(02.0205) |
| 带参数的递归定理(02.0206) | 图灵归约(02.0207) |
| 图灵完全集(02.0208) | 产生集(02.0209) |
| 创造集(02.0210) | 谕示带(02.0211) |
| 谕示图灵机(02.0212) | 相对化枚举定理(02.0213) |
| 相对化定理(02.0214) | 相对化递归定理(02.0215) |
| 使用函数(02.0216) | 使用原理(02.0217) |
| 相对化停机问题(02.0218) | 跃变算子(02.0219) |
| 伪跃变算子(02.0220) | 模函数(02.0221) |
| 极限引理(02.0222) | 算术层谱(02.0223) |
| -(02.0224) | 相对化算术层谱(02.0225) |
| 真值表归约于(02.0226) | 有界真值表归约于(02.0227) |
| 有界图灵归约于(02.0228) | 弱真值表归约于(02.0229) |
| 允许方法(02.0230) | 计算可枚举集完全性准则(02.0231) |
| 谕示构造(02.0232) | 反演跃变(02.0233) |
| 力迫论证(02.0234) | 极小度(02.0235) |
| 需求(02.0236) | 策略(02.0237) |
| 有穷损害优先方法(02.0238) | 限制函数(02.0239) |
| 条件限制函数(02.0240) | 图灵度(02.0241) |
| 计算可枚举图灵度(02.0242) | 萨克斯分裂定理(02.0243) |
| 无穷损害优先方法(02.0244) | 真阶段(02.0245) |
| 萨克斯稠密性定理(02.0246) | 极小对(02.0247) |
| 证据(02.0248) | 可能候选者(02.0249) |
| 可能结局(02.0250) | 策略树(02.0251) |
| 优先树方法(02.0252) | 候补策略(02.0253) |
| 拉赫朗非分裂定理(02.0254) | 真路径(02.0255) |
| 优先树方法(02.0256) | 非一致构造(02.0257) |
| 可定义性(02.0258) | 图灵可定义性(02.0259) |
| 差层谱(02.0260) | 叶尔绍夫层谱(02.0261) |
| 基本理论(02.0262) | 初等等价的(02.0263) |
| 计算可枚举度的并定理(02.0264) | 局部图灵度的并定理(02.0265) |
| 一致伪跃变算子问题(02.0266) | 计算复杂性(02.0267) |
| 复杂性(02.0268) | 有效性(02.0269) |
| 标位器(02.0270) | 计时器(02.0271) |
| 带(02.0272) | 带头(02.0273) |
| 带压缩(02.0274) | 带减少(02.0275) |
| 带符号(02.0276) | 格局(02.0277) |
| 格局图(02.0278) | 公理复杂性(02.0279) |
| 线路复杂性(02.0280) | 证明复杂性(02.0281) |
| 代数线路(02.0282) | 算术公式(02.0283) |
| 代数P/poly类(02.0284) | 投影归约(02.0285) |
| 代数计算树(02.0286) | 代数计算树复杂性(02.0287) |
| 柯尔莫哥洛夫复杂性(02.0288) | 参数复杂性(02.0289) |
| 计数复杂性(02.0290) | 代数复杂性(02.0291) |
| 平均复杂性(02.0292) | 复杂性类(02.0293) |
| 线性加速定理(02.0294) | 可满足性问题（SAT）(02.0295) |
| 3元可满足性问题(3SAT)(02.0296) | 间隙定理(02.0297) |
| 复杂性类的完全语言(02.0298) | 标签集(02.0299) |
| 稀疏集(02.0300) | 确定性时间(02.0301) |
| 非确定性时间(02.0302) | 确定性空间(02.0303) |
| 非确定性空间(02.0304) | 指数时间复杂性类(EXP)(02.0305) |
| 线路求值问题(CVP)(02.0306) | 多项式时间复杂性类(P)(02.0307) |
| 多项式空间复杂性类(PSPACE)(02.0308) | 对数空间复杂性类(L)(02.0309) |
| 非确定性多项式时间复杂性类(NP)(02.0310) | 非确定性对数空间复杂性类(02.0311) |
| 时间可构造函数(02.0312) | 时间层谱定理(02.0313) |
| 空间可构造函数(02.0314) | 空间层谱定理(02.0315) |
| 非确定性时间层谱定理(02.0316) | 非确定性空间复杂性定理(02.0317) |
| 确定性时间复杂性(02.0318) | 非确定性时间复杂性(02.0319) |
| 确定性空间复杂性(02.0320) | 非确定性空间复杂性(02.0321) |
| 难解问题(02.0322) | 子集和问题(02.0323) |
| 因子分解问题(02.0324) | 判定问题(02.0325) |
| 函数问题(02.0326) | 对数空间计算(02.0327) |
| P-完全问题(02.0328) | 库克可归约性(02.0329) |
| 卡普可归约性(02.0330) | 非确定性指数时间复杂性类(NEXP)(02.0331) |
| 语言识别(02.0332) | 对角化方法的局限性(02.0333) |
| 量词布尔公式(QBF)(02.0334) | PSPACE-完全性(02.0335) |
| 类(02.0336) | 类(02.0337) |
| 多项式时间层谱(02.0338) | 交替图灵机(02.0339) |
| 交替时间复杂性(02.0340) | 交替空间复杂性(02.0341) |
| 对数空间多一归约于(02.0342) | 多项式时间多一归约于(02.0343) |
| 多项式时间图灵归约于(02.0344) | 多项式时间归约(02.0345) |
| 多项式对数时间(02.0346) | 相对化(02.0347) |
| NP-完全问题(02.0348) | NP-困难问题(02.0349) |
| 交替多项式时间复杂性类(AP)(02.0350) | 交替对数空间复杂性类(AL)(02.0351) |
| 非一致计算(02.0352) | 类P/poly(02.0353) |
| 并行计算(02.0354) | NC类(02.0355) |
| 并行计算问题(02.0356) | Pvs(02.0357) |
| 时间和空间问题(02.0358) | AC类(02.0359) |
| 随机化计算(02.0360) | 概率图灵机(02.0361) |
| BPP类(02.0362) | 概率素数检测(02.0363) |
| 多项式恒等检测(02.0364) | RP,coRP类(02.0365) |
| ZPP类(02.0366) | 多项式时间可计算分布(02.0367) |
| 多项式时间可抽样分布(02.0368) | 扩张器(02.0369) |
| 随机化归约(02.0370) | 随机化对数空间计算(02.0371) |
| 交互式证明(02.0372) | 交互式协议(02.0373) |
| 交互式多项式时间复杂性类（IP）(02.0374) | 公开密钥交互式协议(02.0375) |
| 两两独立哈希函数(02.0376) | 算术化(02.0377) |
| 和检测(02.0378) | 交互式多项式时间=多项式空间(02.0379) |
| 程序检测(02.0380) | 概率可检测证明(PCP)(02.0381) |
| 积和式(02.0382) | #P类(02.0383) |
| #P-完全性(02.0384) | 线性检测(02.0385) |
| PCP验证者(02.0386) | PCP定理(02.0387) |
| 约束可满足性问题（CSP）(02.0388) | 沃尔什–哈达玛编码(02.0389) |
| 沃尔什–哈达玛编码的局部检测(02.0390) | 沃尔什–哈达玛编码的局部解码(02.0391) |
| 纠错码(02.0392) | 字母表∑上的纠错码(02.0393) |
| 瑞德–索罗门编码(02.0394) | 瑞德–马勒编码(02.0395) |
| 局部解码器(02.0396) | 列举解码(02.0397) |
| 局部可检测编码(02.0398) | 低次多项式检测(02.0399) |
| 图性质检测(02.0400) | 代数性质检测(02.0401) |
| 伪随机数生成器(02.0402) | 平均情况困难性(02.0403) |
| 姚XOR定理(02.0404) | 尼桑–威治森生成器(02.0405) |
| 极小熵(02.0406) | 随机性提取器(02.0407) |
| 全息算法(02.0408) | 判定树(02.0409) |
| 判定树复杂性(02.0410) | 证书复杂性(02.0411) |
| 随机化判定树(02.0412) | 分布式复杂性(02.0413) |
| 姚极小极大原理(02.0414) | 约翰逊不等式(02.0415) |
| 非适配查询(02.0416) | 适配查询(02.0417) |
| 赢取策略(02.0418) | 并行随机存储器(02.0419) |
| 亚指数时间(02.0420) | 多线性函数(02.0421) |
| 多线性检测(02.0422) | -接近/远离(02.0423) |
| 多数投票制(02.0424) | 自归约(02.0425) |
| 初始格局(02.0426) | 最后格局(02.0427) |
| 完美完全性(02.0428) | 可靠性(02.0429) |
| 零知识证明系统(02.0430) | 单边错误(02.0431) |
| 单向函数(02.0432) | 单调线路(02.0433) |
| 次线性函数(02.0434) | 错误侦查(02.0435) |
| 直线算术程序(02.0436) | 顺序算法(02.0437) |
| 错误概率(02.0438) | 诱导子图(02.0439) |
| 剪枝(02.0440) | 随机存取器(02.0441) |
| 随机归约(02.0442) | 随机化算法(02.0443) |
| 随机位(02.0444) | 超多项式(02.0445) |
| 超线性(02.0446) | 量词(02.0447) |
| 量词作用域(02.0448) | 期望时间复杂性(02.0449) |
| 概率量词(02.0450) | 可忽略函数(02.0451) |
| 单向函数猜想(02.0452) | 中国剩余定理(02.0453) |
| 拉滨函数(02.0454) | RSA函数(02.0455) |
| 限门函数(02.0456) | 安全伪随机数生成器(02.0457) |
| 基于单向函数的伪随机数生成器(02.0458) | 基于单向置换的伪随机数生成器(02.0459) |
| 不可预知性(02.0460) | 不可预知性隐涵伪随机性(02.0461) |
| 戈德里克–列文定理(02.0462) | NP语言的零知识协议(02.0463) |
| 完美零知识(02.0464) | 统计距离(02.0465) |
| 统计零知识(02.0466) | 计算不可区分的(02.0467) |
| 计算零知识(02.0468) | 通信复杂性(02.0469) |
| 多方通信复杂性(02.0470) | 概率通信复杂性(02.0471) |
| 随机化通信复杂性(02.0472) | 费根定理(02.0473) |
| 概率对数空间层谱塌陷(02.0474) |
返回:首页
