L'informatique

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

1
Théorie du type cubique pour les nuls?
J'ai lu un de ces articles populaires sur la théorie des types cubiques, mais pas étonnant que je ne puisse voir que des formules et des diagrammes sans être en mesure de les reconnaître du tout. Voici donc ce que je veux. Je veux une explication assez approfondie de la …
2
Récurrence
Remarque: ceci provient des notes d'Algorithmes de JeffE sur les récurrences, page 5. (1). Nous définissons donc la récurrenceT(n)=n−−√T(n−−√)+nT(n)=nT(n)+nT(n) = \sqrt{n}T(\sqrt{n})+nsans aucun cas de base. Maintenant, je comprends que pour la plupart des récidives, puisque nous recherchons des limites asymptotiques, le cas de base n'a pas d'importance. Mais dans ce …
2
Un ordinateur quantique pourrait-il effectuer une algèbre linéaire plus rapidement qu'un ordinateur classique?
Supposons que nous disposions d'un ordinateur quantique avec un nombre suffisant de qubits, pourrions-nous l'utiliser pour faire de l'algèbre linéaire plus rapidement qu'avec un ordinateur classique? À quel genre d'accélération pouvons-nous nous attendre? Quelqu'un a-t-il créé un algorithme quantique pour l'algèbre linéaire, et quel est son temps d'exécution? En théorie, …
2
GCD d'une paire de produits
J'ai deux nombres, qui sont chacun le produit d'un grand nombre de petits nombres que je connais. Je veux trouver le GCD (le plus grand commun diviseur) de ces deux nombres. Existe-t-il un moyen d'utiliser la factorisation partielle dont je dispose pour accélérer le processus? En particulier, chaque nombre plus …
1
J'ai construit un ordinateur mécanique alimenté par des billes. Quelles sont ses limites théoriques?
Au cours des deux dernières années, j'ai construit un ordinateur mécanique alimenté par des billes et en ai fait un jeu. Il est similaire à l'ancien Digi-Comp II, à l'exception de deux différences clés: Les pièces sont repositionnables sur la carte. Vous pouvez connecter plusieurs «bits» ensemble à l'aide d'engrenages. …
2
Relation entre la décidabilité de la vérification de type, la décidabilité de la typabilité et une forte normalisation
Yo! C'est probablement une question stupide, mais je ne l'ai jamais vu écrit explicitement si, par exemple, la décidabilité de la vérification de type est équivalente à la propriété de normalisation forte. Par conséquent, je pose cette question pour clarifier toutes les relations possibles entre la vérification de type, la …
2
Nom correct pour un analyseur de descente récursif qui utilise des boucles pour gérer la récursion gauche?
Cette grammaire est récursive: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Donc, en théorie, la descente récursive ne fonctionnera pas. Mais en …
2
À quoi ressemblerait une langue dans laquelle le GC précis pourrait être implémenté en tant que bibliothèque?
Supposons que vous disposiez d'un langage de programmation avec gestion manuelle de la mémoire. De quelles fonctionnalités ce langage a-t-il besoin pour pouvoir implémenter un ramasse-miettes précis en tant que bibliothèque, et non en tant que construction de langage fondamentale? Par un GC précis, je veux dire un où seuls …
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.