Cette question concerne la page 125 du livre "Les automates cellulaires dans les espaces hyperboliques: Volume 2" de Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 De l'avis de l'auteur, la question P = NP est mal posée car dans le contexte hyperbolique P = NP ou dans la notation utilisée …
J'ai pensé à une variante d' hex , où au lieu que les deux joueurs effectuent des mouvements alternativement, chaque tour un joueur choisi au hasard fait un mouvement. Est-il difficile de déterminer les chances de chaque joueur de gagner? Ce problème est évidemment dans PSPACE, mais ne peut pas …
Nisan a prouvé dans "Générateurs aléatoires pour le calcul délimité par l'espace", qu'il existe un générateur pseudo-aléatoire qui "trompe" les calculs délimités par l'espace. Cette construction est-elle valable pour chaque oracle (au moins pour les requêtes non adaptatives)?
Supposons que l'on nous donne une matrice n par n, M, avec des entrées entières. Peut-on décider dans P s'il existe une permutation telle que pour toutes les permutations π ≠ σ on a Π M i σ ( i ) ≠ Π M i π ( i ) ?σσ\sigmaπ≠ …
Contexte : Dans le document UGC original de Subhash Khot ( PDF ), il prouve la dureté UG de décider si une instance CSP donnée avec des contraintes toutes de la forme Pas-tout-égal (a, b, c) sur un alphabet ternaire admet une affectation satisfaisante 1 - des contraintes ou s'il …
Le problème de l'automorphisme libre à points fixes demande un automorphisme de graphe qui déplace au moins k ( n ) nœuds. Le problème est N P -complet si k ( n ) = n c pour tout ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. Cependant, si alors le problème est le temps polynomial …
Une lacune que j'ai toujours su que je ne comprends pas vraiment est entre la complexité de calcul non uniforme et uniforme où la complexité du circuit représente la version non uniforme et les machines de Turing où les choses sont uniformes. Je suppose que "uniforme" est un moyen de …
Le célèbre Picture of The World de Neil Immerman est le suivant (cliquez pour agrandir): Sa classe "Vraiment faisable" ne comprend aucune autre classe; ma question est alors: Qu'est-ce qu'un problème AC 0 considéré comme peu pratique et pourquoi?
Le problème suivant apparaît dans la liste d'Aaronson Dix demi-grands défis pour la théorie de l'informatique quantique . Est-ce que BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} En d'autres termes, la partie "quantique" de n'importe quel algorithme quantique peut-elle être compressée à profondeur, à condition que nous soyons prêts à faire du classique polynomial post-traitement? (Ceci …
LogCFL est l'ensemble de toutes les langues qui sont réductibles en espace de journalisation en une langue sans contexte. De même, LogDCFL est l'ensemble de toutes les langues qui sont un espace de journalisation réductible à une langue déterministe sans contexte. Consultez cet article de wikipedia pour certains problèmes naturels …
Que dois-je lire pour comprendre ce problème? La puissance des circuits quantiques de faible profondeur. Est-ce que ? En d'autres termes, la partie "quantique" de tout algorithme quantique peut-elle être compressée à la profondeur du polylogue (n), à condition que nous soyons prêts à effectuer un post-traitement classique en temps …
Je m'attends à ce que la réponse soit non, mais je n'ai pas pu réellement construire un contre-exemple. La différence est que dans , nous pourrions ne pas être en mesure de choisir uniformément un algorithme dans ε .∩ ε > 0 D T I M E ( O ( …
J'étudie un problème difficile pour la classe des formules booléennes quantifiées avec un nombre logarithmique d'alternances des quantificateurs. Un problème dans cette classe ressemblerait à: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)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 Où alogn=nalogn=na_{\log n} = n , et FFF …
Quels sont quelques exemples majeurs de dérandomisation réussie ou du moins de progrès dans la démonstration de preuves concrètes vers l' objectif (pas la connexion de dureté aléatoire)?P= BPPP=BPPP=BPP Le seul exemple qui me vient à l'esprit est le test de primalité polynomiale déterministe AKS (même pour cela, il y …
Sous une forme simple: Un automate fini bidirectionnel peut-il reconnaître des graphes en vertex contenant un triangle avec des états ?vvvo ( v3)o(v3)o(v^3) Détails D' un intérêt ici sont graphiques de -vertex codées en utilisant une séquence de bords, chaque bord étant une paire de sommets distincts de .vvv{ 0 …
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.