Questions marquées «reference-request»

Questions demandant des articles dans la littérature sur des questions spécifiques et étroites.

4
Qu'est-ce que la récursion de la queue?
Je connais le concept général de récursivité. Je suis tombé sur le concept de récursion de queue tout en étudiant l'algorithme Quicksort. Dans cette vidéo de l'algorithme de tri rapide du MIT à 18h30, le professeur dit qu'il s'agit d'un algorithme récursif de queue. La récursion de la queue n’est …
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 …
3
Le pire cas
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(nln⁡n)O(n \ln n) Juste un rappel, en place signifie qu’il utilise le tableau transmis et que l’algorithme de tri n’est …
2
Que signifie «véritable concurrence»?
J'entends souvent des phrases comme «sémantique de concurrence réelle» et «équivalences de concurrence réelle» sans aucune référence. Que signifient ces termes et pourquoi sont-ils importants? Quels sont quelques exemples de véritables équivalences de concurrence et quel est leur besoin? Par exemple, dans quels cas sont-ils plus applicables que des équivalences …
1
Quels algorithmes d'apprentissage automatique peuvent être utilisés pour les prévisions de séries chronologiques?
Actuellement, je joue avec les prévisions de séries temporelles (spécifiquement pour le Forex). J'ai vu des articles scientifiques sur les réseaux d'état d'écho qui sont appliqués aux prévisions Forex. Existe-t-il d'autres bons algorithmes d'apprentissage automatique à cet effet? Il serait également intéressant d'extraire des modèles "rentables" de la série chronologique.
5
Existe-t-il un filtre anti-Bloom?
Un filtre Bloom permet de suivre efficacement si différentes valeurs ont déjà été rencontrées lors du traitement. Lorsqu'il existe de nombreux éléments de données, un filtre Bloom peut entraîner une économie de mémoire significative sur une table de hachage. La principale caractéristique d'un filtre Bloom, qu'il partage avec une table …
1
Distinguer la procédure de décision vs le solveur SMT vs le prouveur de théorème vs le solveur de contraintes
Ces terminologies me confondent. Tel que je le comprend Solveur SAT: décider de la satisfiabilité de la logique propositionnelle (en utilisant DPLL ou Local Search). La procédure de décision est une procédure pour décider de la satisfiabilité d'une certaine théorie décidable du premier ordre. Le solveur SMT est un solveur …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.