Il y a vingt ans, j'ai construit un package d'expressions régulières qui comprenait des conversions d'expressions régulières vers une machine à états finis (DFA) et pris en charge une multitude d'opérations d'expressions régulières fermées (Kleene star, concatenation, reverse, set operations, etc.). Je n'étais pas sûr des performances les plus défavorables …
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 …
Toute langue qui n'est pas complète de Turing ne peut pas écrire elle-même un interprète. Je n'ai aucune idée de l'endroit où je l'ai lu, mais je l'ai vu utilisé à plusieurs reprises. Il semble que cela donne lieu à une sorte de langage complet «ultime» non Turing; celui (s) …
Existe-t-il des applications pratiques pour les modèles de programmation autres que von Neumann? Quels sont les langages de programmation non von Neumann les plus largement adoptés?
Une faible normalisation pour le calcul lambda typé simple peut être prouvée (Turing) par induction sur . Un calcul lambda étendu avec des récurseurs sur les nombres naturels (Gentzen) a une stratégie de normalisation faible par induction sur .ϵ 0ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Qu'en est-il du système F (ou plus faible)? Existe-t-il une …
Le cas des graphiques fortement réguliers est-il le plus difficile à tester GI? où "le plus dur" est utilisé dans un sens "commun", ou "en moyenne", pour ainsi dire. Wolfram MathWorld mentionne quelques "graphiques pathologiquement durs". Que sont-ils? Mon échantillon de 25 paires de graphiques: http://funkybee.narod.ru/graphs.htm J'ai testé beaucoup d'autres …
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 …
Existe-t-il des exemples intéressants d'algorithmes qui ont été publiés avec des limites prouvées et où des limites strictement meilleures ont été publiées par la suite? Pas de meilleurs algorithmes avec de meilleures limites - c'est évidemment ce qui est arrivé! Mais une meilleure analyse conduisant à une meilleure limite sur …
Dans "Quantum Computation and Quantum Information" de Mike et Ike, l'algorithme de Grover est expliqué en détail. Cependant, dans le livre, et dans toutes les explications que j'ai trouvées en ligne pour l'algorithme de Grover, il ne semble pas y avoir de mention de la façon dont l'Oracle de Grover …
Nous savons tous que montrer a des barrières. Nous avons tous étudié ces barrières parce que nous croyons .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Cependant, supposez et il y a des gens sages qui croient que cette possibilité existe . Si c'est effectivement le cas, le fait même que nous n'ayons pas vu …
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'ai posé cette question il y a 10 jours sur cs.stackexchange ici mais je n'ai pas eu de réponse. Dans un article très célèbre (dans la communauté des réseaux), Wang et Crowcroft présentent des résultats de complétion du calcul de chemin sous plusieurs contraintes additives / multiplicatives. Le premier problème …
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.