分类:可计算性与计算复杂性
来自术语
可计算函数(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) |
返回:首页