Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Un automate fini non déterministe (NDFA) peut-il être converti efficacement en automate fini déterministe (DFA) dans un espace / temps sous-exponentiel?
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 …

1
Séparations oraculaires entre les circuits quantiques poly et log-profondeur
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 …



3
Peut-on prouver une faible normalisation du système F par induction sur un ordinal transfini
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 …

2
Instances matérielles pour les tests d'isomorphisme de graphe
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 …

1
Problèmes liés à LogDCFL
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 …

1
Lecture sur
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 …



1
Obstacles à afficher
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 …
15 p-vs-np  barriers 

1
Est- que ?
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 ( …




En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.