L'informatique

7

Existe-t-il un lien entre le problème d'arrêt et l'entropie thermodynamique?

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 …

31 turing-machines halting-problem entropy

8

Est-ce un problème d'être un programmeur sans connaissance de la complexité informatique?

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 …

30 algorithms algorithm-analysis education applied-theory

4

Qu'est-ce qu'un chiffre asymétrique extrêmement basique que je peux présenter au pub?

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 asymétrique extrêmement simple que je peux utiliser comme …

30 cryptography

2

À quoi fait référence le «contexte» dans la «grammaire sans contexte»?

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 s'agissait. Quelqu'un …

30 terminology context-free formal-grammars

5

Signification de: «Si la factorisation de grands nombres entiers est difficile, alors la rupture de RSA est difficile» n'est pas prouvé »

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 …

30 cryptography

2

Quel est le lien entre la programmation réactive fonctionnelle et le modèle d'acteur?

FRP consiste à diffuser des événements et des comportements via des fonctions pures. Le modèle Actor - du moins, tel qu'il est implémenté dans Akka - consiste à diffuser des messages immuables (qui peuvent être considérés comme des événements discrets) à travers des objets potentiellement impurs, appelés acteurs. Donc, en …

30 distributed-systems functional-programming programming-paradigms

2

Comment les langages de programmation et les fondements des mathématiques sont-ils liés?

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 les fondements des mathématiques" avec le paragarphe ajouté de Et …

30 programming-languages history type-theory category-theory

2

Équivalence des automates de Büchi et du calcul linéaire

C'est un fait connu que chaque formule LTL peut être exprimée par un automate Büchi . Mais, apparemment, les automates Büchi sont un modèle expressif plus puissant. J'ai entendu quelque part que les automates Büchi sont équivalents au temps linéaire -calculus (c'est-à-dire -calculus avec les points fixes habituels et un …

30 logic automata formal-methods linear-temporal-logic buchi-automata

1

Théorème de Rice pour les propriétés non sémantiques

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 Turing qui …

30 computability undecidability

1

Tables de hachage versus arbres binaires

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 dictionnaires (ils les …

30 algorithms data-structures binary-trees hash-tables

6

Pourquoi les grammaires ambiguës sont-elles mauvaises?

Je comprends que s'il existe 2 ou plusieurs arbres de dérivation gauche ou droit, alors la grammaire est ambiguë, mais je ne peux pas comprendre pourquoi elle est si mauvaise que tout le monde veut s'en débarrasser.

30 compilers ambiguity

9

Expliquer la différence entre l'informatique et la maîtrise de l'informatique [clôturé]

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 …

30 terminology education

2

Quelle est la différence entre la MT quantique et la TM non déterministe?

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 …

30 computability turing-machines quantum-computing nondeterminism

2

Tous les arbres rouge-noir ne sont pas équilibrés?

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 qu'ils sont équilibrés en hauteur …

30 data-structures binary-trees search-trees

7

Différences et relations entre les algorithmes randomisés et non déterministes?

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 aléatoires comme entrée auxiliaire pour guider son comportement, dans …

30 algorithms terminology computation-models nondeterminism randomness