Domande taggate «complexity-classes»

Classi di complessità computazionale e loro relazioni

3
Che prove ci sono che
Quali prove ci sono che ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP è la classe di lingue per cui esiste una Turing Machine probabililistica che funziona in tempo polinomiale e risponde sempre Sì su un input appartenente alla lingua e risponde No con probabilità almeno la …
1
Candidati naturali per NP-E ed E-NP
È noto fin dai primi anni '70 che NPNP{\bf NP} ed E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) non sono uguali (perché EE{\bf E} non è chiuso con riduzioni di molti tempi polinomiali, a differenza di NPNP{\bf NP} ) . Per quanto ne so, tuttavia, è ancora chiaro se una classe sia un sottoinsieme dell'altra, …
2
C'è un problema informatico che si trova in un tempo quasi polinomiale ma non è (forse) in
Il tempo quasi polinomiale, o QP in breve, è una classe di complessità sulla macchina di Turing deterministica. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Mentre βP è una classe di complessità di non determinismo limitato. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap È facile vedere che qualsiasi macchina di βP può essere simulata …
1
Problemi 2-NEXPTIME-complete
Abbiamo un problema e abbiamo trovato un algoritmo che sembra essere 2-nexptime. Vorrei trovare noti problemi 2-nexptime completi al fine di trovare un limite inferiore. Ho trovato in letteratura principalmente due di questi problemi: se PCP come soluzione di dimensioni inferiori a 22n22n2^{2^n} e il problema della lavorazione del terreno …
2
Esatta complessità di un problema in
Sia xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} per i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , con la promessa che x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (dove la somma è superiore a ZZ\mathbb{Z} ). Allora, qual è la complessità nel determinare se x=1x=1x = 1 ? Si noti che banalmente il problema risiede in ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} perché …
2
Il calcolo quantistico adiabatico è potente come il modello di circuito?
Gran parte della letteratura informatica quantistica si concentra sul modello di circuito. Il calcolo quantistico adiabatico non si basa sull'applicazione di una sequenza di operatori unitari, ma sulla modifica di un hamiltoniano dipendente dal tempo. Sto cercando informazioni su quanto segue. Il calcolo quantistico adiabatico è potente come il modello …
2
Risultati di complessità per le funzioni ricorsive elementari inferiori?
Incuriosito dall'interessante domanda di Chris Pressey sulle funzioni elementari ricorsive , stavo esplorando di più e non riuscivo a trovare una risposta a questa domanda sul web. Le funzioni ricorsive elementari corrispondono bene alla gerarchia esponenziale, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Sembra chiaro dalla definizione che i problemi di decisione …
1
Letteratura intorno a NP vs EXPTIME
Anche se non è un punto cruciale, non vedo letteratura intorno a questa domanda. Ci sono risultati di relativizzazione? Non sarebbe del tutto semplice dimostrare una rigorosa inclusione adattando il teorema della gerarchia temporale non deterministica esplorando tutti i possibili percorsi della macchina NP?
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.