Ainsi, le problème de décision TSP (Traveling salesman problem) est NP complet . Mais je ne comprends pas comment je peux vérifier qu'une solution donnée à TSP est en fait optimale en temps polynomial, étant donné qu'il n'y a aucun moyen de trouver la solution optimale en temps polynomial (car le...
Alan Turing a proposé un modèle pour une machine (la Turing Machine, TM) qui calcule (nombres, fonctions, etc.) et a démontré le théorème de Halting . Une MT est un concept abstrait d'une machine (ou d'un moteur si vous le souhaitez). Le théorème de l'arrêt est un résultat impossible. Un moteur...
Par exemple, si l'ordinateur a 10111100stocké sur un octet particulier de RAM, comment l'ordinateur sait-il interpréter cet octet comme un entier, un caractère ASCII ou autre chose? Les données de type sont-elles stockées dans un octet adjacent? (Je ne pense pas que ce serait le cas car cela...
Pourquoi les ordinateurs utilisent-ils le système de nombres binaires (0,1)? Pourquoi n'utilisent-ils pas à la place le système numérique ternaire (0,1,2) ou tout autre système
Existe-t-il des calculs lambda typés complets de Turing? Si oui, quels sont quelques
Je viens de terminer le premier chapitre de l' introduction à la théorie du calcul de Michael Sipser qui explique les bases des automates finis. Il définit un langage régulier comme tout ce qui peut être décrit par un automate fini. Mais je n'ai pas pu trouver où il explique pourquoi une langue...
Quel serait le moyen le plus rapide de le faire (d'un point de vue algorithmique et pratique)? Je pensais à quelque chose dans le sens suivant. Je pourrais ajouter à la fin d'un tableau, puis utiliser des bullesort car il a un meilleur cas (tableau totalement trié au début) qui est proche de cela,...
J'essaie d'expliquer les bases du Bitcoin à mes parents. L'un des principaux composants du bitcoin est la signature de transactions pour s'assurer que votre identité ne peut pas être usurpée, et donc la nécessité d'expliquer un chiffrement asymétrique simplifié. Qu'est-ce qu'un chiffrement...
Le théorème de Rice nous dit que les seules propriétés sémantiques des machines de Turing (ie les propriétés de la fonction calculées par la machine) que nous pouvons décider sont les deux propriétés triviales (ie toujours vrai et toujours faux). Mais il existe d'autres propriétés des machines de...
Je passais par la discussion sur la question Comment définir les machines de Turing quantiques? et je sens que TM quantique et TM non déterministe sont une seule et même chose. Les réponses à l'autre question ne touchent pas à cela. Ces deux modèles sont-ils identiques? Sinon, Quelles sont les...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 5 ans . Qu'est-ce qu'une bonne métaphore ou un bon...
Quelles sont les différences et les relations entre les algorithmes randomisés et les algorithmes non déterministes? De Wikipédia Un algorithme randomisé est un algorithme qui utilise un degré d'aléatoire dans le cadre de sa logique. L'algorithme utilise généralement des bits uniformément...
Je lisais CLRS et on me dit: Si la factorisation de grands nombres entiers est facile, alors la rupture du cryptosystème RSA est facile. Ce qui a du sens pour moi car avec la connaissance de et , il est facile de créer la clé secrète que la connaissance de la clé publique. Cependant, cela explique...
Fondamentalement, je connais trois fondements des mathématiques Théorie des ensembles Théorie des types Théorie des catégories Alors, en quoi les langages de programmation et les fondements des mathématiques sont-ils liés? MODIFIER La question d'origine était "Langages de programmation basés sur...
Lors de la mise en œuvre d'un dictionnaire («Je souhaite rechercher les données client par leur identifiant client»), les structures de données typiques utilisées sont des tables de hachage et des arbres de recherche binaires. Je sais par exemple que la bibliothèque C ++ STL implémente des...
Je comprends la preuve de l'indécidabilité du problème d'arrêt (donnée par exemple dans le manuel de Papadimitriou), basée sur la diagonalisation. Bien que la preuve soit convaincante (j'en comprends chaque étape), elle n'est pas intuitive pour moi en ce sens que je ne vois pas comment quelqu'un la...
Intuitivement, les "arbres équilibrés" devraient être des arbres où les sous-arbres gauche et droit de chaque nœud doivent avoir "approximativement le même" nombre de nœuds. Bien sûr, lorsque nous parlons d'équilibrage des arbres rouge-noir * (voir définition à la fin), nous voulons en fait dire...
Il existe de nombreuses définitions en ligne sur ce qu'est une grammaire sans contexte, mais rien de ce que je trouve ne satisfait mon problème principal: De quel contexte est-il libre? Pour enquêter, j'ai recherché «grammaire contextuelle» sur Google, mais je n'ai toujours pas trouvé de quoi il...
On m'a assigné un exercice dans mon université. Je l'ai ramené chez moi et j'ai essayé de programmer un algorithme pour le résoudre, c'était quelque chose lié aux graphiques, trouver des composants connectés, je suppose. Ensuite, j'ai fait la chose la plus triviale qui me soit venue à l'esprit et...
Je voudrais énumérer tous les graphiques non dirigés de taille , mais je n'ai besoin que d'une instance de chaque classe d'isomorphisme . En d'autres termes, je veux énumérer tous les graphes non isomorphes (non dirigés) sur sommets. Comment puis-je faire ceci?nnnnnn Plus précisément, je veux un...