Cos'è la classe di complessità

Cosa significa la classe di complessità ? So che è la classe di complessità che contiene le lingue per le quali esiste una macchina di Turing non deterministica temporale polinomiale tale che iff il numero di stati di accettazione della macchina sull'ingresso è dispari. $\oplus P^{\oplus P}$ $\oplus P$ $A$ $M$ $x \in A$ $M$ $x$

Ma cosa significa ? Non riesco proprio a seguire ciò che effettivamente fa :) $\oplus P^{\oplus P}$

Quali sono le conseguenze pratiche di tale classe di complessità e come è possibile dimostrare che ? $\oplus P^{\oplus P} = \oplus P$

complexity-theory terminology complexity-classes

— stewenson
fonte

Questa notazione (imbarazzante) indica le classi di complessità relativa o dell'oracolo. Vedi Wikipedia per una definizione. Questo risponde alla domanda? In caso contrario, si prega di modificare per chiarire.

— Raffaello

Troverai la prova di

su cs.rutgers.edu/~allender/538/murata3.pdf

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

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

— sdcvvc

$\oplus P^{\oplus P}$ $\oplus P$ $\oplus P$ $s$ $L$ $\oplus P$

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

— Josh Lockhart
fonte

Un altro link per te, questa volta alla pagina di wikipedia sulla "mancanza" di classi di complessità: en.wikipedia.org/wiki/Low_%28complexity%29

— Josh Lockhart,

Il tuo stile di spiegazione è sufficiente per la comprensione dei principi di base ed è facile da seguire.

— Stewenson,

\oplus P

$\oplus P$

L

$L$

\oplus P^{\oplus P}

$\oplus P^{\oplus P}$

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

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$