Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Significato di P = NP? dipende dalla geometria spazio-temporale?
Questa domanda riguarda la pagina 125 del libro "Automi cellulari in spazi iperbolici: volume 2" di Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Secondo l'autore, la domanda P = NP è mal posta perché nell'impostazione iperbolica P = NP o nella notazione usata più avanti nel libro P h = …
5
Nozioni più forti di uniformazioni?
Un divario che ho sempre saputo che non capisco davvero è tra la complessità computazionale non uniforme e uniforme in cui la complessità del circuito rappresenta la versione non uniforme e le macchine di Turing sono dove le cose sono uniformi. Suppongo che "uniforme" sia un modo per limitare la …
3
Quali problemi di
La famosa immagine di The World di Neil Immerman è la seguente (clicca per ingrandire): La sua classe "Davvero fattibile" non include altre classi; la mia domanda è quindi: Che cos'è un problema AC 0 considerato non pratico e perché?
1
Separazioni oracolari tra circuiti quantici a profondità di poli e di registro
Il seguente problema appare nell'elenco di Aaronson Dieci sfide semi-grandi per la teoria del calcolo quantistico . È B Q P = B P PB Q N CBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} In altre parole, può la parte "qualità" di qualsiasi algoritmo quantistico essere compresso a p o l y l o g (n)polylog(n)\mathrm{polylog}(n) …
1
Problemi con LogDCFL-complete
LogCFL è l'insieme di tutte le lingue che sono spazi di log riducibili a un linguaggio privo di contesto. Allo stesso modo, LogDCFL è l'insieme di tutte le lingue che sono spazi di registro riducibili a un linguaggio senza contesto deterministico. Vedi questo articolo di Wikipedia per alcuni problemi naturali …
1
Leggere su
Cosa dovrei leggere per capire questo problema? La potenza dei circuiti quantistici di piccola profondità. Is ? In altre parole, la parte "quantistica" di qualsiasi algoritmo quantistico può essere compressa in profondità poligono (n), a condizione che siamo disposti a eseguire il postprocessing classico in tempo polinomiale? (Questo è noto …
1
Non
Mi aspetto che la risposta sia no, ma in realtà non sono riuscito a costruire un controesempio. La differenza è che in ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) , potremmo non essere in grado di scegliere un algoritmo O(n2+ε)O(n2+ε)O(n^{2+ε}) uniformemente in εεε . Con un argomento a coda di rondine (ad esempio, vedi questa …
3
Formule booleane quantificate con alternanze logaritmiche
Sto studiando un problema difficile per la classe di formule booleane quantificate con un numero logaritmico di alternanze dei quantificatori. Un problema in questa classe sarebbe simile a: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Dove e è una formula …
1
La programmazione dinamica non è mai più debole di Greedy?
Nella complessità del circuito, abbiamo separazioni tra potenze di vari modelli di circuito. Nella complessità della dimostrazione, abbiamo separazioni tra poteri di vari sistemi di dimostrazione. Ma nell'algoritmo, abbiamo ancora solo poche separazioni tra i poteri dei paradigmi algoritmici . Le mie domande che seguono mirano a toccare quest'ultimo problema …
3
Esempi di derandomizzazione riuscita da BPP a P
Quali sono alcuni esempi importanti di derandomizzazione riuscita o almeno progressi nel mostrare prove concrete verso l' obiettivo (non la connessione della casualità della durezza)?P= B PPP=BPPP=BPP L'unico esempio che mi viene in mente è il test deterministico della primalità temporale polinomiale dell'AKS (anche per questo c'era una metodologia che …
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.