blossom.max-weight-matching

(source)
Public Variable Short Description
PMaxWeightMatchingImpl (clj)
act-on-minimum-delta (clj)
add-blossom (clj) Construct a new blossom with given `base`, containing edge k which connects a pair of S vertices.
assign-label (clj) Assign label `t` to the top-level blossom containing vertex `w`, and record the fact that w was reached through the edge with remote enpoint `p`.
augment-blossom (clj) Swap matched/unmatched edges over an alternating path through blossom `b` between vertex `v` and the base vertex.
augment-blossom-step (clj)
augment-matching (clj) Swap matched/unmatched edges over an alternating path between two single vertices.
blossom-loop-direction (clj)
calc-slack (clj) Returns a map with keys kslack and context.
consider-loose-edge-to-free-vertex (clj) w is a free vertex (or an unreached vertex inside a T-blossom) but we can not reach it yet; keep track of the least-slack edge that reaches w.
consider-loose-edge-to-s-blossom (clj) keep track of the least-slack non-allowable edge to a different S-blossom.
consider-tight-edge (clj)
entry-child (clj)
expand-blossom (clj) Expand the given top-level blossom.
expand-tight-sblossoms (clj)
find-augmenting-path (clj)
find-parent-blossoms (clj)
first-labeled-blossom-leaf (clj)
immediate-subblossom-of (clj) Starting from a vertex `v`, ascend the blossom tree, and return the sub-blossom immediately below `b`.
initialize-context (clj)
initialize-stage (clj)
match-endpoint (clj) Add endpoint p's edge to the matching.
mate-endps-to-vertices (clj) Transform mate[] such that mate[v] is the vertex to which v is paired.
max-weight-matching (clj) Compute a maximum-weighted matching of G.
max-weight-matching-impl (clj)
move-back-to-entry-child-relabeling (clj)
move-to-base-relabeling (clj)
promote-sub-blossoms-to-top-blossoms (clj)
recycle-blossom (clj)
relabel-base-t-subblossom (clj)
scan-blossom (clj) Trace back from vertices `v` and `w` to discover either a new blossom or an augmenting path.
scan-neighbors (clj)
trace-to-base (clj)
valid-matching? (clj) Check if the matching is symmetric.
verify-optimum (clj) Verify that the optimum solution has been reached.