En tant qu'éducateur CS de niveau universitaire, la question du langage de programmation à enseigner dans le premier cours de programmation fait souvent l'objet de discussions. Il y a des milliers de langues parmi lesquelles choisir, et beaucoup de fièvre religieuse (ou fièvre) supportant un camp...
En théorie des automates, nous lisons tous les automates comme des automates finis, depuis le tout début. Ce que je veux savoir, c'est pourquoi les automates sont-ils finis? Pour être clair, qu'est-ce qui est fini dans un automate - l'alphabet, le langage, les chaînes faites avec des expressions...
La programmation linéaire (LP) est en P et la programmation entière (IP) est NP-difficile. Mais comme les ordinateurs ne peuvent manipuler les nombres qu’avec une précision finie, un ordinateur utilise en pratique des entiers pour la programmation linéaire. Pour cette raison, LP et IP ne...
Supposons que j'ai une liste de fonctions, par exemple nloglog(n),2n,n!,n3,nlnn,…nloglog(n),2n,n!,n3,nlnn,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Comment puis-je les trier asymptotiquement, c'est-à-dire après la relation définie par f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f...
Je suis novice dans la compréhension des algorithmes informatiques. Je comprends le processus de recherche binaire, mais j'ai un léger malentendu avec son efficacité. Dans une taille de éléments, il faudrait en moyenne étapes pour trouver un élément particulier. En prenant le logarithme en base 2...
Classiquement, il y a 3 façons populaires de penser au calcul: la machine de Turing, les circuits et le lambda-calcul (je l'utilise comme un tout pour la plupart des vues fonctionnelles). Tous les trois ont été des moyens fructueux de réfléchir à différents types de problèmes, et différents...
J'ai du mal à trouver de bonnes ressources qui donnent le pire des cas en place stable algorithme de tri. Est-ce que quelqu'un connaît de bonnes ressources?O ( n lnn )O(nlnn)O(n \ln n) Juste un rappel, en place signifie qu’il utilise le tableau transmis et que l’algorithme de tri n’est autorisé...
Je sais qu'Idris a des types dépendants mais n'est pas complet. Que peut-il ne pas faire en abandonnant la complétude de Turing, et est-ce lié à avoir des types dépendants? Je suppose que cette question est assez spécifique, mais je ne connais pas énormément les types dépendants et les systèmes de...
Voici le pseudocode standard pour la première recherche en largeur: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Ici pushet popsont supposés être des...
Selon Wikipedia : L'entropie de Shannon mesure les informations contenues dans un message par opposition à la partie du message qui est déterminée (ou prévisible). Des exemples de ces derniers incluent la redondance dans la structure du langage ou les propriétés statistiques relatives aux...
La plupart d'entre nous ont appris la programmation à l'aide de langages de programmation "textuels" tels que Basic, C / C ++ et Java. Je crois qu'il est plus naturel et efficace pour les humains de penser visuellement. La programmation visuelle permet aux développeurs d’écrire des programmes en...
Je comprends que la "structure" des données dépend totalement de l’algèbre booléenne, mais: Pourquoi les données sont-elles considérées comme une entité mathématique discrète plutôt que continue? Relatif à ceci: Quels sont les inconvénients, ou invariants, violés lors de la structuration de données...
Voyant que, dans la hiérarchie de Chomsky, les langues de type 3 peuvent être reconnues par une machine à états dépourvue de mémoire externe (c'est-à-dire un automate fini), le type 2 par une machine à états à pile unique (un automate à pile) et le type 0 par une machine d'état à deux piles (ou, de...
Existe-t-il des problèmes connus dans (et non dans ) qui ne sont pas terminés? Je crois comprendre qu'il n'y a actuellement aucun problème connu dans ce cas, mais cela n'a pas été exclu comme une possibilité. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} S'il y a un problème qui est (et non ) mais pas...
Un de mes collègues et moi-même venons de tirer quelques notes d’un de nos professeurs. Les notes indiquent qu'il existe des tâches qu'il est possible de résoudre en temps polynomial (appartiennent à la classe de PF) mais qui ne sont PAS vérifiables en temps polynomial (ne font pas partie de la...
Je vois que la plupart des définitions de ce que signifie être Turing-complet sont, dans une certaine mesure, tautologiques. Par exemple, si vous Google "que signifie Turing Complete", vous obtenez: Un ordinateur est complet à Turing s'il peut résoudre tout problème qu'une machine de Turing peut...
Quelqu'un peut - il me suggérer un algorithme linéaire qui prend en entrée un graphe orienté acyclique et deux sommets et et retourne le nombre de chemins simples de à dans . J'ai un algorithme dans lequel je vais lancer un DFS (recherche approfondie d'abord) mais si DFS trouve il ne changera pas...
Je me demande s'il existe un moyen standard de mesurer le "tri" d'un tableau? Un tableau contenant le nombre médian d'inversions possibles serait-il considéré comme non trié au maximum? J'entends par là qu'il est fondamentalement aussi loin que possible d'être trié ou
Cela peut sembler une question stupide mais je suis vraiment curieux de savoir comment un ordinateur sait que ? De plus, comment un ordinateur sait-il que l'ordre des entiers est et que l'alphabet est A, B, C, D, ...? Est-il stocké quelque part dans le matériel ou le système d'exploitation...
Dijkstra, dans son essai sur la cruauté de véritablement enseigner l'informatique , fait la proposition suivante pour un cours d'initiation à la programmation: D'une part, nous enseignons ce qui ressemble au calcul des prédicats, mais nous le faisons très différemment des philosophes. Afin de...