J'essayais d'expliquer à quelqu'un que C est Turing-complet et je me suis rendu compte que je ne savais pas si c'était techniquement Turing-complet. (C comme dans la sémantique abstraite, pas comme dans une implémentation réelle.) La réponse "évidente" (en gros: elle peut traiter une quantité de...
J'ai utilisé la technique de la programmation dynamique à plusieurs reprises, mais aujourd'hui, un ami m'a demandé comment je définissais mes sous-problèmes. Je me suis rendu compte que je n'avais aucun moyen de fournir une réponse formelle objective. Comment définissez-vous formellement un...
Existe-t-il des machines théoriques dépassant les capacités des machines de Turing dans au moins certaines
Le Twister Mersenne est largement considéré comme bon. Heck, la source CPython dit qu’il est "l’un des générateurs les plus testés du monde". mais qu'est ce que ça veut dire? Quand on me demande de lister les propriétés de ce générateur, la plupart de ce que je peux offrir est mauvais: Il est...
Je poursuis des études de baccalauréat en informatique, mais je n’en suis qu’à un stade précoce, et je suis convaincu que je serai heureux de mon choix, car cela me semble être une formation souple sur le plan académique et professionnel. Cela dit, il semble y avoir une variété de définitions sur...
Supposons qu'un ordinateur possède une horloge précise qui n'est pas initialisée. C'est-à-dire que l'heure sur l'horloge de l'ordinateur est le temps réel plus un décalage constant. L'ordinateur est équipé d' une connexion réseau et nous voulons utiliser cette connexion pour déterminer le décalage...
La complexité de l'algorithme est conçue pour être indépendante des détails de niveau inférieur, mais elle est basée sur un modèle impératif, par exemple, l'accès au tableau et la modification d'un nœud dans une arborescence prennent un temps O (1). Ce n'est pas le cas dans les langages...
Il y a longtemps, j'ai lu un article de journal dans lequel un professeur avait déclaré qu'il serait possible à l'avenir de compresser des données en deux bits (ou quelque chose du genre). Ceci n’est bien sûr pas correct (et il se pourrait que ma mémoire de ce qu’il a dit n’est pas exacte)....
Pourquoi une entreprise comme Twitter serait-elle intéressée par les concepts algébriques tels que les groupes, les monoïdes et les anneaux? Voir leur dépôt sur github: twitter / algebird . Tout ce que j'ai pu trouver c'est: Implémentations de Monoids pour des algorithmes d'approximation...
Je sais comment coder des factorielles en utilisant à la fois des méthodes itératives et récursives (par exemple, n * factorial(n-1)par exemple). J'ai lu dans un manuel (sans autre explication) qu'il existe un moyen encore plus efficace de coder des factorielles en les divisant de manière...
Cette idée m'est venue en tant qu'enfant apprenant à programmer et rencontrant pour la première fois les PRNG. Je ne sais toujours pas à quel point c'est réaliste, mais maintenant, il y a échange de pile. Voici un schéma de 14 ans pour un algorithme de compression incroyable: Prenez un PRNG et...
Je suis un ingénieur en logiciel et après une discussion avec des collègues, j'ai réalisé que je ne maîtrisais pas bien la sérialisation du concept. Si je comprends bien, la sérialisation est le processus de conversion d'une entité, telle qu'un objet dans la POO, en une séquence d'octets, de sorte...
J'ai entendu le mot "hash" utilisé dans différents contextes (tous dans le monde de l'informatique) avec différentes significations. Par exemple, dans le livre Apprendre Python à la dure, dans le chapitre consacré aux dictionnaires, il est dit "Python les appelle" dicts. "D'autres langues les...
Supposons qu’un programme soit écrit en deux langues distinctes, qu’il s’agisse de la langue X et de la langue Y, si leurs compilateurs génèrent le même code octet, pourquoi devrais-je utiliser la langue X au lieu de la langue Y? Qu'est-ce qui définit qu'une langue est plus rapide qu'une autre? Je...
Un ramasse-miettes générationnel typique conserve les données récemment allouées dans une région de mémoire distincte. Dans le cadre de programmes classiques, de nombreuses données sont de courte durée. Par conséquent, la collecte fréquente de jeunes déchets (un cycle mineur de GC) et la collecte...
Résumé: Selon le théorème de Rice, tout est impossible. Et pourtant, je fais ce truc soi-disant impossible tout le temps! Bien entendu, le théorème de Rice ne dit pas simplement "tout est impossible". Il dit quelque chose d'assez plus spécifique: "Chaque propriété d'un programme informatique est...
Je lis actuellement un livre (et beaucoup de wikipedia) sur la physique quantique et je n'ai pas encore compris comment un ordinateur quantique peut être plus rapide que les ordinateurs que nous avons aujourd'hui. Comment un ordinateur quantique peut-il résoudre un problème en temps sub-exponentiel...
Appelons un langage déterministe sans contexte si et seulement si il peut être accepté par un automate push-down déterministe, et non déterministe autrement. Appelons un langage dépourvu de contexte intrinsèquement ambigu si et seulement si toutes les grammaires sans contexte qui génèrent le...
Je me suis penché sur le calcul derrière la conversion d'une base à une autre. Il s’agit plus de confirmer mes résultats que d’autre chose. J'ai trouvé ce qui semble être ma réponse sur mathforum.org mais je ne suis toujours pas sûr d'avoir bien compris. J'ai la conversion d'une base plus grande à...
Des excuses sont peut-être justifiées pour avoir posé une autre question sur les conditions préalables, mais j'étais confus quant aux points de départ. Je suis tombé sur divers termes tels que "Logique modale", "Logique temporelle", "Logique du premier ordre", "Logique du second ordre" et "Logique...