Réductions de graphes et systèmes de Church-Rosser (original) (raw)

1981, RAIRO - Operations Research

Réductions de graphes et systèmes de Church-Rosser RAIRO. Recherche opérationnelle, tome 15, n o 2 (1981), p. 109-117 http://www.numdam.org/item?id=RO\_1981\_\_15\_2\_109\_0 © AFCET, 1981, tous droits réservés. L'accès aux archives de la revue « RAIRO. Recherche opérationnelle » implique l'accord avec les conditions générales d'utilisation (http://www. numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ R.A.l.R.O. Recherche opérationnelle/Opérations Research (vol. 15, n° 2, mai 1981, p. 109 à 117) RÉDUCTIONS DE GRAPHES ET SYSTÈMES DE CHURCH-ROSSER (*) par G. CHATY et M. CHEIN (!) Résumé.-On utilise souvent des techniques de réduction pour rédoudre des problèmes d'Optimisation Combinatoire. Lorsqu'il y a des choix possibles, l'ordre dans lequel on effectue ces diverses réductions peut avoir une influence sur le résultat final. On montre dans cet article, comment les systèmes de Church-Rosser fournissent un cadre adéquat pour étudier cette question dans le cas de certains problèmes concernant les graphes orientes.