Informatique théorique ds.data-structures

3

Limites inférieures pour les structures de données

Connaît-on des résultats qui excluent l'existence de structures de données «trop belles pour être vraies»? Par exemple: peut-on ajouter des fonctionnalités et J o i n à une structure de données de maintenance de commande (voir Dietz et Sleator STOC '87 ) tout en obtenant des opérations de temps O …

14 ds.data-structures big-list lower-bounds time-complexity

2

Équivalent purement fonctionnel de B-Tree?

J'explore l'idée d'écrire un SGBD de manière purement fonctionnelle. La structure de données traditionnelle utilisée pour l'indexation est B-Tree. J'aimerais connaître un équivalent purement fonctionnel de B-Tree qui serait optimisé pour minimiser l'accès au disque. Merci.

14 ds.data-structures functional-programming db.databases

3

Mélange associatif de hachage

Considérez la liste faiblement liée dans un cadre purement fonctionnel. Ses louanges ont été chantées du haut des montagnes et continueront d'être chantées. Ici, je vais aborder l'une de ses nombreuses forces et la question de savoir comment l'étendre à la classe plus large de séquences purement fonctionnelles basées sur …

14 ds.data-structures cr.crypto-security functional-programming hash-function

4

Sous-gamme d'un arbre rouge et noir

Tout en essayant de corriger un bogue dans une bibliothèque, j'ai cherché des articles sur la recherche de sous-gammes sur des arbres rouges et noirs sans succès. J'envisage une solution utilisant des fermetures à glissière et quelque chose de similaire à l' opération d' ajout habituelle utilisée sur les algorithmes …

14 ds.data-structures tree

1

Quelle est l'indépendance requise pour un chaînage séparé?

Si balles sont placées dans cases de manière uniforme et aléatoire, la poubelle la plus lourde contient balles avec une forte probabilité. Dans "The Power of Simple Tabulation Hashing" , Pătraşcu et Thorup mentionnent que "les limites de Chernoff-Hoeffding pour les applications avec une indépendance limitée" ( miroir ) montrent …

13 ds.data-structures randomness hash-function independence

2

Structure de données pour les mises à jour sur les intervalles et interrogation du nombre de zéros

Je recherche une structure de données qui maintiendrait une table entière ttt de taille nnn , et permettant les opérations suivantes dans le temps O(logn)O(Journal⁡n)O(\log n) . increase(a,b)augmenter(une,b)\text{increase}(a,b) , ce qui augmentet[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] . , qui diminue t [ a ] , t [ a + 1 ] , … , …

13 ds.data-structures cg.comp-geom

2

Listes de différences dans la programmation fonctionnelle

La question Quoi de neuf dans les structures de données purement fonctionnelles depuis Okasaki? , et la réponse épique de jbapple, mentionnant l'utilisation de listes de différences dans la programmation fonctionnelle (par opposition à la programmation logique), ce qui m'a récemment intéressé. Cela m'a amené à trouver l' implémentation de …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

4

Référence pour le théorème fondamental sur les rotations des arbres

On dit que deux arbres de recherche binaires sont linéairement équivalents lorsqu'ils s'accordent dans leurs traversées dans l'ordre. Le théorème suivant explique pourquoi les rotations d'arbres sont si fondamentales: Soit A et B des arbres de recherche binaires. Alors A et B sont linéairement équivalents si et seulement s'ils sont …

13 reference-request ds.data-structures

2

Structure de données pour l'allocation dynamique de mémoire

Pensez au modèle cellule-sonde. Existe-t-il une structure de données qui peut allouer des morceaux de mémoire contigus de n'importe quelle longueur (comme par exemple malloc en C), et les libérer, tout en évitant la segmentation de la mémoire, et exécute chaque opération dans le pire des cas O (log n) …

12 ds.data-structures memory

1

File d'attente prioritaire entière avec deleteMin sensible à la distribution

Existe-t-il dans une file d'attente de priorité entière qui utilise mots d'espace avec les opérations suivantes, le tout dans le pire des cas et sans accès à l'aléatoire:O(n)O(n)O(n) createEmptyQueueen pour une constante .O(lgcU)O(lgcU)O(lg^c U)ccc insertdans .O(1)O(1)O(1) deleteMinen , où \ delta _ {\ min} est la différence entre la clé …

12 ds.data-structures

1

Éléments minimaux d'un prédicat monotone sur l'ensemble de puissance

Considérons un prédicat monotone sur l'ensemble de puissance (ordonné par inclusion). Par "monotone" je veux dire: tel que , si puis . Je cherche un algorithme pour trouver tous les éléments minimaux de , c'est-à-dire les tels que mais , . Puisque la largeur de est n \ choisissez n …

12 ds.algorithms ds.data-structures partial-order order-theory search-problem

6

Calcul de la population approximative d'un filtre de floraison

Étant donné un filtre de bloom de taille N-bits et K fonctions de hachage, dont M-bits (où M <= N) du filtre sont définis. Est-il possible d'approximer le nombre d'éléments insérés dans le filtre bloom? Exemple simple J'ai réfléchi à l'exemple suivant, en supposant un BF de 100 bits et …

12 ds.data-structures pr.probability

2

Inverser une liste à l'aide de deux files d'attente

Cette question est inspirée d'une question existante sur la possibilité de simuler une pile à l'aide de deux files d'attente en temps amorti par opération de pile. La réponse semble inconnue. Voici une question plus spécifique, correspondant au cas particulier dans lequel toutes les opérations PUSH sont effectuées en premier, …

12 ds.algorithms ds.data-structures lower-bounds time-complexity sorting

2

Arbres équilibrés simples avec O (1) concat?

Dans les pires cas purement fonctionnels , les listes triées caténables à temps constant , Brodal et al. présentent des arbres équilibrés purement fonctionnels avec O (1) concaténé et O (lg n) insèrent, suppriment et trouvent. La structure des données est quelque peu compliquée. Existe-t-il un arbre de recherche équilibré …

12 functional-programming ds.data-structures

2

Amusez-vous avec Ackermann inverse

La fonction inverse d'Ackermann se produit souvent lors de l'analyse des algorithmes. Une excellente présentation en est ici: http://www.gabrielnivasch.org/fun/inverse-ackermann . et [Notation: [x] signifie que nous arrondissons x à l'entier le plus proche, tandis que log ∗ est la fonction de journal itéré discutée ici: http://en.wikipedia.org/wiki/Iterated_logarithm ]α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) …

11 ds.algorithms ds.data-structures bounds

Questions marquées «ds.data-structures»