equal
deleted
inserted
replaced
193 |
193 |
194 { |
194 { |
195 MaxBipartiteMatching<Graph> bpmatch(graph); |
195 MaxBipartiteMatching<Graph> bpmatch(graph); |
196 |
196 |
197 bpmatch.greedyInit(); |
197 bpmatch.greedyInit(); |
198 while (bpmatch.simpleAugment()); |
198 while (bpmatch.simpleAugment()) { } |
199 |
199 |
200 Graph::UEdgeMap<bool> mm(graph); |
200 Graph::UEdgeMap<bool> mm(graph); |
201 Graph::NodeMap<bool> cs(graph); |
201 Graph::NodeMap<bool> cs(graph); |
202 |
202 |
203 check(bpmatch.coverSet(cs) == bpmatch.matching(mm), "INVALID PRIMAL-DUAL"); |
203 check(bpmatch.coverSet(cs) == bpmatch.matching(mm), "INVALID PRIMAL-DUAL"); |