31.01.2014 Views

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

template <br />

list MAX WEIGHT ASSIGNMENT T(graph& G, const list& A,<br />

const list& B,<br />

const edge array& c,<br />

node array& pot)<br />

As above. It is assumed that the partition (A, B) witnesses that G is<br />

bipartite and that all edges of G are directed from A to B. <strong>The</strong> argument<br />

pot is optional.<br />

template <br />

bool CHECK MAX WEIGHT ASSIGNMENT T(const graph& G,<br />

const edge array& c,<br />

const list& M,<br />

const node array& pot)<br />

checks that pot is a tight feasible potential function with respect to M<br />

and that M is a perfect matching. Tightness of pot implies that M is a<br />

maximum cost assignment.<br />

template <br />

list MIN WEIGHT ASSIGNMENT T(graph& G, const edge array& c,<br />

node array& pot)<br />

computes a perfect matching of minimal cost and a potential function<br />

pot that is tight with respect to M. <strong>The</strong> running time of the algorithm<br />

is O(n · (m + n log n)). If G contains no perfect matching the empty set<br />

of edges is returned. <strong>The</strong> argument pot is optional.<br />

Precondition: G must be bipartite.<br />

template <br />

list MIN WEIGHT ASSIGNMENT T(graph& G, const list& A,<br />

const list& B,<br />

const edge array& c,<br />

node array& pot)<br />

As above. It is assumed that the partition (A, B) witnesses that G is<br />

bipartite and that all edges of G are directed from A to B. <strong>The</strong> argument<br />

pot is optional.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!