Informatique théorique ds.data-structures

3

Algorithme non trivial pour calculer la médiane d'une fenêtre coulissante

J'ai besoin de calculer la médiane en cours d'exécution: Entrée: , , vecteur .k ( x 1 , x 2 , … , x n )nnnkkk(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Sortie: vecteur , où est la médiane de .y i ( x i , x i + 1 , … , …

25 ds.algorithms ds.data-structures lower-bounds

4

Manuel des structures de données avancées

Je suis à la recherche d'un livre sur les structures de données avancées qui va au-delà de ce qui est couvert dans les manuels standard comme Cormen, Leiserson, Rivest et Stein "Introduction to Algorithms". Un livre qui peut être utilisé pour enseigner un cours de niveau supérieur sur les structures …

24 soft-question ds.data-structures survey books

2

Recherche dynamique parallèle

Existe-t-il un analogue parallèle naturel aux arbres rouge-noir avec des propriétés de mise à jour similaires ou même pas pire, tout en étant raisonnablement efficace? Plus généralement, que pouvons-nous faire de mieux pour la recherche parallèle avec mises à jour?

24 ds.algorithms ds.data-structures dc.parallel-comp concurrency dynamic-algorithms

1

Pile divisible

Que sait-on des structures de données qui peuvent maintenir une séquence d'éléments soumis aux deux opérations suivantes? Appuyez sur (x): ajoutez x à la fin de la séquence et renvoyez un identifiant pour sa position dans la séquence Extraire (S): étant donné un ensemble d'identificateurs non ordonné, supprimer les éléments …

22 ds.data-structures

2

Le coût du GC peut-il être négligé lors de l'analyse du temps d'exécution des structures de données les plus défavorables spécifiées dans un langage de programmation récupéré?

Je viens de réaliser que je supposais que la réponse à ma question était "oui" mais je n'ai pas de bonne raison. J'imagine qu'il y a peut-être un garbage collector qui n'introduit que le ralentissement pire des cas. Y a-t-il une référence définitive que je peux citer? Dans mon cas, …

22 reference-request ds.data-structures pl.programming-languages functional-programming

6

Analogues de la détection compressée

x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0<k‖x‖0<k\|x\|_0 < kAxAxAxAAARRRnnn matrice réelle où nous voulons . La magie de la détection compressée est que l'on peut explicitement construire telle sorte qu'il permet une récupération exacte rapide (temps quasi-linéaire) de toutR≪nR≪nR \ll nAAAkkk-sparse xxx avec RRR aussi petit que O(kno(1))O(kno(1))O(k n^{o(1)}) . Je n'ai peut-être pas …

22 ds.algorithms ds.data-structures compressed-sensing

1

À quelle distance pouvons-nous arriver à multiplier, ajouter et comparer linéairement (sur des entiers)?

Selon l'article de KW Regan "Connect the Stars" , il mentionne à la fin qu'il est toujours difficile de trouver une représentation des nombres entiers de sorte que les opérations d'addition, de multiplication et de comparaison sont calculables en temps linéaire: Existe-t-il une représentation d'entiers de sorte que l'addition, la …

21 ds.algorithms ds.data-structures worst-case

9

Quel est le logiciel recommandé pour dessiner des structures de données telles que des graphiques et des arbres?

Lors de la compilation des résultats, il est souvent souhaitable d'avoir des diagrammes d'aspect professionnel, plutôt que des diagrammes rassemblés dans MS Paint. Quelle est la norme pour dessiner des structures de données?

21 soft-question ds.data-structures software graph-drawing writing

1

À quelle vitesse pouvons-nous calculer le poset d'inclusion d'ensemble d'une famille d'ensemble?

Compte tenu d' une famille ensemble FF\mathcal{F} de sous - ensembles d'un univers UUU . Soit S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F et nous voulons répondre est S1⊆S2S1⊆S2S_1 \subseteq S_2 . Je recherche une structure de données qui me permettra d'y répondre rapidement. Mon application est de la théorie des graphes où …

20 graph-algorithms ds.data-structures partial-order

4

Isomorphismes de la structure des données

Avertissement: je ne suis pas un théoricien CS. Issu de l'algèbre abstraite, j'ai l'habitude de traiter des choses qui sont égales à un isomorphisme - mais j'ai du mal à traduire ce concept en structures de données. J'ai d'abord pensé que des morphismes bijectifs théoriques définis suffisaient, mais je suis …

20 ds.data-structures algebra ct.category-theory

5

Réduire l'utilisation de l'espace de st-connectivité avec plusieurs passes?

Supposons qu'un graphe à n sommets soit présenté comme un flux de m arêtes, mais plusieurs passes sont autorisées sur le flux.gGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan et Sridar Rajagopalan ont observé que l' espace est nécessaire pour déterminer s'il existe un chemin entre deux sommets donnés dans G , …

20 reference-request graph-algorithms ds.data-structures lower-bounds data-streams

2

Structure de données pour les chemins les plus courts

Soit un graphe non orienté non pondéré avec sommets et arêtes. Est-il possible de prétraiter et de produire une structure de données de taille afin qu'il puisse répondre aux requêtes de la forme "distance entre et " dans le temps O (n)?n m G m ⋅ p o l y …

19 graph-theory graph-algorithms ds.data-structures

2

Une structure de données pour les requêtes minimales sur les produits scalaires

Considérez équipé du produit scalaire standard et vecteurs: . Nous voulons construire une structure de données qui autorise les requêtes au format suivant: étant donné output . Est-il possible d'aller au-delà du temps de requête O (nm) trivial ? Par exemple, si n = 2 , alors il est immédiat …

19 ds.data-structures cg.comp-geom linear-algebra metrics

2

maintien d'un arbre couvrant équilibré d'un graphique non orienté croissant

Je cherche des moyens de maintenir un arbre couvrant relativement équilibré d'un graphique, alors que j'ajoute de nouveaux nœuds / arêtes au graphique. J'ai un graphique non orienté qui commence comme un seul nœud, la "racine". À chaque étape, j'ajoute au graphique soit un nouveau nœud et un bord le …

19 graph-theory ds.data-structures graph-algorithms tree online-algorithms

5

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

Questions marquées «ds.data-structures»