Il capitolo 1 del libro The Probabilistic Method, di Alon e Spencer menziona il seguente problema: Dato un grafico , decidere se la connettività del suo bordo è almeno n / 2 o meno.GGGn/2n/2n/2 L'autore cita l'esistenza di un algoritmo Matula e migliora a O ( n 8 / 3 …
È noto che determinare se una data 3 varietà triangolata sia o meno una 3 sfera si trova in NP, tramite il lavoro di Saul Schleimer nel 2004: "Il riconoscimento della sfera si trova in NP" arXiv: math / 0407047v1 [math.GT] . Mi chiedo se questo è stato stabilito per …
Greibach notoriamente definita una lingua , la cosiddetta versione non deterministico di , tale che ogni CFL è l'immagine inversa morfica di . Esiste una dichiarazione simile con DCFL, possibilmente con qualche restrizione sui morfismi consentiti?HHHD2D2D_2HHH (Vedi, ad esempio, M. Autebert, J. Berstel e L. Boasson. Lingue senza contesto e …
Sto cercando un elenco sulla complessità nota o sconosciuta di vari problemi teorici / algebrici numerici. Per esempio, GCD in è aperto,NC1NC1NC^1 il factoring in è aperto,PPP la coomologia del covone di calcolo è -hard#P#P\#P , Arora e Barak affermano che una variante del factoring è (anche se questo non …
Quali sono i problemi con le seguenti proprietà: 1) sono una limitazione di problemi (possibilmente ben noti) che sono completi di PSPACE; 2) le versioni con restrizioni sono in PSPACE, ma è un problema aperto se sono complete di PSPACE (o anche se sono NP-hard). Quattro esempi da "puzzle & …
Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se è un linguaggio completo di PSPACE, .P A = N P AUNAAPUN= NPUNPA=NPAP^{A}=NP^{A} Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P B ≠ N P B P ≠ N PBBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP # P P ⊆ P P ⊆ P S P A …
Nei progetti Polymath un grande gruppo lavora su un problema aperto. Che tipo di problemi sembrano funzionare meglio in questo quadro? Ci sono buoni candidati per un progetto polymath in informatica teorica? Ci sono ostacoli che rendono meno probabile che i progetti Polymath abbiano successo nell'informatica teorica rispetto ad altre …
Nella complessità della comunicazione, la congettura log-rank afferma che cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Dove è la complessità della comunicazione di e è il rango di (come una matrice) rispetto ai reali.M ( x , y ) r k ( M ) Mcc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Tuttavia, quando stai semplicemente usando il metodo rank …
Mi sono imbattuto in un articolo pubblicato su Science "Memcomputing di problemi NP-completi in tempi polinomiali usando risorse polinomiali e stati collettivi" , il che fa alcune affermazioni piuttosto sorprendenti. Il memcomputing è un nuovo paradigma di calcolo non-Turing che utilizza celle di memoria interagenti (in breve memprocessor) per archiviare …
Sappiamo che . Dal teorema di Savitch, e, dalla gerarchia spaziale Teorem, . Quindi, poiché non sappiamo se , non sappiamo se , o sappiamo che ? Qualcuno ha provato a dimostrare che \ mathcal L ^ 2 \ subseteq \ mathcal P ? Quali sono gli ultimi risultati, o …
Background––––––––––––––Background_\underline{\bf Background} Nel 2005, Regev [1] ha introdotto il problema di apprendimento con errori (LWE), una generalizzazione del problema della parità di apprendimento con errore. L'ipotesi della durezza di questo problema per alcune scelte di parametri è alla base delle prove di sicurezza per una serie di sistemi di crittografia …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.