Search results- English - English

Keyword:

reductio

Cook reduction

Noun

(computing theory) A Turing reduction that runs in polynomial time.

Japanese Meaning

多項式時間のチューリング縮約。計算理論において、ある問題を多項式時間内にチューリングマシンを用いて別の問題へ還元（縮約）する操作を指す。

What is this buttons?

Google Translation / DeepL Translation

その論文は、任意のSATのインスタンスを多項式時間で新しい制約問題のインスタンスに変換する多項式時間チューリング還元を提示している。

Details

Related Words

Cook reductions

（ plural ）

Details

Cook reductions

Noun

form-of plural

plural of Cook reduction

Japanese Meaning

この単語は「Cook reduction」の複数形を表します。つまり、単数形「Cook reduction」に対して複数の要素を指す場合に用いられます。

What is this buttons?

Graduate students studying computational complexity often encounter Cook reductions when comparing the hardness of decision problems.

Google Translation / DeepL Translation

計算複雑性を学ぶ大学院生は、決定問題の難しさを比較する際にしばしばクックの還元に遭遇する。

Details

Turing reduction

Noun

(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.

Japanese Meaning

チューリング帰着：計算理論における概念で、ある問題Aの解決のために、既に解かれている問題Bの解法（部分アルゴリズム）を利用することで、問題Aを解く手法。

What is this buttons?

To prove A is decidable, the paper constructs a Turing reduction from A to B that queries an oracle for B and uses its answers to decide instances of A.

Google Translation / DeepL Translation

Aが決定可能であることを示すために、論文はAからBへのチューリング還元を構成し、Bを解くサブルーチン（オラクル）に問い合わせてその応答を用いてAのインスタンスを判定した。

Details

Related Words

Turing reductions

（ plural ）

Details

Turing reductions

Noun

form-of plural

plural of Turing reduction

Japanese Meaning

「Turing reductions」は「Turing reduction」（チューリング還元）の複数形を指します。

What is this buttons?

Researchers compared the complexity classes using Turing reductions to determine their relative hardness.

Google Translation / DeepL Translation

研究者たちは相対的な難しさを判断するために、チューリング機械による還元を用いて複雑度クラスを比較した。

Details

Search by Web