Informatique théorique implementation

9

Algorithmes puissants trop complexes à implémenter

Quels sont les algorithmes d’utilité légitime tout simplement trop complexes à mettre en œuvre? Soyons clairs: je ne cherche pas d’algorithmes comme l’algorithme actuel de multiplication de matrice optimale asymptotique (Coppersmith-Winograd), qu’il est raisonnable de mettre en œuvre mais dont la constante est inutile en pratique. Je recherche des algorithmes …

67 ds.algorithms ds.data-structures big-list implementation

4

Existe-t-il actuellement des recherches sur la mise en œuvre des extracteurs de hasard?

Y a-t-il eu des recherches sur la mise en œuvre de constructions d'extracteurs aléatoires? Il semble que les preuves d'extraction utilisent Big-Oh, laissant la possibilité de grandes constantes cachées, rendant les implémentations programmatiques potentiellement irréalistes. Un peu de contexte: je suis intéressé par l'utilisation d'extracteurs aléatoires comme source rapide (de …

20 reference-request cr.crypto-security randomness implementation application-of-theory

1

Une bonne bibliothèque pour tester si un mineur existe dans un graphique?

Je voudrais savoir s'il existe des bibliothèques de graphiques gratuites pour tester si un ensemble spécifique de mineurs existe dans un graphique donné?

18 graph-algorithms implementation graph-minor

5

Meilleur livre sur la mise en œuvre de la méthode Simplex?

Je suis intéressé par l'implémentation de SM pour la tâche LP, mais j'ai entendu parler d'éventuels pièges: le livre de Cormen dit qu'il est possible d'avoir des données d'entrée qui feront que l'implémentation naïve se comportera en temps exponentiel. J'ai également entendu que l'implémentation naïve peut boucler pour une sorte …

14 ds.algorithms linear-programming software implementation simplex

3

Code implémenté pour calculer la largeur de chemin (= numéro de recherche de nœud, numéro de séparation de vertex, épaisseur d'intervalle)

Je recherche une implémentation d'un algorithme pour calculer la largeur de chemin d'un graphe. Il est bien connu que le calcul de la largeur de trajet équivaut au calcul du nombre de recherche de nœuds, du nombre de séparation de sommets ou de l'épaisseur d'intervalle du graphique. L'algorithme n'a pas …

13 ds.algorithms reference-request graph-algorithms implementation

1

Implémentation de Wilf-Zeilberger et méthodes associées

Le livre A = B de Petkovsek, Wilf et Zeilberger décrit des algorithmes pour calculer différentes sommes de binômes. AFAIK, ces algorithmes sont toujours en cours d'amélioration par différents auteurs. Savez-vous où trouver les implémentations les plus récentes de ces algorithmes? Et savez-vous s'il existe des implémentations dans certains logiciels …

12 ds.algorithms co.combinatorics implementation

2

Produit à matrice booléenne rapide et clairsemé avec prétraitement possible

Quels sont les algorithmes les plus efficaces pour multiplier deux matrices booléennes très clairsemées (disons, N = 200 et il n'y a que 100 à 200 éléments non nuls)? En fait, j'ai l'avantage que lorsque je multiplie A par B, les B sont prédéfinis et que je peux faire un …

12 ds.algorithms matrix-product sparse-matrix boolean-matrix implementation

1

Implémentation d'arbres de partition?

Des arborescences de partition ont-elles déjà été implémentées? Ici, je parle des arbres de partition de la géométrie de calcul. Les premières versions (presque) optimales étaient dues à Matousek et à d'autres, et plus récemment à Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Cela me semble fou que ceux-ci n'aient jamais été implémentés, mais …

11 ds.data-structures implementation computational-geometry

3

Implémentation de nombres surréalistes pour les jeux

Il y a une très belle construction par Conway de nombres surréalistes. Ce sont des "nombres" qui contiennent à la fois des nombres réels et des ordinaux, sont totalement ordonnés et ont toutes les propriétés d'un champ (sauf qu'ils ne forment pas un ensemble mais une classe). Voir par exemple …

11 reference-request gt.game-theory implementation board-games combinatorial-game-theory

1

Algorithmes puissants qui sont tout simplement trop difficiles à mettre en œuvre - comment être sûr qu'ils ont raison?

Je me réfère à la question ici: des algorithmes puissants trop complexes à mettre en œuvre . Si un algorithme est puissant, mais trop complexe à implémenter, comment pouvez-vous être sûr que l'algorithme est correct? Sans implémentation, vous ne pourrez pas tester l'algorithme dans un scénario réel, et un algorithme …

9 ds.algorithms implementation

Questions marquées «implementation»