L'informatique

J'étudie les CPU et je sais comment il lit un programme de la mémoire et exécute ses instructions. Je comprends également qu'un système d'exploitation sépare les programmes dans les processus, puis alterne entre chacun si rapidement que vous pensez qu'ils s'exécutent en même temps, mais en fait, chaque programme s'exécute …

32 operating-systems 

Si quelque chose est simple, alors il devrait être complètement explicable en quelques mots. Cela peut être fait pour le λ-calcul: Le λ-calcul est une grammaire syntaxique (fondamentalement, une structure) avec une règle de réduction (ce qui signifie qu'une procédure de recherche / remplacement est appliquée à plusieurs reprises à …

32 functional-programming  type-theory 

Ce programme de 579 bits dans le calcul binaire Lambda a un état d'arrêt inconnu: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Autrement dit, on ne sait pas si ce programme se termine ou non. Pour le déterminer, vous devez résoudre la conjecture de Collatz - ou, au moins, …

32 algorithms  computability  kolmogorov-complexity 

Je cherche de l'aide pour comprendre l'algorithme de détection de cycle de Floyd. J'ai parcouru l'explication sur wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Je peux voir comment l'algorithme détecte le cycle en temps O (n). Cependant, je ne peux pas visualiser le fait qu'une fois que les pointeurs de tortue et de …

32 algorithms  linked-lists 

Existe-t-il des calculs lambda typés complets de Turing? Si oui, quels sont quelques exemples?

31 computability  lambda-calculus  type-theory 

Supposons que et b 1 b 2 … b n sont deux chaînes de même longueur. Une anagrammation de deux chaînes est une cartographie bijective p : [ 1 … n ] → [ 1 … n ] telle que a i = b p ( i ) pour chaque …

31 algorithms  strings  search-algorithms  natural-language-processing 

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 …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Disons que je dois simuler la distribution discrète suivante: P( X= k ) = { 12N,1 - 12N,si k = 1si k = 0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} La façon la …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

J'apprends les arbres radix (alias essais compressés) et Patricia essaie, mais je trouve des informations contradictoires sur la question de savoir si elles sont réellement les mêmes. Un arbre de base peut être obtenu à partir d'un trie normal (non compressé) en fusionnant les nœuds avec leurs parents lorsque les …

31 data-structures  trees 

Je me demande s'il existe un bon exemple pour un problème NP-difficile facile à comprendre qui n'est pas NP-complet et non indécidable? Par exemple, le problème d'arrêt est NP-Hard, pas NP-Complete, mais il est indécidable. Je crois que cela signifie que c'est un problème pour lequel une solution peut être …

31 complexity-theory  computability  np-hard 

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 …

31 complexity-theory  np-complete  traveling-salesman 

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 entraînerait l'utilisation …

31 memory-hardware  memory-access  type-checking 

J'ai du mal à comprendre intuitivement pourquoi PSPACE est généralement considéré comme différent d'EXPTIME. Si PSPACE est l'ensemble des problèmes résolubles dans le polynôme spatial dans la taille d'entrée f(n)f(n)f(n) , alors comment peut-il y avoir une classe de problèmes qui subissent une plus grande explosion de temps exponentielle et …

31 complexity-theory  complexity-classes  intuition 

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 numérique?

31 computer-architecture  binary-arithmetic 

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 …

31 algorithms  efficiency  arrays  sorting