什么是复杂度类

复杂度类是什么意思？我知道是包含语言的复杂度类，对于该语言，存在多项式时间不确定的Turing机器，使得如果机器在输入上的接受状态数是奇数。 $\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

— 史蒂文森
source

这种（笨拙的）表示法是相对或预言复杂性类。有关定义，请参见Wikipedia。这能回答问题吗？如果不是，请进行编辑以澄清。

— 拉斐尔

您可以在cs.rutgers.edu/~allender/538/murata3.pdf

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

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

— sdcvvc 2012年

$\oplus P^{\oplus P}$ 表示配备了的预言类的 -我们说它具有确定字符串是否为语言成员的能力。在单个操作中包含在类中。 $\oplus P$ $\oplus P$ $s$ $L$ $\oplus P$

我看到另一个评论者（sdcwc）与的证明相关联（请参阅来自Rutgers的CS 538的演讲中的这些注释）。甲复杂类是一个oracle一类使得，被认为是低的类。在这种情况下，我们说本身很低。 $\oplus P^{\oplus P} = \oplus P$ $C$ $B$ $B^C= B$ $B$ $\oplus P$

— 乔什·洛克哈特（Josh Lockhart）
source

另一个适合您的链接，这一次是有关复杂度类的“低度”的维基百科页面：en.wikipedia.org/wiki/Low_%28complexity%29

— Josh Lockhart

您的解释风格足以理解基本原理，并且易于遵循。

— stewenson

您基本上是指配备了可以在一个步骤中确定语言隶属关系的oracle 吗？从我的角度来看，如果您要解决某些问题，那么您是在计算的最开始就查询oracle，因此在第一步之后，您知道oracle是如何回答您的吗？因此，您知道，既然您已经达到一种接受状态，那么这种状态的数量仅为1，所以是奇数，您是否接受？

\oplus P

$\oplus P$

L

$L$

\oplus P^{\oplus P}

$\oplus P^{\oplus P}$

— Stewenson

“在甲骨文的 -我们说，它已经给出了确定一个语言是否能力是成员。在一个操作” -这是不正确的：一个甲骨文给出确定一个字符串是否能力是一些语言的成员在。不失一般性，可以视为（因为它是

\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$

— -complete

我正努力地遵循该证明，但对我来说还不清楚。例如，函数是什么意思？我知道这是“重复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$

— stewenson