Combinatorics / CONCEPT
SupplierDual
The finite path-potential and normalized real dual-certificate interface retains the necessary live upstream proofs. The finite incompatibility adapter directly applies the repository frozen inequality_farkas result instead of copying a second Farkas proof. Source: https://github.com/elazarg/multitubes/tree/20d22aa7ca67f9843e5adf9edf173403a2f4033a. These are necessary reusable prerequisites of the circuit supplier.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES3
PROOF DEPTH1
DOCUMENT LINKS0
walkWeight concat
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Extended Farkas Alternativestructural-affinity · Closed
- Finite Farkas Alternativesstructural-affinity · Closed
- Finite occurrence cycles yield a natural epoch potentialstructural-affinity · Closed
- LayeredFlowstructural-affinity · Closed
- LocalOptimumstructural-affinity · Closed
- PositiveCircuitSupplierstructural-affinity · Closed
- SupplierGraphstructural-affinity · Closed
- The total named source familystructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance