OAI/Computability/MatchingCount/RawFlow.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BinaryMatching.Raw.augment line 10
  2. def OAI.BinaryMatching.Raw.flow line 14
  3. def OAI.BinaryMatching.Raw.sourceCapacity line 16
  4. def OAI.BinaryMatching.Raw.mincut line 17
  5. def OAI.BinaryMatching.Raw.cutCapacity line 19
  6. def OAI.BinaryMatching.Raw.pairs line 22
  7. def OAI.BinaryMatching.Raw.pairCuts line 23
  8. def OAI.BinaryMatching.Raw.terminalCut line 26
  9. lemma OAI.BinaryMatching.Raw.augment_rep line 29
  10. lemma OAI.BinaryMatching.Raw.flow_rep line 41
  11. lemma OAI.BinaryMatching.Raw.sourceCapacity_rep line 49
  12. lemma OAI.BinaryMatching.Raw.mincut_rep line 52
  13. lemma OAI.BinaryMatching.Raw.cutCapacity_rep line 55
  14. lemma OAI.BinaryMatching.Raw.pairs_rep line 67
  15. lemma OAI.BinaryMatching.Raw.pairCuts_rep line 71
  16. lemma OAI.BinaryMatching.Raw.argmin_map_eq line 85
  17. lemma OAI.BinaryMatching.Raw.terminalCut_rep line 95