Résultats théoriques et techniques appliquées dans des contextes pratiques.
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...
Pourquoi une entreprise comme Twitter serait-elle intéressée par les concepts algébriques tels que les groupes, les monoïdes et les anneaux? Voir leur dépôt sur github: twitter / algebird . Tout ce que j'ai pu trouver c'est: Implémentations de Monoids pour des algorithmes d'approximation...
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...
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...
J'utilise un solveur SAT pour coder un problème, et dans le cadre de l'instance SAT, j'ai des variables booléennes x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n où il est prévu que l'une d'entre elles soit vraie et que le reste soit être faux. (J'ai parfois vu cela décrit comme un encodage "à chaud".) Je...
Un automate est un modèle abstrait d'un ordinateur numérique. Les ordinateurs numériques sont complètement déterministes; leur état à tout moment est uniquement prévisible à partir de l'entrée et de l'état initial. Lorsque nous essayons de modéliser des systèmes réels, pourquoi inclure le...
Le tri Radix est théoriquement très rapide lorsque vous savez que les clés sont dans une certaine plage limitée, disons valeurs dans la plage [ 0 … n k - 1 ] par exemple. Si k < lg n, vous venez de convertir les valeurs en base n, ce qui prend du temps Θ ( n ) , effectuez un tri radix en base n...
Aujourd'hui, une conférence de Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") m'a confronté pour la première fois à la théorie des catégories. Il a construit un cadre théorique pour décrire les systèmes de transition probabilistes et leur comportement de manière générale,...
Une famille HHH de fonctions de hachage est universelle si Vous pouvez trouver plus d'informations sur le hachage universel dans cet article wikipedia .h : U→ { 0 , … , M- 1 }h:U→{0,…,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤...
Il y a ce problème populaire [1] [2] en informatique qui consiste à trouver un nombre minimum de lignes droites couvrant un ensemble donné de points en 2D. Même si j'ai scanné de nombreux papiers, aucun d'entre eux n'a une motivation claire pour le problème. Quelle est l'utilité de résoudre ce...
L'algorithme de Dijkstra est-il utilisé dans les systèmes modernes de recherche d'itinéraire tels que Google Maps ou le GPS dans votre voiture? Sinon, qu'est-ce que
Je veux comprendre la théorie des types mais je dois d'abord savoir comment l'appliquer. Pourrait-il y avoir des applications plus évidentes de la théorie des types en dehors des systèmes de types en programmation? Pourrait-il y avoir d'autres applications, disons dans le profilage de personnalité...
J'ai lu de nombreux articles et livres sur les ontologies et j'essaie de comprendre comment ils sont utilisés dans un vrai projet? Par exemple, comment l'ontologie d'un robot joueur de football peut-elle être définie et utilisée avec une architecture cognitive pour la rendre intelligente? Les...
Existe-t-il des applications réelles du problème de l'arbre de Steiner (STP)? Je comprends que la conception de la puce VSLI est une bonne application du STP. Y a-t-il d'autres exemples de problèmes réels que les gens peuvent suggérer qui pourraient être formulés en termes de STP? Contexte: Je...