Réductions de graphes et systèmes de Church-Rosser
暂无分享,去创建一个
— In Combinatorial Optimization réduction techniques are often useful. Whenjor a given problem, some choices arise, the order of the réductions may be important for the final resuit. In this paper one shows that Church-Rosser Systems are a good frame for studying this question in the case of digraph problems.
[1] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[2] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[3] Michel Habib,et al. The Jump Number of Dags and Posets: An Introduction , 1980 .