O que é a classe de complexidade

O que significa a classe de complexidade ? Eu sei que é a classe de complexidade que contém as linguagens para as quais existe uma máquina de Turing não determinística no tempo polinomial, de modo que se o número de estados de aceitação da máquina na entrada for ímpar. $\oplus P^{\oplus P}$ $\oplus P$ $A$ $M$ $x \in A$ $M$ $x$

Mas o que significa ? Eu simplesmente não consigo seguir o que realmente faz :) $\oplus P^{\oplus P}$

Quais são as consequências práticas dessa classe de complexidade e como é possível mostrar que ? $\oplus P^{\oplus P} = \oplus P$

complexity-theory terminology complexity-classes

— Stewenson
fonte

Essa notação (estranha) denota classes de complexidade relativa ou oráculo. Veja Wikipedia para uma definição. Isso responde a pergunta? Caso contrário, edite para esclarecer.

— Raphael

Você vai encontrar a prova de em cs.rutgers.edu/~allender/538/murata3.pdf

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

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

— sdcvvc

$\oplus P^{\oplus P}$ denota a classe equipada com o que é conhecido como oráculo para - dizemos que foi dada a capacidade de determinar se uma string é ou não membro de uma linguagem contido na classe em uma única operação. $\oplus P$ $\oplus P$ $s$ $L$ $\oplus P$

Vejo que outro comentarista (sdcwc) se vinculou à prova de (veja essas notas em uma palestra do CS 538 em Rutgers ). Uma classe de complexidade que é uma técnica para uma classe de tal modo que , é dito para ser baixa para a classe . Nesse caso, dizemos que é baixo para si. $\oplus P^{\oplus P} = \oplus P$ $C$ $B$ $B^C= B$ $B$ $\oplus P$

— Josh Lockhart
fonte

Outro link para você, desta vez para a página da wikipedia sobre 'baixa' de classes de complexidade: en.wikipedia.org/wiki/Low_%28complexity%29

— Josh Lockhart

Seu estilo de explicação é suficiente para a compreensão dos princípios básicos e é fácil de seguir.

— 27512 Stephenson

O que você quer dizer com basicamente que

está equipado com o oráculo que pode determinar a associação da língua

no único passo? Do meu ponto de vista, se você está resolvendo algum problema em

, está consultando o oráculo no início do cálculo, portanto, após o primeiro passo, você sabe como o oráculo responde a você? Então você sabe que desde que atingiu um estado de aceitação, o número de tais estados é apenas um, então o número ímpar, então você aceita?

\oplus P

$\oplus P$

L

$L$

\oplus P^{\oplus P}

$\oplus P^{\oplus P}$

— 27412 Jan

"um oráculo para

- dizemos que foi possível determinar se uma língua

é ou não membro de

em uma única operação." - isso é incorreto: Um oráculo dá a capacidade de determinar se uma string

é membro de alguma linguagem

. Sem perda de generalidade,

pode ser feita para ser

(uma vez que é

-completo)

\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

Estou tentando seguir a prova muito difícil, mas não está claro para mim. Por exemplo, o que significa a função

? Eu sei que é "repita 1 i vezes (

)", mas o que é bom nesse contexto? O que especialmente

significa? E o

todos os lugares? Se

, então

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$

. O que isso significa? Por que você tem uma função

com essa entrada?

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$

— 27412 Jan