定义域
规范用词
定义域
英文翻译
domain
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词（第二版）
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
定义域 相关科技名词
摩尔机[器]
Moore machine
复杂性
complexity
计算复杂性
computation complexity
公理复杂性
axiomatic complexity
科尔莫戈罗夫复杂性
Kolmogrov complexity
复杂性类
complexity class
可满足性问题
satisfiability problem
三元可满足性
three-satisfiability
哈密顿回路问题
Hamilton circuit problem
团集覆盖问题
clique cover problem
并定理
union theorem
加速定理
speed-up theorem
旅行商问题
traveling salesman problem
间隙
gap
间隙定理
gap theorem
完全集
complete set
标签集
tally set
禁集
immune set
度
degree
稀疏集
sparse set
度量
measure
指数时间
exponential time
多项式空间
polynomial space
多项式时间
polynomial time
时间有界图灵机
time-bounded Turing machine
时间复杂性
time complexity
时间复杂度
time complexity
时间谱系
time hierarchy
空间有界图灵机
space-bounded Turing machine
空间复杂性
space complexity
空间复杂度
space complexity
空间谱系
space hierarchy
非确定计算
non-deterministic computation
非确定时间复杂性
non-deterministic time complexity
非确定时间谱系
non-deterministic time hierarchy
非确定空间复杂性
non-deterministic space complexity
线性加速定理
linear speed-up theorem
恰当覆盖问题
exact cover problem
难解型问题
intractable problem
离线图灵机
off-line Turing machine