複雑性クラスとは何ですか

複雑度クラスどういう意味ですか？私は知っている言語含ま複雑性クラスであるれる多項式時間非決定性チューリングマシンのあるそのような IFF機械の受容状態の数入力で奇数です。 $\oplus P^{\oplus P}$ $\oplus P$ $A$ $M$ $x \in A$ $M$ $x$

しかし、どういう意味ですか？私はそれが実際に何をしているのかを追うことができません:) $\oplus P^{\oplus P}$

そのような複雑さのクラスの実際的な結果は何ですか？また、を示す方法は？ $\oplus P^{\oplus P} = \oplus P$

complexity-theory terminology complexity-classes

— スティーブンソン
ソース

この（見苦しい）表記は、相対またはオラクルの複雑度クラスを示します。定義については、ウィキペディアを参照してください。それは質問に答えますか？そうでない場合は、明確にするために編集してください。

— ラファエル

の証明は、cs.rutgers.edu

\oplus P^{\oplus P} = \oplus P

$\oplus P^{\oplus P} = \oplus P$

— 〜allender /

クラス意味として知られているものを搭載したOracleのための -私たちは、文字列かどうかを決定する能力が与えられていると言う、言語のメンバーであるクラスに含まれる単一の操作で。 $\oplus P^{\oplus P}$ $\oplus P$ $\oplus P$ $s$ $L$ $\oplus P$

私は別のコメンター（sdcwcが）の証明にリンクしていることがわかり（参照ラトガースでのCS 538からの講義でこれらのノートを）。複雑クラスクラスに対するOracleであるように、、であると言われる低クラスのための。この場合、我々はと言う自身のために低いです。 $\oplus P^{\oplus P} = \oplus P$ $C$ $B$ $B^C= B$ $B$ $\oplus P$

— ジョシュ・ロックハート
ソース

あなたのための別のリンク、今度は複雑度クラスの「低さ」に関するウィキペディアのページ：en.wikipedia.org/wiki/Low_%28complexity%29

— ジョシュロックハート

説明のスタイルは、基本原則を理解するのに十分であり、従うのは簡単です。

— スティーブンソン

あなたは基本的に何を意味するの

語学のメンバーシップを決定することができオラクルが装備されている

単一ステップで？私の視点からは、あなたは、いくつかの問題を解決する程度であれば

、あなたは非常に計算の初めに神託を照会しているので、最初のステップの後に、あなたはどのようにオラクルの答えあなたを知っていますか？つまり、1つの受け入れ状態に到達したので、そのような状態の数は1つだけであるため、奇数であるため、受け入れますか？

\oplus P

$\oplus P$

L

$L$

\oplus P^{\oplus P}

$\oplus P^{\oplus P}$

— スティーブンソン

「Oracleのための

-私たちは、それは言語かどうかを決定する能力が与えられていると言う

のメンバーである

単一の操作では。」-これは間違っています。Oracleは、文字列かどうかを判断する能力が与えられる

いくつかの言語のメンバーである

で

。一般性を失うことなく、

であると解釈することができる

（それがあるので

-complete）

\oplus P

$\oplus P$

L

$L$

\oplus P

$\oplus P$

s

$s$

L

$L$

\oplus P

$\oplus P$

L

$L$

\oplus S A T

$\oplus SAT$

\oplus P

$\oplus P$

— sdcvvc

私はその証明を本当に一生懸命に追おうとしていますが、それは私にははっきりしていません。たとえば、関数

どういう意味ですか？「1回繰り返し（

）」であることは知っていますが、このコンテキストでは何が良いのでしょうか？特別に何をしない

意味ですか？そして、何について

における

どこにでも？もし

は、

f (1^{i}, x)

$f(1^i,x)$

1^{3} = 111

$1^3 = 111$

1^{i}

$1^i$

k

$k$

n^{k}

$n^k$

i \leq n^{k}

$i \leq n^k$

。どういう意味ですか？あなたは機能していなぜ

、そのような入力で？

f (1^{i}, x) = f (1^{n^{k}}, x) = f (1^{| x |^{k}}, x)

$f(1^i,x) = f(1^{n^k}, x) = f(1^{|x|^k}, x)$

f \in ♯ P

$f \in \sharp P$

— スティーブンソン