From invariants to predicates: example of line transversals to lines
Résumé
This work explores a method that reduces the design of evaluation strategies for geometric predicates to the computation of polynomial invariants of a group action. We apply it to the classical problem of counting line transversals to lines in the real 3-dimensional projective space and capture polynomials previously obtained by more pedestrian approaches.
Ce travail explore une méthode où l'on réduit la recherche d'une stratégie d'évaluation polynomiale pour un prédicat géométrique au calcul d'invariants polynomiaux d'une action de groupe. On utilise cette méthode pour compter le nombre de droites transversales à des droites dans l'espace projectif réel de dimension 3 et on obtient des polynômes précédemment obtenus par des approches plus pédestres.
Domaines
Géométrie algorithmique [cs.CG]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...