OAI/Computability/MatchingCount/UnitMincut.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BinaryMatching.UnitMincut.residual line 11
  2. instance OAI.BinaryMatching.UnitMincut.residualDecidable line 13
  3. def OAI.BinaryMatching.UnitMincut.augment line 16
  4. def OAI.BinaryMatching.UnitMincut.iterate line 21
  5. def OAI.BinaryMatching.UnitMincut.sourceCapacity line 25
  6. def OAI.BinaryMatching.UnitMincut.mincut line 27
  7. lemma OAI.BinaryMatching.UnitMincut.augment_of_none line 31
  8. lemma OAI.BinaryMatching.UnitMincut.augment_of_some line 35
  9. lemma OAI.BinaryMatching.UnitMincut.augment_preserves line 40
  10. lemma OAI.BinaryMatching.UnitMincut.iterate_feasible line 49
  11. lemma OAI.BinaryMatching.UnitMincut.iterate_none_or_value line 55
  12. lemma OAI.BinaryMatching.UnitMincut.final_no_path line 73
  13. theorem OAI.BinaryMatching.UnitMincut.mincut_correct line 91