Domande taggate «structural-complexity»

Teoria della complessità strutturale

4
Quali sono le conseguenze di
Sappiamo che L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e che L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , dove L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Sappiamo anche che polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}perché quest'ultimo ha problemi completi nello spazio logaritmico molte riduzioni mentre il primo no (a causa del teorema della gerarchia spaziale). Per …
1
Algoritmi e teoria della complessità strutturale
Molti risultati importanti nella teoria della complessità computazionale, e in particolare nella teoria della complessità "strutturale", hanno l'interessante proprietà che possono essere intesi come fondamentalmente seguiti (come la vedo io ...) dai risultati algoritmici che forniscono un algoritmo efficiente o un protocollo di comunicazione per alcuni problema. Questi includono i …
1
Qual è l'oracolo minimo di complessità che separa PSPACE dalla gerarchia polinomiale?
sfondo È noto che esiste un oracolo AAA tale che, .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A È anche noto che la separazione è relativa a un oracolo casuale. Informalmente, si può interpretare questo per significare che ci sono molti oracoli per i quali e sono separati.PSPACEPSPACEPSPACEPHPHPH Domanda Quanto sono complicati questi oracoli che …
3
Quanto è dura la simulazione esatta di algoritmi e un'operazione correlata sulle classi di complessità
Teaser Poiché il problema è lungo, ecco un caso speciale che cattura la sua essenza. Problema: Sia A un algoritmo detrministico per 3-SAT. È il problema di simulare completamente l'algoritmo A (su ogni istanza del problema). P-Space difficile? (Più precisamente, ci sono ragioni per ritenere che questo compito sia difficile …
1
vs
Nel nostro recente lavoro, risolviamo un problema computazionale sorto in un contesto combinatorio, supponendo che , dove ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} è la versione E X P di ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . L'unico articolo su ⊕⊕P⊕P\mathsf{\oplus{}P} che abbiamo trovato è stato il documento Beigel-Buhrman-Fortnow1998che è citato nellozoo di complessità. Comprendiamo che possiamo prendere …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.