L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

1
POSIX BRE peut-il exprimer toutes les langues régulières?
Il semble que les «expressions régulières de base» telles que définies par POSIX.1-2008 ne prennent pas en charge l'alternance a|b(bien que certaines implémentations grep reconnaissent la version échappée \|). Les langues régulières étant fermées par union par définition, cela signifie-t-il que POSIX BRE a moins de pouvoir expressif qu'un automate …
2
Les architectures de CPU sont-elles orientées vers les temps d'exécution procéduraux?
Y a-t-il des modifications qui pourraient être apportées aux processeurs pour les rendre plus performants pour des exécutions simultanées comme Rust? Par exemple, y a-t-il des changements dans les implémentations de prédiction de branche ou les tailles de cache qui pourraient aider les exécutions simultanées? J'ai l'impression que les conceptions …
2
Que gagnons-nous à avoir des «types dépendants»?
Je pensais avoir bien compris la saisie dépendante (DT), mais la réponse à cette question: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-intuitionistic-type-theory m'a fait penser le contraire. Après avoir lu sur DT et essayé de comprendre ce qu'ils sont, j'essaie de me demander, que gagnons-nous à cette notion de DT? Ils semblent être plus flexibles …
2
Prouver que DOUBLE-SAT est NP-complet
Le problème SAT bien connu est défini ici à titre de référence. Le problème DOUBLE-SAT est défini comme DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Comment pouvons-nous prouver qu'il est NP-complet? Plus …
2
Quand puis-je utiliser la programmation dynamique pour réduire la complexité temporelle de mon algorithme récursif?
La programmation dynamique peut réduire le temps nécessaire pour exécuter un algorithme récursif. Je sais que la programmation dynamique peut aider à réduire la complexité temporelle des algorithmes. Les conditions générales sont-elles telles que si elles sont satisfaites par un algorithme récursif, cela impliquerait que l'utilisation de la programmation dynamique …
3
Existe-t-il une machine abstraite capable de capturer la consommation d'énergie?
Lorsque l'on rapporte la complexité algorithmique d'un algorithme, on suppose que les calculs sous-jacents sont effectués sur une machine abstraite (par exemple RAM) qui se rapproche d'un processeur moderne. De tels modèles nous permettent de rendre compte de la complexité temporelle et spatiale des algorithmes. Maintenant, avec l'extension des GPGPU …
1
Quelle est la différence entre Set et Type dans Coq? [fermé]
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Computer Science Stack Exchange. Fermé il y a 2 ans . Les types AFAIU peuvent être un Setdont les éléments sont …
4
Pourquoi n'y a-t-il pas de permutation dans les regexes? (Même si les langues régulières semblent pouvoir le faire)
Le problème Il n'y a pas de moyen facile d'obtenir une permutation avec une expression régulière. Permutation: obtenir un mot ("aabc") dans un autre ordre, sans changer le nombre ou le type de lettres.w=x1…xnw=x1…xnw=x_1…x_n Regex: expression régulière. Pour vérification: "Permutations d'expression régulière sans répétition" La réponse crée du code JavaScript …
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.