dot-cardinality_flow: One solve of a balance network

In couplr: Optimal Pairing and Matching via Linear Assignment

One solve of a balance network

Description

Applies a node's arc bounds and multipliers, solves the network, certifies the flow against the problem it was solved on, audits it against the objective identity the design encodes, and reads the matched set back.

Usage

.cardinality_flow(
  problem,
  index = NULL,
  coefs = NULL,
  lambda = NULL,
  edits = NULL,
  cost = NULL,
  tol = 1e-09,
  warm = NULL,
  time_limit = Inf
)

Arguments

problem	The network, or the pair .balance_flow_problem() returns.
index	The network's index, unless problem carries one.
coefs	Moment coefficients, one per one-sided row.
lambda	Multipliers, one per row.
edits	The node's arc-bound decisions.
cost	Optional distance matrix for the audit.
tol	Numeric tolerance for the certificate.
warm	Optional list(flow, potential) from an earlier solve of the same network, used as the solver's starting point.
time_limit	Seconds this one solve may run.

Value

A list with the solve status, the flow and potentials, the certificate, the audit, the matched set, the true objective objective and the relaxed objective relaxed the multipliers price. A solve that ran out of time comes back with status "interrupted", its flow and potentials, and nothing else: it proved neither an optimum nor the absence of one, so certifying and auditing it would be work spent on a number no caller may read.

couplr documentation built on Sept. 17, 2026, 1:08 a.m.