From: Speeding up the core algorithm for the dual calculation of minimal cut sets in large metabolic networks
FLB dual system [Eq. (7)]
Generalized NB dual system [Eq. (13)]
# dual variables
\(m + n + \left| {Irrev} \right| + t\)
\(n + t\)
# (in)equalities
\(n + 1\)
\(n - m + 1 \enspace \enspace\)(*)
Dimension of solution space (nullspace) of the dual system
\(m + \left| {Irrev} \right| + t\)
\(m + t\)
FLB MILP [Eq. (14)]
NB MILP [Eq. (16)]
# variables in the corresponding MILP
Continuous: \(2n + m + t\)
Continuous: \(2n + t\)
Binary: \(n\)
# (in)equalities in the corresponding MILP
\(n + 1 + m + d\)
\(\left( {n - m} \right) + 1 + m + d = n + 1 + d\)