L'informatique

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

1
Construire tous les langages sans contexte à partir d'un ensemble de langages de base et de propriétés de fermeture?
Une façon de regarder les expressions régulières est une preuve constructive du fait suivant: il est possible de construire les langages réguliers en commençant par un petit ensemble de langages et en les combinant via un petit ensemble fixe de propriétés de fermeture. Plus précisément, si nous commençons par la …
1
Pourquoi l'utilisation de l'hyper-threading peut entraîner une dégradation des performances
Je l'ai lu à divers endroits comme celui-ci , que l'hyper-threading entraîne une dégradation des performances. Je n'arrive pas à comprendre pourquoi ni comment l'hyper-threading conduit à la dégradation. Pourquoi est-ce que même lorsque l'hyper-threading permet au système d'exploitation d'utiliser des ressources libres, la dégradation se produit. Bien que les …
4
Couper des bâtons égaux de différents bâtons
Vous avez nnn bâtons de longueurs arbitraires, pas nécessairement intégrales. En coupant quelques bâtons (une coupe coupe un bâton, mais nous pouvons couper aussi souvent que nous le voulons), vous voulez obtenir k&lt;nk&lt;nk<n bâtons tels que: Tous ces kkk bâtons ont la même longueur; Tous les kkk sticks sont au …
1
Complexité d'un algorithme naïf pour trouver la plus longue sous-chaîne de Fibonacci
Étant donné deux symboles et , nous allons définir les -ème chaîne de Fibonacci comme suit:aa\text{a}bb\text{b}kkk F(k)=⎧⎩⎨baF(k−1)⋆F(k−2)if k=0if k=1elseF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) \star F(k-2) &\mbox{else} \end{cases} avec dénotant la concaténation de chaînes.⋆⋆\star Ainsi …
2
Interprétation combinatoire du lambda calcul
Selon Peter Selinger , le Lambda Calculus est algébrique (PDF). Au début de cet article, il dit: L'interprétation combinatoire du calcul lambda est connue pour être imparfaite, car elle ne satisfait pas à la règle ξξξ : selon l'interprétation, M=NM=NM = N n'implique pas λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, …
2
Est-ce que
Si alors la hiérarchie s'effondre à son deuxième niveau (par le théorème de Karp-Lipton). Mais qu'en est-il de N P et de c o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP J'ai essayé de prouver que est contenu dans N P (l'autre sens est trivial si R P = …
2
Arrêter le problème sans autoréférence
Dans le problème de l'arrêt, nous sommes intéressés s'il existe une machine Turing qui peut dire si une machine Turing donnée s'arrête ou non sur une entrée donnée . Habituellement, la preuve commence à supposer qu'un tel existe. Ensuite, nous considérons un cas où nous restreignons à lui-même, puis dérivons …
1
À quoi ressemblent les classes de complexité, si nous utilisons des réductions de Turing?
Pour raisonner sur des choses comme l'exhaustivité de NP, nous utilisons généralement plusieurs réductions (c.-à-d. Des réductions de Karp). Cela conduit à des images comme celle-ci: (sous conjectures standard). Je suis sûr que nous connaissons tous ce genre de choses. Quelle image obtenons-nous si nous travaillons avec des réductions Turing …
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.