Je cherche des explications sur la façon dont on pourrait prouver que deux modèles de calcul sont équivalents. J'ai lu des livres sur le sujet, sauf que les preuves d'équivalence sont omises. J'ai une idée de base sur ce que cela signifie pour deux modèles de calcul d'être équivalents (la vue des...
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é l'année dernière . Droit au but: je voudrais vraiment...
J'enseigne l'informatique à des jeunes de 18 ans. Après avoir expliqué la notation polonaise inversée, on a demandé pourquoi elle était suffisamment importante pour être soumise à l'examen public. J'ai expliqué l'importance historique des calculatrices des années 70, mais cela n'a pas vraiment...
Voici le problème. Étant donné , où chaque . Existe-t-il un sous-ensemble dont la taille est au plus telle que pour tout ? J'essaie de réduire ce problème à SAT. Mon idée d'une solution serait d'avoir une variable pour chacun de 1 à . Pour chaque , créez une clause si . Ensuite et toutes ces...
Je suis un étudiant universitaire et nous étudions actuellement le lambda calcul. Cependant, j'ai encore du mal à comprendre exactement pourquoi cela est utile pour moi. Je me rends compte que si vous faites beaucoup de programmation fonctionnelle, cela pourrait être utile, mais je pense que ce...
Le problème de sous-ensemble est un problème classique NP-complet: Étant donné une liste de nombres et un cible , y a-t-il un sous-ensemble de nombres de qui se résume à ?LLLL kkkkLLLkkk Un étudiant m'a demandé si cette variante du problème appelé problème de "produit de sous-ensemble" est...
Existe-t-il une structure de données qui gère une collection d'ensembles (d'ensembles de sols finis) prenant en charge les opérations suivantes? Tout temps de fonctionnement sublinéaire sera apprécié? Initiez un ensemble vide. Ajoutez un élément à un ensemble. Étant donné deux ensembles, indiquez...
Après avoir appris Haskell et d'autres langages de FP pas si purs, j'ai décidé de lire sur la théorie des catégories. Après avoir acquis une bonne compréhension de la théorie des catégories, j'ai commencé à réfléchir à la façon dont les concepts de la théorie des catégories peuvent être utilisés...
Une motivation possible pour étudier les classes de complexité de calcul est de comprendre la puissance de différents types de ressources de calcul (caractère aléatoire, non-déterminisme, effets quantiques, etc.). Si nous le regardons sous cet angle, il semble que nous pouvons obtenir un axiome...
Je veux savoir quel algorithme est le plus rapide pour la multiplication de deux nombres à n chiffres? La complexité de l'espace peut être détendue
Supposons que l'on vous donne une pièce équitable et que vous souhaitez simuler la distribution de probabilité de lancer à plusieurs reprises un dé équitable (à six faces). Mon idée initiale est que nous devons choisir des entiers appropriés , tels que 2 k = 6 m . Ainsi, après avoir retourné la...
Dans certains endroits du monde, les gens n'ont généralement pas accès (et donc peu de connaissances) aux ordinateurs, et même s'ils en ont, le matériel et les logiciels sont obsolètes et leur utilisation est en proie à des pannes de courant et autres. L'accès aux (bons) livres a également tendance...
En mathématiques, il existe de nombreuses preuves d'existence non constructives, nous savons donc qu'un certain objet existe bien que nous ne sachions pas comment le trouver. Je recherche des résultats similaires en informatique. En particulier: y a-t-il un problème que nous pouvons prouver qu'il...
Lorsque l'on considère les modèles de calcul des machines, la hiérarchie de Chomsky est normalement caractérisée par (dans l'ordre), les automates finis, les automates déroulants, les automates liés linéaires et les machines de Turing. Pour le premier et le dernier niveau 1 (langages réguliers et...
J'ai récemment entendu une analogie intéressante qui déclare que la preuve de Turing de l'indécidabilité du problème d'arrêt est très similaire au paradoxe du barbier de Russell. Je me suis donc demandé: les mathématiciens ont finalement réussi à rendre la théorie des ensembles cohérente en passant...
Comment pourrais-je exprimer une porte ET en utilisant uniquement des portes
D'après ce que j'ai vu sur l'utilisation d'une paire de clés publiques et privées, la clé publique est utilisée pour crypter un message et la clé privée est utilisée pour décrypter le message crypté. Si un message est chiffré par la clé privée, peut-il être déchiffré par la clé publique...
Je viens de rencontrer la chose suivante: j'ai mis plusieurs copies identiques d'une image png dans un dossier, puis j'ai essayé de compresser ce dossier avec les méthodes suivantes: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz...
Un tableau ou un vecteur n'est qu'une séquence de valeurs. Ils peuvent sûrement être mis en œuvre avec une liste chaînée. Ce n'est qu'un groupe de nœuds avec des pointeurs vers le nœud suivant. Les piles et les files d'attente sont deux types de données abstraits couramment enseignés dans les cours...
Pour formuler la question, en informatique, nous voulons souvent calculer le produit de plusieurs probabilités: P(A,B,C) = P(A) * P(B) * P(C) L'approche la plus simple consiste simplement à multiplier ces nombres, et c'est ce que j'allais faire. Cependant, mon patron a dit qu'il valait mieux...