For any class C und closed under NC{sup}1 reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtime-uniform AC{sup}0) reductions are isomorphic under first-order computable isomorphisms.
展开▼
机译：对于NC {sup} 1下的任何C缺陷关闭，结果表明，在一阶（等效，DLOGTIME-SIZE AC {SUP} 0）下的所有组合在一阶的可计算同构下的同构是同构。
展开▼
