多一归约于

多一归约于（many-one reducible to），计算机科学技术名词，给定集合 A，BN， N是自然数集，如果存在可计算函数 f 使对一切 x ， x∈A 当且仅当 f(x)∈B ，则称 A 多一归约于 B ，记为 AB ，或 AB via f 。