投影归约

投影归约（projection reduction），计算机科学技术名词，给定函数 f() 和 g() ，如果存在从{}到{0，1，}的映射 σ 使得 f()=g(σ()，) ，那么称 f 投影归约于 g ，也称 f() 是函数 g() 的一个投影。