Questions marquées «terminology»

questions sur les définitions, les termes et les noms communs en informatique théorique.

6
Les expressions régulières ne sont pas
Demandez même à une personne ayant une formation en informatique ce qu’est une expression régulière et la réponse ira probablement au-delà de la contrainte d’être à la portée d’un automate à états finis. Par exemple, l'expression «expression régulière» /^1?$|^(11+?)\1+$/ créé par une personnalité notée de Perl, Abigail (et faisant partie …
1
Problème de satisfaction de contrainte (CSP) vs théorie modulo de satisfiabilité (SMT); avec une coda sur la programmation par contraintes
Quelqu'un ose-t-il tenter de clarifier quelle est la relation de ces domaines d'études ou peut-être même donner une réponse plus concrète au niveau des problèmes? Comme qui comprend qui en supposant certaines formulations largement acceptées. Si j'ai bien compris, lorsque vous passez de SAT à SMT, vous entrez essentiellement dans …
3
Y a-t-il un nom pour «des choses physiques à partir desquelles on peut construire une machine de Turing»?
L'une des choses étonnantes de l'informatique est que l'implémentation physique est en quelque sorte «hors de propos». Les gens ont réussi à construire des ordinateurs à partir de plusieurs substrats différents - relais, tubes à vide, transistors discrets, etc. Les gens pourraient bientôt réussir à construire des ordinateurs Turing-complets à …
2
La résolution propositionnelle est-elle un système de preuve complet?
Cette question concerne la logique propositionnelle et toutes les occurrences de «résolution» doivent être lues comme «résolution propositionnelle». Cette question est quelque chose d'extrêmement basique mais cela me dérange depuis un moment. Je vois des gens affirmer que la résolution propositionnelle est complète mais je vois aussi des gens affirmer …
4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …
1
Comment un problème peut-il être en NP, être NP-dur et non NP-complet?
Pendant longtemps, j'ai pensé qu'un problème était NP-complet s'il était à la fois (1) NP-dur et (2) en NP. Cependant, dans le célèbre article "La méthode ellipsoïde et ses conséquences dans l'optimisation combinatoire" , les auteurs affirment que le problème du nombre chromatique fractionnaire appartient à NP et est NP-difficile, …
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.