Sciweavers

JCP
2006

The Matching Predicate and a Filtering Scheme Based on Matroids

13 years 11 months ago
The Matching Predicate and a Filtering Scheme Based on Matroids
Finding a maximum cardinality matching in a graph is a problem appearing in numerous settings. The problem asks for a set of edges of maximum cardinality, such that no two edges of this set have an endpoint in common. The variety of applications of this problem, along with the fact that several logic predicates can be modelled after it, motivates the study of a related global constraint in the context of Constraint Programming. In this work, we describe a filtering scheme for such a predicate based on matroids. Our method guarantees hyper-arc consistency in polynomial time. It is also applicable to any predicate expressed in terms of an independent system, and remains of polynomial complexity if there exists a polynomial time algorithm for finding a maximum cardinality basis of this independent system. Furthermore, we show that this filtering scheme can be employed to find a maximum cardinality matching.
Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitso
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JCP
Authors Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitsoulis
Comments (0)