分类:可计算性与计算复杂性

来自术语
跳转至: 导航搜索
可计算函数(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)


返回:首页

分类“可计算性与计算复杂性”中的页面

以下200个页面属于本分类,共356个页面。

(上一页)(下一页

(上一页)(下一页