有界真值表归约于

（计算机科学技术）

有界真值表归约于（bounded truth-table reducible to），计算机科学技术名词，给定自然数集合 A， B ，如果 A 真值表归约于 B ，而且在这个归约过程中，对每一个 x ，判断 x 是否属于 A 只需查 B 的一个常数大小的表。