OAI/Computability/MatchingCount/OddMincut.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BinaryMatching.OddMincut.outside line 11
  2. lemma OAI.BinaryMatching.OddMincut.outside_some line 14
  3. def OAI.BinaryMatching.OddMincut.cheaper line 27
  4. lemma OAI.BinaryMatching.OddMincut.cheaper_le_left line 30
  5. lemma OAI.BinaryMatching.OddMincut.cheaper_le_right line 34
  6. lemma OAI.BinaryMatching.OddMincut.cheaper_odd line 38
  7. def OAI.BinaryMatching.OddMincut.recurse line 42
  8. lemma OAI.BinaryMatching.OddMincut.recurse_correct line 54
  9. def OAI.BinaryMatching.OddMincut.oddCut line 129
  10. theorem OAI.BinaryMatching.OddMincut.oddCut_correct line 132