J'entends souvent des gens parler d' informatique parallèle et d'informatique distribuée , mais j'ai l'impression qu'il n'y a pas de frontière claire entre les 2, et les gens ont tendance à confondre cela assez facilement, alors que je pense que c'est très différent: L' informatique parallèle est...
J'essaie d'écrire un script qui génère des graphiques aléatoires et j'ai besoin de savoir si une arête d'un graphique pondéré peut avoir la valeur 0. En fait, il est logique que 0 puisse être utilisé comme poids d’un bord, mais j’ai travaillé avec des graphiques ces derniers jours et je n’en ai...
Nous savons que le problème d’arrêt (sur les machines de Turing) est indécidable pour les machines de Turing. Y a-t-il des recherches sur la capacité de l'esprit humain à gérer ce problème, éventuellement avec l' aide de Turing Machines ou d'ordinateurs à usage général? Note : Évidemment, dans le...
Je pense avoir une compréhension raisonnable des complexités telles que , et .Θ ( n ) Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) En termes de liste, est une recherche constante, donc il ne fait que prendre la tête de la liste. est l'endroit où je parcourrais toute la...
Il existe de nombreuses applications dans lesquelles un générateur de nombres pseudo aléatoires est utilisé. Ainsi, les gens en implémentent un qu’ils jugent bon de constater plus tard qu’il est défectueux. Quelque chose comme cela s’est passé récemment avec le générateur de nombres aléatoires...
Si j'ai une liste de valeurs de clé allant de 1 à 100 et que je souhaite les organiser dans un tableau de 11 compartiments, on m'a appris à former une fonction mod H= k mod 11 H=kmod 11 H = k \bmod \ 11 Maintenant, toutes les valeurs seront placées les unes après les autres sur 9 lignes. Par...
Quelqu'un pourrait-il expliquer la différence entre les types dépendants et les types de raffinement? Si je comprends bien, un type de raffinement contient toutes les valeurs d’un type satisfaisant un prédicat. Existe-t-il une caractéristique des types dépendants qui les distingue? Si cela peut...
J'ai un programme linéaire entier (ILP) avec des variables destinées à représenter des valeurs booléennes. Les sont contraints d'être des entiers et de contenir 0 ou 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Je veux exprimer des opérations booléennes sur ces variables à valeur...
J'ai lu dans ce tutoriel de programmation d'assemblage que 8 bits sont utilisés pour les données et 1 bit pour la parité, qui est ensuite utilisée pour détecter une erreur de parité (provoquée par un défaut matériel ou une perturbation électrique). Est-ce
J'ai une compréhension de haut niveau du problème et je comprends que s'il était absolument "avéré" d'être vrai avec une solution fournie, cela ouvrirait la porte à la résolution de nombreux problèmes du domaine de l'informatique.P=NPP=NPP=NP Ma question est la suivante: si quelqu'un publiait une...
J'ai rencontré de nombreux algorithmes de tri au cours de mes études secondaires. Cependant, je ne sais jamais lequel est le plus rapide (pour un tableau aléatoire d'entiers). Donc mes questions sont: Quel est l'algorithme de tri le plus rapide actuellement connu? Théoriquement, est-il possible...
Existe-t-il un ensemble de constructions de langage de programmation dans un langage de programmation afin que celui-ci soit considéré comme Turing Complete? D'après ce que je peux dire sur wikipedia , la langue doit prendre en charge la récursion ou, apparemment, doit pouvoir fonctionner sans...
Je suis intéressé par la complexité temporelle d'un compilateur. De toute évidence, cette question est très compliquée car de nombreux compilateurs, options de compilateur et variables doivent être pris en compte. Plus précisément, je m'intéresse à LLVM mais je serais intéressé par toutes les idées...
Je conviens qu'une machine de Turing peut résoudre "tous les problèmes mathématiques possibles". Mais c’est parce qu’il ne s’agit que d’une représentation machine d’un algorithme: faites ceci en premier, puis faites-le, et enfin en sortie. Je veux dire que tout ce qui peut être résolu peut être...
Toutes les chaînes de code Morse sont-elles uniquement déchiffrables? Sans les espaces, ......-...-..---.-----.-..-..-.. pourrait être, Hello Worldmais peut-être que la première lettre est un 5- en fait, cela semble très improbable, une séquence arbitraire de points et de tirets devrait avoir une...
Les langages de programmation sûrs gagnent en popularité. Je me demande quelle est la définition officielle du PL en sécurité. Par exemple, C n'est pas sûr, mais Java est sûr. Je soupçonne que la propriété «safe» devrait être appliquée à une implémentation de PL plutôt qu'à la PL elle-même. Si tel...
Je connais le concept général de récursivité. Je suis tombé sur le concept de récursion de queue tout en étudiant l'algorithme Quicksort. Dans cette vidéo de l'algorithme de tri rapide du MIT à 18h30, le professeur dit qu'il s'agit d'un algorithme récursif de queue. La récursion de la queue n’est...
Les problèmes de sac à dos sont facilement résolus par une programmation dynamique. La programmation dynamique s'exécute en temps polynomial; c'est pourquoi nous le faisons, non? J'ai lu qu'il s'agit en réalité d'un problème NP-complet, ce qui voudrait dire que résoudre le problème en problème...
Je me suis toujours demandé pourquoi les processeurs s'arrêtaient à 32 registres. C'est de loin la pièce la plus rapide de la machine, pourquoi ne pas simplement faire de plus gros processeurs avec plus de registres? Cela ne signifierait-il pas moins d'aller à la
Dans le calcul quantique, quel est le modèle équivalent d'une machine de Turing? Il est tout à fait clair pour moi que les circuits quantiques puissent être construits à partir de portes quantiques, mais comment pouvons-nous définir une machine de Turing quantique (QTM) pouvant réellement...