L'informatique applied-theory

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

6

A quoi servent les groupes, les monoïdes et les anneaux dans les calculs de base de données?

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 intéressants, tels que le filtre de Bloom …

38 reference-request discrete-mathematics database-theory applied-theory group-theory

9

Quelle est la signification des langues contextuelles (Type 1)?

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 …

34 formal-languages applied-theory computability automata formal-grammars

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

2

Encodage d'une contrainte sur 1 pour les solveurs SAT

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 veux encoder …

25 satisfiability sat-solvers applied-theory

10

Pourquoi le non-déterminisme est-il un concept utile?

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 non-déterminisme dans la théorie des automates?

23 automata nondeterminism applied-theory

3

Applications pratiques de Radix Sort

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 …

20 algorithms sorting applied-theory radix-sort

1

Occurrences naturelles de monades qui utilisent le cadre théorique de catégorie

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, c'est-à-dire avec des jeux d'états infiniment infinis et …

18 applied-theory category-theory

1

Le hachage universel en pratique

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 …

14 data-structures education hash-tables applied-theory

1

À quoi sert de trouver un nombre minimum de lignes droites pour couvrir un ensemble de points?

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 …

12 reference-request computational-geometry applied-theory

5

Applications quotidiennes de la théorie des types

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é et autres?

10 type-theory applied-theory

2

L'algorithme de Dijkstras est-il utilisé dans les systèmes modernes de recherche d'itinéraire?

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 c'est?

10 algorithms graphs shortest-path applied-theory

2

Des applications du monde réel pour le problème de l'arbre de Steiner?

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 commence ma …

8 graph-theory reference-request optimization combinatorics applied-theory

5

Quelles sont les utilisations pratiques des ontologies?

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 ontologies sont-elles des relations entre …

8 artificial-intelligence applied-theory knowledge-representation ontologies robotics

3

Gödels (premier) théorème d'incomplétude et le problème de l'arrêt - Dans quelle mesure est-il limitatif?

Quand j'ai entendu parler de ces choses pour la première fois, j'étais très fasciné car je pensais que cela fixait vraiment une limite aux mathématiques et aux sciences en général. Mais dans quelle mesure ces choses sont-elles pertinentes dans la pratique? Pour le problème de l'arrêt: y a-t-il plus que …

8 computability logic halting-problem applied-theory

Questions marquées «applied-theory»