Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Varianti complete di NP di problemi indecidibili?
Esempi di varianti limitate di di insiemi non decidibili:NPNPNP Problema di Halting associato = { | La macchina NTM ferma e accetta entro passi}(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Piastrellatura limitata = { | c'è una piastrellatura di un quadrato dell'area di piastrelle da }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problema di corrispondenza posta vincolata = { …
3
È possibile incorporare una soluzione per SAT?
Sono interessato a singoli casi "difficili" di problemi NP-completi. Ryan Williams ha discusso del problema SAT0 sul blog di Richard Lipton . SAT0 chiede se un'istanza SAT ha la soluzione specifica composta da tutti gli 0. Questo mi ha fatto pensare di costruire istanze SAT che probabilmente saranno "difficili". Considera …
1
È stata studiata la derandomizzazione di classi leggermente non uniformi, ad esempio BPP / lineare?
Per BPP / linear mi riferisco a macchine BPP con consigli lineari, che mantengono la promessa quando vengono dati i consigli "corretti" e la derandomizzazione dovrebbe darci, diciamo, un algoritmo P / lineare o (SUBEXP / lineare). Se usiamo ipotesi non uniformi, penso che i risultati classici dovrebbero funzionare, perché …
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, …
1
Qual è la relazione congetturata tra le lingue P (PTime) e Tipo 1 (sensibile al contesto)?
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP è l'insieme di tutte le lingue decidibili in tempo polinomiale su una macchina di Turing deterministica, e CSLCSLCSL è la classe di linguaggi sensibili al contesto, noti per essere equivalenti a , i linguaggi decisi da automi a lineari.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Per molte domande aperte, vi è la …
1
La complessità di Kolmogorov delle tabelle di verità del problema dell'arresto è conosciuta asintoticamente?
Sia HALTnHALTnHALT_n la stringa di lunghezza 2n2n2^n corrispondente alla tabella di verità del problema di arresto per input di lunghezza nnn . Se la sequenza delle complessità di Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , allora una delle stringhe di consigli verrebbe utilizzata all'infinito spesso e una TM con quella stringa codificata …
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.