Questions marquées «search-algorithms»

Algorithmes pour trouver un élément dans une structure de données spécifiée (le plus souvent, dans un arbre).

11
Recherche d'union dirigée

Considérons un graphe orienté GGG sur lequel on peut ajouter dynamiquement des bords et faire des requêtes spécifiques. Exemple: forêt à ensembles disjoints Considérez l'ensemble de requêtes suivant: arrow(u, v) equiv(u, v) find(u) le premier ajoute une flèche au graphe, le second décide si u ↔ ∗ v...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...