(computing theory) A reduction that solves a problem if the solution to another problem is already known, i.e. an algorithm that could be used to solve A if it had available to it a subroutine for solving B.
Turing reduction
Aが決定可能であることを示すために、論文はAからBへのチューリング還元を構成し、Bを解くサブルーチン（オラクル）に問い合わせてその応答を用いてAのインスタンスを判定した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
