還元 (計算複雑性理論)
還元は前順序的であり、自然数の冪集合 P(N)に関して P(N)×P(N)という反射的関係であると同時に推移的関係でもある。
ある複雑性クラスの問題が全て特定の問題に還元されるなら、その問題をその複雑性において完全であるといい、クラスそのものを表す。この意味でクラスを表す問題は(解法はどうであれ)、還元と組み合わせてそのクラスのあらゆる問題を解くのに使われる。