OAI/Computability/MatchingCount/UnitFlow.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.BinaryMatching.UnitFlow.Matrix line 12
  2. def OAI.BinaryMatching.UnitFlow.divergence line 14
  3. def OAI.BinaryMatching.UnitFlow.cutCapacity line 16
  4. def OAI.BinaryMatching.UnitFlow.cutFlow line 19
  5. structure OAI.BinaryMatching.UnitFlow.Feasible line 22
  6. lemma OAI.BinaryMatching.UnitFlow.feasible_zero line 28
  7. lemma OAI.BinaryMatching.UnitFlow.antisymm_internal line 35
  8. lemma OAI.BinaryMatching.UnitFlow.divergence_cut line 47
  9. lemma OAI.BinaryMatching.UnitFlow.source_cut line 56
  10. lemma OAI.BinaryMatching.UnitFlow.cutFlow_le_capacity line 63
  11. lemma OAI.BinaryMatching.UnitFlow.weak_duality line 69
  12. lemma OAI.BinaryMatching.UnitFlow.saturated_minimum line 75
  13. lemma OAI.BinaryMatching.UnitFlow.source_bound line 90
  14. def OAI.BinaryMatching.UnitFlow.arc line 94
  15. lemma OAI.BinaryMatching.UnitFlow.arc_antisymm line 98
  16. lemma OAI.BinaryMatching.UnitFlow.arc_divergence line 105
  17. def OAI.BinaryMatching.UnitFlow.pathFlow line 111
  18. lemma OAI.BinaryMatching.UnitFlow.pathFlow_antisymm line 117
  19. lemma OAI.BinaryMatching.UnitFlow.pathFlow_divergence line 127
  20. lemma OAI.BinaryMatching.UnitFlow.pathFlow_zero_of_not_mem line 143
  21. lemma OAI.BinaryMatching.UnitFlow.pathFlow_le_one line 155
  22. lemma OAI.BinaryMatching.UnitFlow.pathFlow_pos_relation line 179
  23. lemma OAI.BinaryMatching.UnitFlow.augment_feasible line 208
  24. lemma OAI.BinaryMatching.UnitFlow.augment_value line 227