L'informatique

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

1

Mise à jour de plage + requête de plage avec des arbres indexés binaires

J'essaie de comprendre comment les arbres indexés binaires (arbres fenwick) peuvent être modifiés pour gérer à la fois les requêtes de plage et les mises à jour de plage. J'ai trouvé les sources suivantes: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/? module = Thread & threadID = 756271 & start = 0 …

10 data-structures binary-trees search-trees

1

Résolution de la relation de récurrence avec deux appels récursifs

J'étudie le pire cas d'exécution de quicksort à la condition qu'il ne fasse jamais une partition très déséquilibrée pour différentes définitions de très . Pour ce faire, je me pose la question de savoir quel serait le runtime dans le cas où quicksort arrive toujours à partitionner en une fraction …

10 algorithm-analysis runtime-analysis recurrence-relation

1

L'inversion d'un DFA minimal est-elle également minime?

La question est à peu près dans le titre. Y a-t-il jamais un moment où une langue peut être acceptée par un DFA minimal avec états, mais , l'inversion de , peut être acceptée par un DFA avec états, où ?LLLL R L m m < nnnnLRLRL^RLLLmmmm < nm<nm<n

10 formal-languages reference-request automata finite-automata

1

Pourquoi cette fonction est-elle calculable en temps

Mon manuel dit: "Nous définissons la fonction comme suit: f ( 1 ) = 2 et f ( i + 1 ) = 2 f ( i ) 1.2 . Notez que étant donné n , nous pouvons facilement trouver dans O ( n 1,5 ) fois le nombre i …

10 complexity-theory algorithm-analysis nondeterminism

5

Conversion d'un digraphe en graphique non orienté de manière réversible

Je cherche un algorithme pour convertir un digraphe (graphe orienté) en graphe non orienté de manière réversible, c'est-à-dire que le digraphe devrait être reconstructible si on nous donne le graphe non orienté. Je comprends que cela se fera au détriment du graphique non orienté ayant plus de sommets, mais cela …

10 algorithms graph-theory graphs

2

Compiler un langage de programmation avec lui-même

Je suis étudiant en informatique. Je veux créer mon propre langage de programmation (un langage de base avec peu d'instructions). Je sais faire un analyseur syntaxique, je l'ai déjà fait en Perl. Dans un article, j'ai lu quelque chose sur le compilateur, un compilateur se fait en soi. Par exemple, …

10 programming-languages compilers

2

Preuves théoriques à Coq

Contexte J'apprends l'aide, Coq, par moi-même. Jusqu'à présent, j'ai terminé la lecture du Coq à la hâte d'Yves Bertot . Maintenant, mon objectif est de prouver quelques résultats de base concernant les nombres naturels, culminant avec l'algorithme dit de division. Cependant, j'ai rencontré quelques revers sur mon chemin vers cet …

10 automated-theorem-proving proof-assistants mathematical-programming coq

1

Comment réduire le nombre d'arêtes croisées dans un diagramme?

Je travaille sur un éditeur de diagrammes. Les diagrammes affichent des formes 2D ( nœuds ) connectées à des connecteurs ( bords ). Je voudrais ajouter une opération qui, étant donné une sélection de nœuds, les "démêle" : elle les repositionne pour réduire le nombre d'arêtes croisées, si possible (et …

10 algorithms graph-theory graph-algorithms crossing-number

3

Quelle est la différence entre la multiprogrammation et le multitâche

Je trouve difficile de différencier clairement entre la multiprogrammation et le multitâche. Ma principale source est Wikipédia , mais l'article de WP semble être un peu en contradiction avec des sources moins réputées (comme mon professeur d'université). Comme je lis WP, la multiprogrammation est un moyen rudimentaire d'augmenter le débit …

10 terminology process-scheduling

5

Qu'est-ce qu'un algorithme efficace?

Du point de vue du comportement asymptotique, qu'est-ce qui est considéré comme un algorithme "efficace"? Quelle est la norme / raison de tracer la ligne à ce point? Personnellement, je penserais que tout ce que je pourrais naïvement appeler "sous-polynôme", tel que tel que serait efficace et tout ce qui …

10 algorithms terminology asymptotics landau-notation

2

Un exemple où l'algorithme Knuth-Morris-Pratt est plus rapide que Boyer-Moore?

Cette page sur l'algorithme de Knuth-Moriss-Pratt par rapport à Boyer-Moore décrit un cas possible où l'algorithme de Boyer-Moore souffre d'une petite distance de saut alors que KMP pourrait mieux fonctionner. Je cherche un bon exemple (texte, motif) qui peut clairement démontrer ce cas.

10 algorithms substrings matching

3

Recherche d'un dictionnaire de notation mathématique / CS

Il existe un éventail parfois vertigineux de symboles utilisés dans les documents mathématiques et CS. Pourtant, beaucoup supposent une familiarité de base qui semble rarement enseignée au même endroit. Je cherche un dictionnaire quelque chose comme le suivant, en particulier du point de vue CS. Il énumérerait tous les symboles …

10 terminology reference-request education

3

Pourquoi la hauteur minimale d'un arbre binaire ?

Dans ma classe Java, nous apprenons la complexité de différents types de collections. Bientôt, nous discuterons des arbres binaires, que j'ai lus. Le livre déclare que la hauteur minimale d'un arbre binaire est , mais n'offre aucune explication supplémentaire.Journal2( n + 1 ) - 1Journal2⁡(n+1)-1\log_2(n+1) - 1 Quelqu'un peut-il expliquer …

10 data-structures binary-trees discrete-mathematics trees

4

NFA avec nombre exponentiel d'états lors de la détéminisation

Comment puis-je construire un exemple d'un DFA qui a états où le NFA équivalent a états. Évidemment, le jeu d'états du DFA doit contenir tous les sous-jeux du jeu d'états du NFA, mais je ne sais pas par où commencer. Des suggestions pour me mettre sur la bonne voie? n2n2n2^nnnn

10 automata finite-automata