La virgule flottante actuelle (flottant C ANSI, double) permet de représenter une approximation d'un nombre réel. Existe-t-il un moyen de représenter des nombres réels sans erreur ? Voici une idée que j'ai eue, qui est tout sauf parfaite. Par exemple, 1/3 est 0.33333333 ... (base 10) ou o.01010101...
Supposons que je vous donne un graphique non orienté avec des bords pondérés, et que je vous dise que chaque nœud correspond à un point dans l'espace 3D. Chaque fois qu'il y a une arête entre deux nœuds, le poids de l'arête est la distance entre les points. Votre objectif est de reconstruire les...
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...
É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)...
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,...
Il y a un jeu de livre de puzzle classique très similaire à un puzzle de mots croisés, sauf qu'une liste de mots est donnée, puis un tableau carré composé de carrés d'unité est donné, avec quelques carrés noircis comme un mot croisé, et certains carrés contiennent déjà une lettre pré-écrite. Le but...
Je travaille avec un algorithme de correspondance de motifs qui génère un automate à états finis acyclique qui accepte une chaîne de texte donnée et toutes ses sous-chaînes. L'algorithme FSA est exécuté sur une représentation symbolique d'un flux musical (par exemple, des données MIDI). Le flux...
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...
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...
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
Il a été prouvé que le problème de décider si une entrée est un palindrome ou non nécessite un espace sur une machine de Turing. Cependant, même le stockage de l'entrée prend de l'espace cela ne signifie-t-il pas que toutes les machines Turing nécessitent de l'espace ?Ω ( logn...
J'étudie le pire cas d'exécution de quicksort à la condition qu'il ne fasse jamais une partition très déséquilibrée pour différentes définitions de très . Pour ce faire, je me pose la question de savoir quel serait le runtime dans le cas où quicksort arrive toujours à partitionner en une fraction...
Quelqu'un peut-il m'éclairer pourquoi un analyseur de descente récursive avec retour arrière qui essaie les productions et (dans cet ordre) ne reconnaît pas le langage formé par la grammaire .S→ un SuneS→uneSuneS \rightarrow aSaS→ a aS→uneuneS \rightarrow aaS→ un Sa | a a S→uneSune | uneuneS...
J'essaie de comprendre comment les arbres indexés binaires (arbres fenwick) peuvent être modifiés pour gérer à la fois les requêtes de plage et les mises à jour de plage. J'ai trouvé les sources suivantes: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/...
Je cherchais ici , et j'ai remarqué que le meilleur temps d'exécution pour la multiplication de deux nombres à bits est , mais je peux facilement remarquer un algorithme qui s'exécute dans .nnnO(n⋅logn⋅2O(log∗n)O(n⋅logn⋅2O(log∗n)O(n\cdot \log n \cdot 2^{O(\log^* n)}O(n⋅logn)O(n⋅logn)O(n\cdot...
Je me demande, existe-t-il une méthode d'analyse automatique de l'exécution qui fonctionne au moins sur un sous-ensemble pertinent d'algorithmes (algorithmes pouvant être analysés)? Je googlé « Analyse de l' algorithme automatique » qui m'a donné ce mais il est MATHY aussi. Je veux juste un exemple...
L'algorithme de Dijkstra est-il utilisé dans les systèmes modernes de recherche d'itinéraire tels que Google Maps ou le GPS dans votre voiture? Sinon, qu'est-ce que
Je recherchais une programmation dynamique et j'ai lu ce qui suit: Souvent, lorsque vous utilisez une méthode plus naïve, de nombreux sous-problèmes sont générés et résolus plusieurs fois. Qu'est-ce qu'une méthode
En lisant un article décrivant les différences entre OO et la programmation fonctionnelle, je suis tombé sur des pointeurs de fonction. Cela fait un moment que je n'ai pas obtenu mon diplôme en informatique (2003) et j'ai donc cherché des pointeurs pour rafraîchir ma mémoire. Les pointeurs sont des...
Je comprends que les arbres du segment peuvent être utilisés pour trouver la somme de tableau sous de . Et que cela peut se faire en temps selon le tutoriel ici .O ( log n )UNEAAO (logn )O(logn)\mathcal{O}(\log n) Cependant, je ne suis pas en mesure de prouver que le temps d'interrogation est bien...