3.7.31. Bipartite matching

Denotes the fact that, for a given constraint, a bipartite matching algorithm can be used within its filtering algorithm. A bipartite matching is a subgraph that pairs every vertex of a bipartite graph with exactly one other vertex. A bipartite graph is a graph for which the set of vertices can be partitioned in two parts such that no two vertices in the same part are joined by an edge. Part (A) of Figure 3.7.7 shows a bipartite graph with a possible division of the vertices in bFurk and white, while part (B) depicts with a thirk line a bipartite matching of this graph.