Questions marquées «matroids»

Dans quelle mesure les matroïdes et les grédoides sont-ils fondamentaux dans la conception d'algorithmes?

Dans un premier temps , matroïdes ont été introduites pour généraliser les notions d'indépendance linéaire d'une collection de sous - ensembles sur un terrain mis . Certains problèmes qui contiennent cette structure permettent aux algorithmes gourmands de trouver des solutions optimales. Le concept...

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...