Le chapitre 1 du livre The Probabilistic Method, par Alon et Spencer mentionne le problème suivant: Étant donné un graphique , décidez si sa connectivité de bord est au moins ou non.ggGn / 2n/2n/2 L'auteur mentionne l'existence d'un algorithme par Matula et l'améliore à .O ( n3)O(n3)O(n^3)O ( n8/3logn)O(n8/3logn)O(n^{8/3}\log n) …
On sait que déterminer si une variété triangulée donnée est ou non une sphère 3 est en NP, via les travaux de Saul Schleimer en 2004: "La reconnaissance de la sphère réside dans NP" arXiv: math / 0407047v1 [math.GT] . Je me demande si cela a été établi pour être …
Greibach célèbre défini un langage , que l'on appelle la version non - déterministe de , de telle sorte que toute la LCF est une image inverse de morphique . Existe-t-il une déclaration similaire avec DCFL, éventuellement avec une certaine restriction sur les morphismes autorisés?D 2 HHHHD2D2D_2HHH (Voir, par exemple, …
Je recherche une liste sur la complexité connue ou inconnue de divers problèmes théoriques / algébriques des nombres. Par exemple, GCD dans est ouvert,NC1NC1NC^1 l'affacturage en est ouvert,PPP le calcul de la cohomologie des faisceaux est -hard# P#P\#P , Arora et Barak indique qu'une variante de l' affacturage est -complete …
Quels sont les problèmes avec les propriétés suivantes: 1) ils sont la restriction de problèmes (peut-être bien connus) qui sont PSPACE-complets; 2) les versions restreintes sont dans PSPACE, mais c'est un problème ouvert si elles sont complètes pour PSPACE (ou même si elles sont NP-hard). Quatre exemples de "puzzles & …
Par http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si est un langage complet-PSPACE, P A = N P A .UNEAAPUNE= NPUNEPA=NPAP^{A}=NP^{A} Si est un oracle à temps polynomial déterministe, P B ≠ N P B (en supposant P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP est la classe de problèmes de décision analogique pour # …
Dans les projets Polymath, un grand groupe travaille sur un problème ouvert. Quels types de problèmes semblent fonctionner le mieux dans ce cadre? Y a-t-il de bons candidats pour un projet polymath en informatique théorique? Y a-t-il des obstacles qui rendent les projets Polymath moins susceptibles de réussir en informatique …
Dans la complexité de la communication, la conjecture log-rank déclare que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Où est la complexité de communication de M ( x , y ) et r k ( M ) est le rang de M (sous forme de matrice) sur les réels.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Cependant, lorsque vous utilisez …
Je suis tombé sur un article publié dans Science "Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states" , qui fait des affirmations assez étonnantes. Memcomputing est un nouveau paradigme de calcul non-Turing qui utilise des cellules de mémoire en interaction (memprocessors pour faire court) pour stocker …
Nous savons que . D'après le théorème de Savitch, , et, depuis Space Hierarchy Teorem, . Donc, comme nous ne savons pas si , nous ne savons pas si , ou savons-nous que ? Quelqu'un at-il essayé de prouver que \ mathcal L ^ 2 \ subseteq \ mathcal P …
Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] a introduit le problème d'apprentissage avec erreurs (LWE), une généralisation du problème de parité d'apprentissage avec erreur. L'hypothèse de la dureté de ce problème pour certains choix de paramètres sous-tend désormais les preuves de sécurité pour une multitude de cryptosystèmes post-quantiques dans le domaine …
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.