Questions marquées «computational-geometry»

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

10
Comment puis-je construire une liste de bords doublement connectés en fonction d'un ensemble de segments de ligne?

Pour un graphe planaire donné noyé dans le plan, défini par un ensemble de segments de droite , chaque segment est représenté par ses extrémités . Construisez une structure de données DCEL pour la subdivision planaire, décrivez un algorithme, prouvez son exactitude et montrez la complexité.G ( V,...