Informatique théorique

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

1
CTL * et mu-calcul
il est bien connu que le modal -calculusμμ\mu est l'une des logiques temporelles les plus expressives pour exprimer les propriétés des arbres / graphiques, et que CTL * est strictement moins expressif que le -calculus.μμ\mu Ici, je voudrais demander un exemple de formule -calculus, aussi simple que possible, qui ne …
1
Sur l'optimalité de l'algorithme de Grover avec une probabilité de réussite élevée
Il est bien connu que la complexité de la requête quantique d'erreur bornée de la fonction est Θ ( √O R ( x1, x2, … , Xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Maintenantla question est que si nous voulonsnotre algorithme quantique pour réussir à chaque entrée avecprobabilité1-εplutôt que l'habituel2/3. Maintenant, en termes deϵquelles seraient …
1
La théorie des types de Martin-Löf conduira-t-elle à une plus grande capacité à écrire du code prouvablement correct?
Cet article fait référence à l' isomorphisme de Curry-Howard et à la théorie des types de Martin-Löf . La publication revendique une future «unification» entre le langage descriptif des mathématiques et le langage opérationnel de la programmation informatique. Mes questions sont: Ces idées conduiront-elles à une meilleure capacité (à travers …
2
Résultats de complexité pour les fonctions récursives élémentaires inférieures?
Intrigué par la question intéressante de Chris Pressey sur les fonctions élémentaires-récursives , j'explorais davantage et je n'arrivais pas à trouver une réponse à cette question sur le web. Les fonctions récursives élémentaires correspondent bien à la hiérarchie exponentielle, .DTIME ( 2n) ∪ DTIME ( 22n) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) …
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.