L'informatique

10

Si la vitesse de charge électrique n'a pas changé, comment les ordinateurs sont-ils devenus plus rapides?

Tout le monde sait que la vitesse de calcul a considérablement augmenté depuis leur invention, et elle devrait continuer. Mais une chose me laisse perplexe: si vous faisiez passer un courant électrique dans un matériau, celui-ci voyagerait à la même vitesse que si vous le faisiez avec le même matériau …

48 computer-architecture

8

Comment prouver qu'une langue est régulière?

Il existe de nombreuses méthodes pour prouver qu'une langue n'est pas régulière , mais que dois-je faire pour prouver qu'une langue est régulière? Par exemple, si on me donne que est régulier, comment puis - je prouver que les éléments suivants L ' est régulière, aussi?LLLL′L′L' L′: = { W …

48 formal-languages regular-languages automata proof-techniques reference-question

2

Ordre de croissance définition de Reynolds & Tymann

Je lis un livre intitulé Principles of Computer Science (2008), de Carl Reynolds et Paul Tymann (publié par Schaum's Outlines). Le deuxième chapitre présente les algorithmes avec un exemple de recherche séquentielle qui itère simplement dans une liste de noms et renvoie VRAI si un nom donné est trouvé dans …

47 algorithms algorithm-analysis landau-notation notation

5

Pourquoi autant de protocoles Internet sont-ils basés sur du texte?

D'après ce que j'ai trouvé, une très grande quantité de protocoles qui voyagent sur Internet sont "basés sur du texte" plutôt que binaires. Les protocoles en question incluent, mais ne sont pas limités à HTTP, SMTP, FTP (je pense que celui-ci est entièrement basé sur du texte?), WHOIS, IRC. En …

47 computer-networks communication-protocols protocols

8

Comment les variables sont-elles stockées et extraites de la pile de programmes?

Toutes mes excuses par avance pour la naïveté de cette question. Je suis un artiste de 50 ans qui essaie de bien comprendre les ordinateurs pour la première fois. Alors voilà. J'ai essayé de comprendre comment les types de données et les variables sont gérés par un compilateur (dans un …

47 programming-languages memory-allocation

4

Pourquoi les arbres rouge-noir sont-ils si populaires?

Il semble que partout où je regarde, les structures de données sont mises en œuvre en utilisant des arbres rouges-noirs ( std::seten C ++, SortedDictionaryen C #, etc.) Après avoir couvert (a, b), les arbres rouge-noir et AVL dans mon cours d’algorithme, voici ce que j’ai dégagé (aussi en interrogeant …

46 data-structures search-trees applied-theory dictionaries balanced-search-trees

3

Pourquoi les humains peuvent-ils résoudre certains problèmes «indécidables»?

La correspondance de modèle d'ordre élevé est un problème indécidable. Cela signifie qu’il n’existe aucun algorithme qui, étant donné une équation a => b, où aet bsont des termes ouverts sur le calcul lambda simplement typé, trouve une substitution Stelle que aS => bS, où =>signifie «a la même forme …

46 computability

7

Spanning Tree vs le plus court chemin

Quelle est la différence entre l'algorithme minimum Spanning Tree et un algorithme de chemin le plus court? Dans ma classe de structures de données, nous avons traité deux algorithmes de spanning-tree minimum (Prim et Kruskal) et un algorithme de chemin le plus court (Dijkstra). Spanning Tree minimum est un arbre …

45 algorithms shortest-path spanning-trees

7

Y a-t-il quelque chose qui DOIT être fait sur un processeur multicœur?

En considérant à quel point notre programme doit être convivial pour les multi-threads, mon équipe se demanda si quelque chose ne pouvait absolument pas être fait sur un processeur monocœur. J'ai posé comme principe que le traitement graphique nécessite un traitement extrêmement parallèle, mais ils affirment que des opérations telles …

45 computation-models cpu multi-tasking

5

Pourquoi la recherche sur les algorithmes génétiques a-t-elle ralenti?

Tout en discutant de certains sujets de niveau d’introduction aujourd’hui, y compris l’utilisation d’algorithmes génétiques; On m'a dit que la recherche avait vraiment ralenti dans ce domaine. La raison donnée est que la plupart des gens se concentrent sur l'apprentissage automatique et l'exploration de données. Mise à jour: Est-ce exact? …

45 machine-learning data-mining evolutionary-computing history

2

Trouvez médiane de tableau non trié dans

Pour trouver la médiane d'un tableau non trié, nous pouvons créer un min-tas en fois pour éléments, puis extraire un par un éléments pour obtenir la médiane. Mais cette approche prendrait temps.n n / 2 O ( n log n )O ( n logn )O(nbûche⁡n)O(n\log n)nnnn / 2n/2n/2O ( n …

45 algorithms time-complexity

2

Comment le combinateur Y illustre-t-il «l'incohérence du calcul Lambda»?

Sur la page Wikipedia pour les combinateurs à point fixe est écrit le texte plutôt mystérieux Le combinateur Y est un exemple de ce qui rend le calcul Lambda incohérent. Donc, il devrait être considéré avec suspicion. Cependant, il est prudent de considérer le combinateur Y lorsqu'il est défini uniquement …

44 lambda-calculus combinatory-logic

3

Le plus long chemin dans un arbre non dirigé avec un seul parcours

Il existe cet algorithme standard pour rechercher le plus long chemin dans les arbres non dirigés à l'aide de deux recherches en profondeur: Démarrez DFS à partir d'un sommet aléatoire et recherchez le sommet le plus éloigné. disons qu'il est .v ′vvvv′v′v' Maintenant, démarrez un DFS à partir de pour …

44 algorithms graphs trees

2

Quelle est la signification de

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology asymptotics mathematical-analysis landau-notation

2

Détermination des capacités des machines à états min-tas (ou autres exotiques)

Reportez-vous à la fin de cet article pour obtenir des éclaircissements sur la définition des automates min-tas. On peut imaginer utiliser diverses structures de données pour stocker des informations destinées à être utilisées par des machines à états. Par exemple, les automates déroulants stockent des informations dans une pile et …

44 formal-languages automata