OAI/Combinatorics/PerfectMatching/Violation.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BinaryMatching.Algorithm.Affine.evalReal line 12
  2. def OAI.BinaryMatching.Algorithm.allRows line 15
  3. def OAI.BinaryMatching.Algorithm.maxRow line 19
  4. def OAI.BinaryMatching.Algorithm.violation line 23
  5. lemma OAI.BinaryMatching.Algorithm.maxRow_mem_argmax line 25
  6. lemma OAI.BinaryMatching.Algorithm.row_le_violation line 33
  7. lemma OAI.BinaryMatching.Algorithm.violation_le line 36
  8. lemma OAI.BinaryMatching.Algorithm.mem_allRows line 39
  9. lemma OAI.BinaryMatching.Algorithm.zero_row_eval line 46
  10. lemma OAI.BinaryMatching.Algorithm.degree_row_eval_pos line 49
  11. lemma OAI.BinaryMatching.Algorithm.degree_row_eval_neg line 55
  12. lemma OAI.BinaryMatching.Algorithm.cut_row_eval line 65
  13. lemma OAI.BinaryMatching.Algorithm.violation_nonneg line 78
  14. lemma OAI.BinaryMatching.Algorithm.degree_violation line 81
  15. lemma OAI.BinaryMatching.Algorithm.cut_violation line 90
  16. lemma OAI.BinaryMatching.Algorithm.violation_feasible line 96
  17. lemma OAI.BinaryMatching.Algorithm.violation_repair line 108
  18. lemma OAI.BinaryMatching.Algorithm.row_difference line 113
  19. lemma OAI.BinaryMatching.Algorithm.row_coeff_bound line 117
  20. lemma OAI.BinaryMatching.Algorithm.active_row_subgradient line 124
  21. lemma OAI.BinaryMatching.Algorithm.eval_cast line 130
  22. lemma OAI.BinaryMatching.Algorithm.capacities_symm line 134
  23. lemma OAI.BinaryMatching.Algorithm.capacities_pair line 141
  24. lemma OAI.BinaryMatching.Algorithm.cut_coordinates line 145
  25. lemma OAI.BinaryMatching.Algorithm.activeRows_nonempty line 158
  26. lemma OAI.BinaryMatching.Algorithm.activeRow_mem_argmax line 160
  27. lemma OAI.BinaryMatching.Algorithm.mem_activeRows line 167
  28. lemma OAI.BinaryMatching.Algorithm.activeRow_correct line 174