Constraint Programming and Graph Algorithms

Kurt Mehlhorn

Abstract: In the spring of’ 99 my colleague Gert Smolka gave me a short introduction to constraint programming. During our discussion Gert emphasized that the search for efficient propagation algorithms leads to hard and well motivated questions in algorithmics. He pointed me to the papers [Reg94] by J.-C. Regin on “A filtering algorithm for constraints of difference in CSPs” and [GC97,GC00] by N. B. Guernalec and A. Colmerauer on “Narrowing a 2n-block of sortings in O(n log n)”. I soon learned that Gert had pointed me to an extremely rich source of algorithmic problems which I am now exploring in cooperation with E. Althaus and S. Thiel from my research group, D. Duchier and J. Niehren from the programming systems lab, A. Koller from the computer linguistics department at the Universität des Saarlandes, and with Nicolas Beldiceanu at SICS. Some papers [MT00,ADK+00,KMN00] and implementations of propagators for the Oz system (http://www.ps.uni-sb.de/oz2/) have come out of the cooperation so far.